为什么Lua中这个代码能工作？- for k, v in next, t, nil do print(k, v) end

所有的功劳都要归功于 Egor，因为他在评论中给出了答案。

根据 Lua 5.3 手册 上的描述：

以下 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)
     if var_1 == nil then break end
     var = var_1
     block
   end
 end

因此，原始语句被翻译成了一个无限循环的 while 循环，它不断使用初始参数 next(t, nil) 调用 next() 函数，在每次迭代中将第二个参数替换为 t 表中的下一个索引。当最终 next(t, index_n) 返回 nil 时，循环停止。

这对我来说似乎是一种非常强大的遍历表的方式，因为 next() 可以被几乎任何函数替换，从而完全控制迭代。哇。

为了更详细地说明其他回答：

在'通用for循环'中，涉及到的值更具有描述性的命名方式如下：

`` ` for k，v1，v2，... in f_step，state，k0 do… end

```

然后它像循环一样循环

`` ` k，v1，v2，… = f_step（state，k0）;如果k == nil则中断; k0 = k; --（...放在这里的for体...) k，v1，v2，... = f_step（state，k0）;如果k == nil则中断; k0 = k; --（...放在这里的for体...) k，v1，v2，... = f_step（state，k0）;如果k == nil则中断; k0 = k; --（...放在这里的for体...) …

`` `

f_step可以自由地以任何它喜欢的方式修改“state”（虽然“pairs” /“next”不会这样做，作为另一个例子，“string.gmatch”甚至完全忽略状态和k并在闭包中保持所有变化的状态（如果您还不知道该术语，请考虑“function”）。）

现在，“pairs”所做的就是基本上

`` ` function pairs（t） - （__pairs逻辑放在这里，为简洁起见省略） return next，t，nil end

`` `

常见的

`` ` for k，v in pairs（t）do... end

`` `

基本上扩展为

`` ` for k，v in next，t，nil do... end

`` `

（除非“t”具有具有“__pairs”的元表。）

现在有两个原因你可能会明确编写“next，t，nil”而不是“pairs” - 混淆不知道这个的人，或避免触发“__pairs”。 （为避免触发“__index” /“__newindex”，您有“rawget” /“rawset”，为避免触发“__pairs”，您明确编写“next，t，nil”。或者也许您定义了“函数rawpairs（t）return next，t，nil end”，并使用它...）