闭包函数到底是什么？有什么用？

转载请注明出处即可，无需经过我本人同意。
以下内容为网上的内容加上本人的理解，如有侵权，请通知本人删除文章。

闭包函数是什么：

首先看如下代码，你是否了解其真正的意义：

function test()local i=0return function()i=i+1return iend
enddoTest=test()
print(doTest())   --输出1
print(doTest())   --输出2

你可能有这样的疑问：
1. 调用test()返回的函数doTest()时，变量 i 的定义在哪？
2. test()中的i不是局部变量吗？为什么返回的函数还能调用。

如果你有这样的疑问，请接着往下看。
首先，了解几个概念：

词法定界：当一个函数内嵌套另一个函数的时候，内函数可以访问外部函数的局部变量，这种特征叫做词法定界。而这些变量就被称为该内嵌函数的upvalue，upvalue实际指的是变量而不是值，这些变量可以在内部函数之间共享。

闭包：通过调用含有一个内部函数加上该外部函数持有的外部局部变量（upvalue）的外部函数（外部函数就是工厂）产生的一个实例函数。

闭包组成：外部函数+外部函数创建的upvalue+内部函数（闭包函数）

如上面的函数test()，
test()就是外部函数，
外部函数的局部变量local i=0就是upvalue(也叫做非局部变量，之所以叫做非局部变量，是因为此变量的作用域既不是局部变量的作用域，也不是全局变量的作用域。)，
返回的函数就是内部函数。

现在再回头看看原来的函数，我们知道了这种形式的函数叫做闭包函数。而test()中的局部变量i是内嵌函数的upvalue（非局部变量），且在内部函数中共享。

重复调用内部函数时，每一个调用都会记住上一次调用后的值，就是说第一次调用doTest()之后，i 的值已经是1了。

下面再看个例子

function test()local i=0return function()i=i+1return iend
enddoTest=test()
doAgain=test()
print(doTest())   --输出1
print(doTest())   --输出2print(doAgain())  --输出1
print(doAgain())  --输出2

可以看到，此时执行doAgain()时 i 值并没有在原来的基础上增加。

原因是：
doTest，doAgain是建立在同一个函数，同一个局部变量的不同实例上面的两个不同的闭包。
调用一次test（）就会产生一个新的闭包，而闭包中的upvalue各自独立。所以不难解释为什么doAgain()的i 值为什么没有在原来的基础上增加了。

闭包函数有什么用：

在for in 的循环中需要使用到迭代器，而迭代器需要保留上一次调用的状态和下一次成功调用的状态，刚好可以使用闭包的机制来实现。

创建迭代器：

function list_iter(t)     --外包函数叫做工厂函数。local i=0local n=table.getn(t)return function()i=i+1if i<=n then return t[i] endendend
--[[这里的list_iter是一个工厂，每次调用都会产生一个新的闭包。该闭包内部包括了upvalue(t,i,n)。
因此每调用一次该函数产生的闭包，那么该闭包就会根据记录上一次的状态，以及返回list的下一个。]]

在while中使用：

--while中使用：
t={10,20,90}
iter=list_iter(t)  --调用迭代器产生一个闭包
while true do
--当闭包函数的i值已经等于n的值时，依然会执行闭包函数，此时返回的就是nil.
--如果没有下面的判断，while就会一直循环，并进入死循环。local element=iter()if element==nil then break endprint(element)
end

在泛型for使用


--泛型for使用：
t={10,0,29}
--这里的list_iter()工厂函数只会被调用一次产生一个闭包函数，
--后面的每一次迭代都是用该闭包函数，而不是工厂函数。
for element in list_iter(t) doprint(element)
end如果想要同时返回k,v值，需要修改工厂函数，如下所示：function list_iter(tb)local i = 0return function ()i = i + 1--如果没有下面这个判断，就会一直执行。--详情可以看我的另一篇博客，《Lua内容关于for循环的总结》if tb[i] == nil then  return nilend   return i,tb[i]end
end