Lua泛型for

在学习Lua泛型for的过程中,我想实现ipairs的功能,写了如下代码:

1 function my_ipairs(table_name)
2     local i = 0
3     return function() i = i + 1;return i,table_name[i];end
4 end
5 
6 for k,v in my_ipairs({2,3,5,6}) do
7     print (k,v)
8 end

结果死循环了....

我很疑惑泛型for的工作过程是怎样的.查阅内容如下:

 

泛型for的语义

泛型for比较复杂，它在循环过程内保存了迭代器函数。它实际上保存着3个值：一个迭代器函数、一个恒定状态和一个控制变量。接下来，分别进行总结。

泛型for的语法如下：

for  in  do
     
end

其中，是一个或多个变量名的列表，以逗号分隔；是一个或多个表达式的列表，同样以逗号分隔。通常表达式列表只有一个元素，即一句对迭代器函数的调用。例如：

for k, v in pairs(t) do print(k, v) end

for做的第一件事就是对in后面的表达式求值，这些表达式应该返回3个值供for保存：迭代器函数、恒定状态和控制变量的初值。这里和多重赋值是一样的，只有最后一个表达式才会产生多个结果，并且只会保留前3个值，多余的值会被丢弃；而不够的话，就以nil补足。

 

在初始化完成以后，for会以恒定状态和控制变量来调用迭代器函数。然后for将迭代器函数的返回值赋予变量列表中的变量。如果第一个返回值为nil，那么循环就终止，否则，for执行它的循环体，随后再次调用迭代器函数，并重复这个过程。在前言部分的代码中，只是返回了迭代器函数，并没有返回恒定状态和控制变量。下面通过代码来说明这个问题，比如：

for var_1, ..., var_n in  do  end -- 就等价于以下代码：
do
     local _f, _s, _var =     -- 返回迭代器函数、恒定状态和控制变量的初值
     while true do
          local var_1, ..., var_n = _f(_s, _var)
          _var = var_1
          if _var == nil then break end
          
          end
     end
end

 

转载于:https://www.cnblogs.com/byleaf/p/4387704.html