两个函数彻底理解Lua中的闭包

时间:2022-11-21 22:45:58

本文通过两个函数彻底搞懂Lua中的闭包,相信看完这两个函数,应该能理解什么是Lua闭包。废话不多说,上 code:

  1 --[[***************************************************************************
  2 
  3                              I'm jacc.kim
  4 
  5     CreateDate: 2017-08-18 11:19:20 
  6     FileName  : closure.lua
  7     Version   : 1.00
  8     Author    : jacc.kim
  9     Summary   : 
 10 
 11 ***************************************************************************--]]
 12 
 13 --[[
 14  * summary     : 利用闭包实现带状态的迭代器
 15  * param       : collection 集合.
 16  * return      : !!!重点注意:函数的返回值是重点.返回值是:一!个!函!数!.而该返回的函数是一个闭包.
 17 --]]
 18 local function elementIterator(collection)
 19     -- nIndex 为 elementIterator() 函数的一个局部变量.标记着 collection 当前处理到的 collection 的下标位置 .
 20     -- 这边为每个闭包"实例"初始化它们的"成员变量"的值.(不理解这句的,可先跳过)
 21     local nIndex               = 0;
 22     -- nCollectionCount 为 elementIterator() 函数的一个局部变量.记录着命令 collection 的长度信息
 23     -- 这边为每个闭包"实例"初始化它们的"成员变量"的值.(不理解这句的,可先跳过)
 24     local nCollectionCount     = #collection;
 25     
 26     -- 闭包.
 27     -- 说明:01.在 Lua 中,函数内部可以定义函数,被定义的内部函数可以访问到外层函数定义的局部变量(如:上面的 nIndex、nCollectionCount、collection等,注意:
 28     --     外层函数的参数其实就是个局部变量).
 29     --     02.并且非常重要的(闭包的特性:)这些外层函数定义的局部变量的状态会被闭钮函数保持住.如 nIndex 起初的时候为 0 值,执行完下面的
 30     --       nIndex = nIndex + 1; 后, nIndex 的值为 1,之后,再次调用该闭包函数时, nIndex = nIndex + 1; 后, nIndex 的值就变为 2.
 31     --     03.在Lua中,函数是第一类值.因此,函数可以被赋值给一个变量(局部或全局)、可以作为函数参数传递、可以作为函数的返回值返回.因此,这边可以 return 该闭包函数.
 32     return function ()
 33         -- nIndex 为 外层函数的一个局部变量.但 nIndex 的状态会被该内部函数(可理解为闭包函数)记忆保持住.因此,每次调用该闭包函数量.nIndex的值部是不断累加的.
 34         -- (有点类似 C++ 的 static 特性(注意:仅仅只是类似,不能等同).如:
 35         -- static auto nIndex = 0;
 36         -- nIndex = nIndex + 1; // 或 ++nIndex
 37         -- )
 38         nIndex                 = nIndex + 1;    -- feature of Colsure
 39         -- nCollectionCount 为外层函数的一个局部变量.同样的该变量的状态也会被保持住.但在该闭包函数中,没有去改变 nCollectionCount 的值.因此,该值就一
 40         -- 值为集合 collection 的长度.
 41         
 42         --[[
 43         -- 现在重点分析一下这个闭包函数.在此之前,先再介绍另外一个Lua的特性.在Lua中,一个函数可以没有返回值、可以只返回一个值、也可以返回多个值.重点就是要看上下文本
 44         -- 到底需要一个函数返回多少个值出去.Ok,这点说明暂时先到此为止.下面先分析一下该闭包函数.当调用该闭包函数时,
 45            (!!!这点很重要啊)如果下面的 if 语句条件成立,则该函数会有一个返回值,返回外层函数的参数(collection)的对应索引位置处的元素.
 46            (!!!这点更加重要)如果下面的 if 语句条件不成立,则该闭包函数是没有返回值,或者根据上下文,可以返回多个的 nil 值.
 47         --]]
 48         if (nIndex <= nCollectionCount) then
 49             return collection[nIndex];
 50         end
 51     end
 52 end
 53 
 54 --[[
 55  * summary    : 测试上面设计的利用闭包实现的迭代器
 56  * param      : collection 待测试的集合.
 57  * !!!note    : 01.此处的目的:通过该函数,我们彻底理解闭包在此处起到的作用.
 58 --]]
 59 local function traversalCollection()
 60     -- collection 为测试数据.
 61     local collection           = { "apple", "pear", "orange" };
 62     -- 这是 Lua 的一个泛型 for 循环.完了完了,没办法理解该for循环?不怕,下面我们来彻底搞懂它(注意:搞懂该for循环,我们也就彻底理解什么是闭包).请看下面的注释.
 63     --[[
 64     for 循环的定义,其实可以理解为:
 65     for (条件)
 66     do
 67         // some code here........
 68     end
 69     如果for的条件成立,则会执行for后面的语句块 do ... end 中的语句.否则for循环结束.
 70     此处将下面for循环改写成另外一种"等价"的写法
 71     local iter = elementIterator(collection);
 72     for element = iter() do
 73         print(element);
 74     end
 75     或者干脆改写成 while 语句更容易理解
 76     local iter = elementIterator(collection);        -- elementIterator()函数其实就好比一个工厂一样,调用一次,产生一个闭包"实例"
 77     local element = iter();                          -- 注意:此处 iter() 就是在调用闭凶函数
 78     while element do
 79         print(element);
 80         element = iter();                            -- 注意:此处 iter() 就是在调用闭凶函数
 81     end
 82     前文已在 elementIterator() 中的闭包函数中详细说明了闭包函数的特性,闭包函数会保持外层函数的状态信息.因此,调用 iter() 函数将返回一个 collection 集合的
 83     元素,再调用一次将返回下一个元素,一直调用,最后因元素遍历结束,所以最终会返回一个nil被 element 接收.此时 while 循环结束(注意:Lua中 nil 与 false 都认为是假).
 84     至此,相当闭包大家也都理解了.
 85     --]]
 86     for element in elementIterator(collection) do
 87         print(element);
 88     end
 89 end
 90 
 91 traversalCollection();
 92 
 93 --[[
 94 上文比较神奇的地方有两处:
 95 一为 local iter = elementIterator(collection); 中的 elementIterator(collection)
 96 解释:elementIterator(collection) 有点类似一个工厂.调用一次则会 产生一个闭包"实例"(该实例"地址"被保存到 iter 变量).而该闭包"实例"拥有
 97  nIndex、nCollectionCount、collection "成员"变量.这些变量是它的自己的状态属性.
 98 如果此时再调用一次 elementIterator(collection) 则又会产生一个新的闭包"实例".每个闭包实例都将有自己的一份状态属性.这些状态属性的初始化,都是
 99 在闭包函数所在的外层函数处进行初始化(具体可见前文注释).
100 
101 二为  element = iter(); 中的 iter()
102 解释:iter() 简单一点理解,其实就是在调用一个函数而已,仅此而已.然后这个函数返回一个值.只是这个函数比较特别,它有点像c++中的类一样,有自己的状态属性,调用
103 时,它会根据自己所记录的状态属性数据,进行相应逻辑处理,并返回对应的值.
104 
105 总结:
106     Lua中的闭包,说它是一个(类似c++中的)类,它不是;
107     Lua中的闭包,说它是一个函数,它也不完全算是.只是它有点像c++中的函数,并且函数中有一些静态局部变量一样.但这样理解也不完全对.因为c++中的静态局部变量
108     在整个程序生命周期内,仅一份实例(处于全局静态存储区中);
109     Lua中的闭包,其实是像c++中的lambda的,但它们也不能完全等价;
110     
111  那么Lua中的闭包到底像什么?个人认为它与c++中的仿函数是一样的.因为它们使用上都像函数,但又都可以持有自己的状态属性数据.而且又都可以产生任意多个的"实例"112 --]]