Lua程序设计（三十五）

泛型for的语法

有些情况下，我们的迭代器会有一个缺点，即需要为每个新的循环创建一个新的闭包。这样的开销有时会很客观。在这类情况中，我们可以通过使用泛型for自己保存迭代状态。

泛型for在循环过程中在其内部保存了迭代函数。实际上，泛型for保存了三个值，一个迭代函数，一个不可变状态和一个控制变量。泛型for的语法如下：

for var-list in exp-list do
	body
end

其中var-list是由一个或多个变量名组成的列表，它们以逗号分隔；exp-list是一个或多个表达式组成的列表，同样以逗号进行分隔。通常，表达式列表只有一个元素，即一句对迭代器工厂的调用。

我们把变量列表的第一个（或唯一的）变量成为控制变量，它的值在循环过程中永远保护会为nil,因为当它的值为nil时循环就将结束。

for做的第一件事是对in后面的表达式求值。这些表达式将给for返回三个值：迭代函数，不可变状态和控制变量的初值。

在初始化步骤完成后，for使用不可变状态和控制变量为参数来调用迭代函数。从for代码结构的立足点来看，不可变状态根本没有意义。for只是把从初始化步骤得到的状态值传递给所有迭代函数。然后，for将迭代函数的返回值赋给变量列表中声明的变量。如果第一个返回值（赋给控制变量的值)为nil,那么循环终止；否则，for执行它的循环体并再次调用迭代函数，再不端地重复这个过程。

更确切地说，形如

for var_1, .... var_n in explist do block end

这样的代码结构与下列代码等价：

do
	local _f, _s, _var  = explist
	while true do
		local var_1, ..., var_n = _f(_s, _var)
		_var = var_1
		if _var1 == nil then break end
		block
	end
end

假设迭代函数为f，不可变状态为s,控制变量的初始值为a0，那么循环中控制变量的值一次为$$a_1=f(s,a_0)=f(s,a_1)$$,依此类推，直至$$a_i$$为nil为止。