Lua 虚拟机指令解析：函数操作与闭包实现
函数嵌套与 FuncState 链式结构
在 Lua 编译阶段，解析器通过 FuncState 结构来维护当前编译函数的上下文。当存在函数嵌套时，FuncState 通过 prev 指针形成一条链表，指向父级编译器的状态。以下示例展示了这一结构：
-- 全局层 (root_fs: prev=NULL)
local master_var = 100
function outer_task() -- (outer_fs: prev=root_fs)
local scope_var = 2
local function inner_task() -- (inner_fs: prev=outer_fs)
local hidden_var = 5
print(hidden_var, scope_var, master_var)
end
inner_task()
end
在该模型中，inner_task 的闭包需要访问父作用域的变量，这涉及到 UpValue 的捕获机制。
函数解析流程
当解析器遇到 function 关键字时，会触发嵌套解析流程。以简单的空函数为例：
function sample() end
其生成的 Lua 字节码核心指令如下：
[1] closure 0 0 ; 实例化闭包原型
[2] setglobal 0 0 ; 将闭包对象绑定至全局变量 sample
[3] return 0 1 ; 函数返回
OP_CLOSURE 指令在指令集中的定义如下：
/*
* A: 存放闭包对象的寄存器索引
* Bx: 存放在 Proto 数组中的原型索引
*/
OP_CLOSURE,
代码构建核心路径
Lua 解析器遵循递归下降的策略。在语法分析过程中，body 函数负责生成闭包的 Proto 结构，并将其挂载到父级作用域的存储数组中：
static void compile_body(LexState *ls, expdesc *result, int is_method, int line) {
FuncState child_fs;
open_func(ls, &child_fs); // 初始化子作用域
// 1. 解析参数表与函数体
parse_parameters(ls);
parse_block(ls);
// 2. 完成闭包原型构建
close_func(ls);
// 3. 将闭包指针放入父级的 Proto 列表
attach_closure(ls, &child_fs, result);
}
闭包与变量绑定
当函数体解析完成后，attach_closure（对应原逻辑中的 pushclosure）将生成的 Proto 指针提交到父级 FuncState：
static void attach_closure(LexState *ls, FuncState *child, expdesc *desc) {
FuncState *parent = ls->fs;
Proto *p = parent->f;
// 扩展原型列表空间
expand_proto_list(ls, p);
p->sub_protos[parent->sub_count++] = child->f;
// 生成 OP_CLOSURE 指令
init_exp(desc, VRELOCABLE, luaK_codeABx(parent, OP_CLOSURE, 0, parent->sub_count - 1));
}
运行时闭包结构 (Closure)
Lua 中的 Closure 在运行时分为 C 闭包（CClosure）和 Lua 闭包（LClosure）。对于用户定义的函数，采用 LClosure 结构：
typedef struct LClosure {
ClosureHeader;
struct Proto *p; // 函数逻辑的编译原型
UpVal *upvals[1]; // 闭包捕获的外部变量引用
} LClosure;
变量存储分配
函数定义完成后的赋值操作（如 setglobal 或 setupval）由 luaK_storevar 处理。该函数根据变量作用域类型执行不同的指令生成逻辑：
void luaK_storevar(FuncState *fs, expdesc *var, expdesc *val) {
switch (var->kind) {
case VLOCAL:
emit_move(fs, var, val);
break;
case VUPVAL:
emit_opcode(fs, OP_SETUPVAL, val, var->info);
break;
case VGLOBAL:
emit_opcode(fs, OP_SETGLOBAL, val, var->info);
break;
case VINDEXED:
emit_opcode(fs, OP_SETTABLE, var, val);
break;
}
}
