Lua5.3 VM 分析(七)生成闭包
在Lua 中,函数是一等公民。一切代码都是函数,准确的说是闭包。当我们执行一段程序时,其实就是调用一个函数。加载一个库,也是调用一个函数。加载一个Lua 源文件,里面即使定义了很多 Lua 函数,但是 它整体依旧是单个函数。
所以,每段完整的字节码都是一个Lua 函数。而每个函数里可以附有很多个函数原型 Proto。函数原型 Proto 没有放在常量表中,而是单独成表。这是因为,它们不可以被Lua 代码直接使用。只有 Proto 和 upvalue 绑定在一起时,形成闭包,才是 Lua VM 可以处理的 执行对象。
函数原型在生成包含它们的函数的代码被加载时,在内存中生成 Proto 对象。单个函数原型可以被多次绑定,生成多个闭包对象。这个过程由 CLOSURE 操作完成。
vmcase(OP_CLOSURE) {
printf("OP_CLOSURE \n");
Proto *p = cl->p->p[GETARG_Bx(i)];
LClosure *ncl = getcached(p, cl->upvals, base); /* cached closure */
if (ncl == NULL) /* no match? */
pushclosure(L, p, cl->upvals, base, ra); /* create a new one */
else
setclLvalue(L, ra, ncl); /* push cashed closure */
checkGC(L, ra + 1);
vmbreak;
}
在生成闭包的过程中,首先调用 getcached 函数,从缓存中取上次生成