local tbl = {"one", "two", "three", ‘five’}
local count = #tbl
local inc = 0
function Iter(tableinput)
return function()
if inc > count then
return
end
inc = inc + 1
return tableinput[inc], inc
end
end
for elem, index in Iter(tbl) do
print(elem)
if index > 2 then
inc = 0
end
end
如果运行一下的话,不出意外一定会死循环。如果把函数Iter改一下就是我们常见的generic for了。
function Iter(tableinput)
local count2 = #tbl
local inc2 = 0
return function()
if inc2 > count2 then
return
end
inc2 = inc2 + 1
return tableinput[inc2], inc2
end
end
跟踪一下运行也可以发现,count2以及inc2这两行在Iter被for调用的时候,只会第一次运行而且只运行一次。接下来的调用中只会从return function这里开始。如果返回nil,那么for就停止循环。
我比较好奇的是,对于Iter在for循环的时候,很显然是保持了一个内部的堆栈不变,也就是说inc2和count2类似于c语言的static内部变量。但是学的还是一知半解,不知道如何dump出此时的堆栈状态。
关于函数对于局部变量,好像是会在栈上做一个缓存,看下面代码
stringb = "bbbbbbbbbbbbbbb"
do
local internalA = "print for first time"
function printStrA()
print(internalA)
end
function printStrB()
print(stringb)
end
end
do
local internalA = "!!!!!!!!!!!!!!!!!!!!"
stringb = "cccccccccccccccc"
printStrA()
printStrB()
end
internalA = "!!!!2222222222222"
printStrA()
stringb = "ddddddddddddddddddd"
printStrB()
当我们运行这段代码,可以发现
print for first time
cccccccccccccccc
print for first time
ddddddddddddddddddd
也就是对于printStrA,每次调用的结果都是一样的,而printStrB的结果会根据全局变量stringb的不同而不同。这一点值得以后的研究。
关于闭包(closures),PIL上有一个很有意思的例子,我做了一些扩展。
local x = function ()
local i = 0
print "aaa"
local function x2()
i = i + 1
print "bbb"
return i
end
return x2 — 这个地方不能是return x2(),否则返回的就是值而不是函数
end
x()
print "======="
x()
print "======="
local c = x()
print "======="
print(c())
print "======="
print(c())
print "======="
print(c())
print "======="
local c = x()
print "======="
print(c())
结果会是什么呢?
首先,很有意思的一点是,对于返回正确函数尾调用,一种情况下,return function()后面的代码不会运行,就是说当x()时,以及当local c=x()的时候。
我们如果想达到计数器的效果,一定要用local c=x(),然后反复调用c(),而不是调用x()。原因就是c实际上指向了x返回的匿名函数,这样每次运行c,实际上运行的就是那个匿名函数。另外一个有趣的结论是,对于返回正确尾调用的函数,尾调用实际上还没有运行。
运行的结果就是下面这样,你猜对了么?
aaa
=======
aaa
=======
aaa
=======
bbb
1
=======
bbb
2
=======
bbb
3
=======
aaa
=======
bbb
1
关于尾调用, return g(x)是尾调用,而return (g(x))就不是,原因是return (Fun()) — This expression is a single function call surrounded in parentheses, which is different than the required single function call (the parentheses adjust Fun to one return value).