Lua中的closure（闭包）

第一次看到closure是在Lua虚拟栈的实现中看到的，closure需要内存管理垃圾回收。

Lua虚拟栈实现： 

Lua栈是在创建lua_State时建立的，TValue stack[max_stack_len]  ，欲知内情可以查 Lua源码lstate.c的stack_init函数 
Lua栈可以存储数字，字符串，表，闭包等，它们最终都用TValue这种数据结构来保存 。

TValue结构对应于lua中的所有数据类型, 是一个{值, 类型} 结构, 这就lua中动态类型的实现, 它把值和类型绑在一起, 用tt记录value的类型, value是一个联合结构, 由Value定义, 可以看到这个联合有四个域, 先说明简单的 
p – 可以存一个指针, 实际上是lua中的light userdata结构 
n – 所有的数值存在这里, 不管是int , 还是float 
b – Boolean值存在这里, 注意, lua_pushinteger不是存在这里, 而是存在n中, b只存布尔 
gc – 其他诸如table, thread, closure, string需要内存管理垃圾回收的类型都存在这里 
gc是一个指针, 它可以指向的类型由联合体GCObject定义, 从图中可以看出, 有string, userdata, closure, table, proto, upvalue, thread 
可以的得出如下结论: 
1. lua中, number, boolean, nil, light userdata四种类型的值是直接存在栈上元素里的, 和垃圾回收无关。
2. lua中, string, table, closure, userdata, thread存在栈上元素里的只是指针, 他们都会在生命周期结束后被垃圾回收。

 

closure（闭包）

闭包是由函数原型的引用和该函数所需访问的外部局部变量 upvalue 组成。

下面看一个例子：

function count()
    local i = 0
    return function() --匿名函数
        i = i + 1
        print(i)
    end
end

c1 = count()
c1() -- 输出 1
c1() -- 输出 2

一个函数定义在另一个函数中，位于内部的函数可以访问外部函数中的所有局部变量，这种特征就是词法作用域。而这些局部变量（例如上面的变量 i）则称为该函数的upvalue。

upvalue就是lua函数中引用到的外部变量。

上面两次调用 c1，会看到分别输出 1 和 2。

对于一个count函数中的局部变量i，当执行"c1 = count()" 后，它的生命周期本该结束，但是由于它已经成为了定义在count函数中的匿名函数的upvalue，返回的匿名函数，以upvalue的方式把变量i的值保存下来，因此可以不断累加输出。

这种局部变量在函数返回后继续存在，并且返回的函数可以正常的调用这个局部变量，独立执行其逻辑的现象，在Lua中称为闭包（closure）。

之所以说闭包是一个独立存在的个体，这个可以再把函数 count 赋给一个变量，然后执行看输出效果：

c2 = count()
c2() --  输出 1

c1 跟 c2 都是相同的函数体，不过输出的值却不一样！

这主要还是因为闭包是由函数原型的引用和该函数所需访问的外部局部变量 upvalue 组成。当调用函数造成 upvalue 值被改变时，这只会改变对应闭包的 upvalue 值，不会影响到其他闭包里的 upvalue 值，所以 c1 被调用 2 次后，外部局部变量 i 的值的是 2，而新创建的 c2 初始的外部局部变量 i 是 0，被调用之后会是 1。