浅解闭包概念

http://www.outflush.com/2015/03/simple-introduction-of-closure/

本文参考了网上的一些比较经典的文章，精简了对闭包的解释，以简洁易懂的代码开始切入，将闭包中比较难懂的概念之类的东西放到了后面。

本文目的是仅仅是为了解释闭包的概念，如果有兴趣深入了解，可以参考文末的参考链接。

在了解闭包之前，首先理解一下下面这段代码

function make_counter()
local count = 0

// 定义一个函数
function inc_count()
// 改变上层函数中的变量count
count = count + 1
return count
end

// 返回之前定义的函数
return inc_count
end
c1 = make_counter()
c2 = make_counter()
print(c1()) // 输出 1
print(c2()) // 输出 1

在上面这段代码中，函数make_counter每被调用一次便返回一个函数inc_count，而inc_count中又修改了其外层函数make_counter中的count局部变量。

这里可能会有一个问题，由于是count是make_counter的局部变量，所以在make_counter执行完毕后，count的声明周期便应该结束了，而c1和c2函数中又引用了这个局部变量，所以看起来这段代码是有问题的。

而事实上是，在inc_count函数定义时会将其当时的引用环境与函数代码组合成一个整体，当把这个整体作为函数调用时，先将其中的引用环境覆盖到当前的引用环境上，然后执行具体代码，并在调用结束后回复原来引用环境，这样便保证了函数定义和执行的引用环境是相同的。而这种由引用环境和函数代码组合成的实体便是闭包。

接下来介绍一下相关的一些定义

• 闭包（Closure）是词法闭包（Lexical Closure）的简称。
• 闭包可以简单的理解为是函数和引用环境组成的整体
• 闭包在形式和表现上像函数，但并不是函数。函数是一些可执行代码，这些代码在定义后便确定了，并不会在执行时发生变化。而闭包则是在执行时可以有多个实例，不同的引用环境和相同的函数组合可以产生不同的实例
• 所谓引用环境是指在程序执行中的 某个点的 所有处于活跃状态的约束所组成的集合。这里的约束是指一个变量的名字和其所代表的对象之间的联系。

一般说来，支持闭包的语言都支持以下几种特性

• 函数可以作为变量的值，还能另一个函数的返回值或参数
• 函数可以嵌套定义

至于闭包的用处，此处不再赘述，可以参考本文参考文章中的示例

参考资源
* 闭包的概念、形式与应用
* 理解Javascript的闭包