Browsed by
分类:LuaSource

[Lua 源码解读 0] lstrlib.c 模式匹配系列函数解析

[Lua 源码解读 0] lstrlib.c 模式匹配系列函数解析

前言

当当当当~~~~ lua源码阅读的记录文开坑了, 窝准备把lua的源码都通读一遍,并且给出自己的记录&体会,最后,根据阅读源码学到的东西,考虑实现一个相关的小project(这是一个大坑,flag已立)

提供一些我找到的对阅读源码有帮助的资源

http://del.icio.us/adnamin/lua+source

窝按照这里提供的顺序阅读lua源码, 至少起步是按照这个顺序来的,等到自己对这个代码比较熟练的时候,可能会考虑按照自己的喜好顺序来

https://www.reddit.com/comments/63hth/ask_reddit_which_oss_codebases_out_there_are_so/c02pxbp

lmathlib.c中的很多函数都只是一个wrapper的作用,在这里就先不过多介绍了,我们先来介绍lstrlib.c的函数&功能

lstrlib.c提供了lua的字符串相关的库函数&helper函数,一个重点功能是提供了pattern matching的功能,注意它提供的pattern和正则表达式是有区别的,应该说功能没有正则表达式强大,但是日常匹配使用也是够了,lua官方对这个pattern有一个很系统的解释,这里总结一下,并且理解这个对阅读相关的代码也有很大的帮助,先放一个Lua5.1原生文档对Pattern的说明的链接

https://www.lua.org/manual/5.1/manual.html#5.4.1

下面就来解释一下Lua里面的模式匹配及其定义的体系

Lua 的 Pattern 体系

  • character class 是组成一个pattern串的基本单位, 每一个character class代表一类字符,他们可以是一个set里的,可以是set的补集,可以是转义字符定义的类型如%d数字%l小写字母等
  • pattern item是用来匹配的基本单位,一个pattern item由一个character class加上*,+,…等特定的符号组成,表示重复多次、一次等含义,几个特殊的pattern,一个是 %n, n可以是0-9的数字, 表示匹配的内容和capture的内容一致,%bxy表示balance match从x开始到y的一个字符串, 关于什么是balance match详见文档
  • pattern是匹配的基本单位,一个pattern由一个或者多个pattern item组成,可以在首部含有^尾部含有$,语意和正则表达式内的这两个符号的语意一致
  • capture 是将一个pattern用小括号括起来, 然后如果源子串match了这个括号内的pattern,会被“捕捉”(存储)起来供之后的匹配使用

 

源码解析

首先我们来看一下 最下方export的函数,这里export了一系列的函数如下

我们通过查看文档,对比名称发现,核心的函数string.find string.gmatch是用来处理整个Pattern Matching逻辑的函数,在源文件里这两个函数分别叫做 str_find, gmatch, 我们先来查看一下str_find函数,源码就不发上来了,大家可以很容易的在lua官网get到source code,这个函数就是一个wrapper,调用了str_find_aux(可以认为这是一个auxillary)我们下面来解析一下str_find_aux这个函数

我们首先来查看一下string.find的用法

string.find (s, pattern [, init [, plain]])

用C去取lua的参数的时候,是通过lua的Stack去取的参数参数压栈顺序是从左到右依次压栈

上面这一段代码是从lua的Stack中获取参数到C, *s是s *p是pattern init最后为字符串的起始位置,luaL系列的这几个函数的第二个参数均是用于标示这个元素在栈中的位置,正数表示从Stack Bottom开始算起,负数表示栈顶算起, -1表示栈顶,想了解更多相关知识参考我之前的文章用C语言操作lua,通过这些代码就获取到了用户传递给Lua的三个参数

下面的一段代码

是处理plain search, 所谓plain search就是不带任何转义 特殊模式串,完全就是pattern是什么样的就去找什么(这时候  [, %,等在匹配的时候有特殊含义的符号,均不表达特殊含义而只是一个字符),plain search的条件也可以很清晰的看出来,如果这个字符串不含有特殊字符,或者传递的第四个参数plain == true的话,那么就做plain search,并返回结果,将结果压栈, return 2表示返回两个值给caller

之后的这一段代码,是Pattern Matching的主体,这里面涉及到了字符串的模式匹配等内容,我们先来看一下

首先去掉匹配pattern的锚点^,配置好MatchState(Lua使用matchState进行Pattern Matching的信息存储以及处理), 一个do循环从字符串的开头到结尾去match匹配的pattern, 有关match的解析,我会在之后的文中进行介绍,这里因为是第一篇lkua分析文,目前不会这么深入.

我们再来看一下gmatch这个函数

这里面有一个函数之前没有遇到过,就是这个lua_pushcclosure,因为目前我的知识有限,暂时理解为这个函数是用来传递一个函数到luaStack并且去调用它,对于这个函数的具体解读也会在之后进行

对于lstrlib.c的解读就到这里,主要是解读了Pattern Matching的相关内容,本人水平有限,刚接触lua源码,可能有的地方解答不对,欢迎大家批评指正,同时欢迎大家在下方评论留言探讨交流=w=