前言
在很多语言中都有闭包的概念，而在这里，我将主要对Lua语言的闭包概念进行分析与总结。希望对大家学习Lua有帮助。
什么是闭包？
闭包在Lua中是一个非常重要的概念，闭包是由函数和与其相关的引用环境组合而成的实体。我们再来看一段代码：
|
1
2
3
4
5
6
7
8
9
10
11
|
function newCounter() local i = 0 return function () -- 匿名函数 i = i + 1 return i end end c1 = newCounter() print(c1()) print(c1()) |
根据刚刚说的闭包的概念，结合上面的代码，来说说这个概念。闭包=函数+引用环境。上述代码中的newCounter函数返回了一个函数，而这个返回的匿名函数就是闭包的组成部分中的函数；引用环境就是变量i所在的环境。实际上，闭包只是在形式和表现上像函数，但实际上不是函数，我们都知道，函数就是一些可执行语句的组合体，这些代码语句在函数被定义后就确定了，并不会再执行时发生变化，所以函数只有一个实例。而闭包在运行时可以有多个实例，不同的引用环境和相同的函数组合可以产生不同的实例，就好比相同的类代码，可以创建不同的类实例一样。在看别人的文章时，看到有这样的说法：子函数可以使用父函数中的局部变量，这种行为就叫做闭包！这种说法其实就说明了闭包的一种表象，让我们从外在形式上，能更好的理解什么是闭包。至于深层次的闭包，我们接着继续。
再看闭包
首先，在Lua中，创建一个函数，就像定义一个普通类型值一样的，也就是之前的文章中说的，Lua中的函数和和普通类型是没有区别的。Lua中的函数就是所谓的“第一类值”，它可以被存放在变量或数据结构中，可以当做参数传递给另一个函数，可以是一个函数的返回值，还可以在运行期间被创建。Lua中的函数就是这样的一种“东西”，它很灵活。正如《Lua中的函数》中提到的“非局部的变量”这个概念么？这是一个非常很重要的概念，它可以理解为不是在局部作用范围内定义的一个变量，同时，它又不是一个全局变量，也就是大家说的upvalue，由于有了这样的一种变量的存在，就成全了Lua中的闭包。这种变量主要应用在嵌套函数和匿名函数里。我们都知道，可以在Lua的函数中再定义函数，也就是内嵌函数，内嵌函数可以访问外部函数已经创建的所有局部变量，而这些变量就被称为该内嵌函数的upvalue，upvalue实际指的是变量而不是值，这些变量可以在内部函数之间共享，比如以下代码：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
function Fun1() local iVal = 10 -- upvalue function InnerFunc1() -- 内嵌函数 print(iVal) -- end function InnerFunc2() -- 内嵌函数 iVal = iVal + 10 end return InnerFunc1, InnerFunc2 end -- 将函数赋值给变量，此时变量a绑定了函数InnerFunc1, b绑定了函数InnerFunc2 local a, b = Fun1() -- 调用a a() -->10 -- 调用b b() -->在b函数中修改了upvalue iVal -- 调用a打印修改后的upvalue a() -->20 |
上述这段简单的代码，就验证了在内嵌函数中是共享upvalue的，就好比C++类中的成员函数可以访问和修改成员变量一样。
使用闭包
可以看到闭包是数据和行为的结合体，就好比C++中的类，这样就使得闭包具有较好的抽象能力，在某些场合下，我们需要记住某次调用完成以后数据的状态，就好比C++中的static类型的变量，每次调用完成以后，static类型的变量并不会被清除。使用闭包就可以很好的完成该功能，在下一篇博文中，我将会讲到使用闭包完成迭代器功能。
总结
闭包是一个非常很总要的概念，也好理解，也难理解，简单的说，闭包就是内嵌的函数加上它可以正确访问的upvalue。很多时候，我们明白了这个道理，却不会用这个东西，所以，我们需要阅读更多的代码，参加更多的项目，去积累更多的项目经验，来丰富自己的阅历，到时候，理解层次就会上去。