为什么Lua的迭代器是三元组？

Lua 5.1 参考手册指出，迭代器语法：

 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 var == nil then break end
     block
   end
 end

为什么 Lua 需要“状态”变量 _s_？

我猜测这意味着迭代器函数不需要携带任何每个迭代器的状态（例如，ipairs 迭代器函数设计），但可以很容易地按需创建携带此状态的闭包，而其成本几乎为每次迭代一次，效率上的考虑对我来说并不那么清楚。