本文通过两个函数彻底搞懂Lua中的闭包，相信看完这两个函数，应该能理解什么是Lua闭包。废话不多说，上 code：
--[[***************************************************************************
I'm jacc.kim
CreateDate: 2017-08-18 11:19:20
FileName : closure.lua
Version : 1.00
Author : jacc.kim
Summary :
***************************************************************************--]]
--[[
* summary : 利用闭包实现带状态的迭代器
* param : collection 集合.
* return : !!!重点注意:函数的返回值是重点.返回值是:一!个!函!数!.而该返回的函数是一个闭包.
--]]
local function elementIterator(collection)
-- nIndex 为 elementIterator() 函数的一个局部变量.标记着 collection 当前处理到的 collection 的下标位置 .
-- 这边为每个闭包"实例"初始化它们的"成员变量"的值.(不理解这句的,可先跳过)
local nIndex = ;
-- nCollectionCount 为 elementIterator() 函数的一个局部变量.记录着命令 collection 的长度信息
-- 这边为每个闭包"实例"初始化它们的"成员变量"的值.(不理解这句的,可先跳过)
local nCollectionCount = #collection;
-- 闭包.
-- 说明:01.在 Lua 中,函数内部可以定义函数,被定义的内部函数可以访问到外层函数定义的局部变量(如:上面的 nIndex、nCollectionCount、collection等,注意:
-- 外层函数的参数其实就是个局部变量).
-- 02.并且非常重要的(闭包的特性:)这些外层函数定义的局部变量的状态会被闭钮函数保持住.如 nIndex 起初的时候为 0 值,执行完下面的
-- nIndex = nIndex + 1; 后, nIndex 的值为 1,之后,再次调用该闭包函数时, nIndex = nIndex + 1; 后, nIndex 的值就变为 2.
-- 03.在Lua中,函数是第一类值.因此,函数可以被赋值给一个变量(局部或全局)、可以作为函数参数传递、可以作为函数的返回值返回.因此,这边可以 return 该闭包函数.
return function ()
-- nIndex 为 外层函数的一个局部变量.但 nIndex 的状态会被该内部函数(可理解为闭包函数)记忆保持住.因此,每次调用该闭包函数量.nIndex的值部是不断累加的.
-- (有点类似 C++ 的 static 特性(注意:仅仅只是类似,不能等同).如:
-- static auto nIndex = 0;
-- nIndex = nIndex + 1; // 或 ++nIndex
-- )
nIndex = nIndex + ; -- feature of Colsure
-- nCollectionCount 为外层函数的一个局部变量.同样的该变量的状态也会被保持住.但在该闭包函数中,没有去改变 nCollectionCount 的值.因此,该值就一
-- 值为集合 collection 的长度.
--[[
-- 现在重点分析一下这个闭包函数.在此之前,先再介绍另外一个Lua的特性.在Lua中,一个函数可以没有返回值、可以只返回一个值、也可以返回多个值.重点就是要看上下文本
-- 到底需要一个函数返回多少个值出去.Ok,这点说明暂时先到此为止.下面先分析一下该闭包函数.当调用该闭包函数时,
(!!!这点很重要啊)如果下面的 if 语句条件成立,则该函数会有一个返回值,返回外层函数的参数(collection)的对应索引位置处的元素.
(!!!这点更加重要)如果下面的 if 语句条件不成立,则该闭包函数是没有返回值,或者根据上下文,可以返回多个的 nil 值.
--]]
if (nIndex <= nCollectionCount) then
return collection[nIndex];
end
end
end
--[[
* summary : 测试上面设计的利用闭包实现的迭代器
* param : collection 待测试的集合.
* !!!note : 01.此处的目的:通过该函数,我们彻底理解闭包在此处起到的作用.
--]]
local function traversalCollection()
-- collection 为测试数据.
local collection = { "apple", "pear", "orange" };
-- 这是 Lua 的一个泛型 for 循环.完了完了,没办法理解该for循环?不怕,下面我们来彻底搞懂它(注意:搞懂该for循环,我们也就彻底理解什么是闭包).请看下面的注释.
--[[
for 循环的定义,其实可以理解为:
for (条件)
do
// some code here........
end
如果for的条件成立,则会执行for后面的语句块 do ... end 中的语句.否则for循环结束.
此处将下面for循环改写成另外一种"等价"的写法
local iter = elementIterator(collection);
for element = iter() do
print(element);
end
或者干脆改写成 while 语句更容易理解
local iter = elementIterator(collection); -- elementIterator()函数其实就好比一个工厂一样,调用一次,产生一个闭包"实例"
local element = iter(); -- 注意:此处 iter() 就是在调用闭凶函数
while element do
print(element);
element = iter(); -- 注意:此处 iter() 就是在调用闭凶函数
end
前文已在 elementIterator() 中的闭包函数中详细说明了闭包函数的特性,闭包函数会保持外层函数的状态信息.因此,调用 iter() 函数将返回一个 collection 集合的
元素,再调用一次将返回下一个元素,一直调用,最后因元素遍历结束,所以最终会返回一个nil被 element 接收.此时 while 循环结束(注意:Lua中 nil 与 false 都认为是假).
至此,相当闭包大家也都理解了.
--]]
for element in elementIterator(collection) do
print(element);
end
end
traversalCollection();
--[[
上文比较神奇的地方有两处:
一为 local iter = elementIterator(collection); 中的 elementIterator(collection)
解释:elementIterator(collection) 有点类似一个工厂.调用一次则会 产生一个闭包"实例"(该实例"地址"被保存到 iter 变量).而该闭包"实例"拥有
nIndex、nCollectionCount、collection "成员"变量.这些变量是它的自己的状态属性.
如果此时再调用一次 elementIterator(collection) 则又会产生一个新的闭包"实例".每个闭包实例都将有自己的一份状态属性.这些状态属性的初始化,都是
在闭包函数所在的外层函数处进行初始化(具体可见前文注释).
二为 element = iter(); 中的 iter()
解释:iter() 简单一点理解,其实就是在调用一个函数而已,仅此而已.然后这个函数返回一个值.只是这个函数比较特别,它有点像c++中的类一样,有自己的状态属性,调用
时,它会根据自己所记录的状态属性数据,进行相应逻辑处理,并返回对应的值.
总结:
Lua中的闭包,说它是一个(类似c++中的)类,它不是;
Lua中的闭包,说它是一个函数,它也不完全算是.只是它有点像c++中的函数,并且函数中有一些静态局部变量一样.但这样理解也不完全对.因为c++中的静态局部变量
在整个程序生命周期内,仅一份实例(处于全局静态存储区中);
Lua中的闭包,其实是像c++中的lambda的,但它们也不能完全等价;
那么Lua中的闭包到底像什么?个人认为它与c++中的仿函数是一样的.因为它们使用上都像函数,但又都可以持有自己的状态属性数据.而且又都可以产生任意多个的"实例"。
--]]