在lua源码中都会有一个全局的函数执行体，即为main func，在开始解析的时候当前的函数必然是main func函数，此时第三行的funcstate表示了这个函数的状态，由于lua规定这个函数必然会接收不定参数因此第五行将is_vararg标识设为VARARG_ISVARARG。接着第六行luaX_next解析文件流分离出第一个token，将其保存在lexstate的t成员中，此时t为“foo”全局变量。在LHS_assign中成员v类型为expdesc描述了等号左边的变量，详情可见上篇文章里对expdesc的介绍。接下来进入primaryexp，来获取并填充“foo”变量的expdesc信息，这会接着进入prefixexp函数中由于当前token是“foo”，因此进入TK_NAME分支，调用singlevar。在singlevaraux函数中会判断变量是local、upvalue还是global的。此例中进入第21行中，由于fs已经指向了main func因此其prev为null，“foo”判定为global并返回到exprstate函数中。
暂无评论