【入门夯实】泛型for的四字段形式：带状态迭代器的完整形态

学员常见误区

学员以为 for k, v in pairs(t) 里的 pairs 是个普通函数——实际上 for 语句拿到的是迭代器三元组（函数、状态、控制值），每轮用三个参数调用函数推进。自己写迭代器时把状态和控制值搞混，或者用无状态的函数却期待它记住上次的进度，循环表现与预期不符。错误场景：

local function stepWrong(i)
    return i + 1
end
for i in stepWrong, nil, 0 do
    print(i)
end

函数每轮收到的控制值从 0 开始，推进语义没理解透，输出与预期脱节。

正确姿势

泛型 for 的完整形态：for 变量列表 in 表达式列表 do，表达式求值得到迭代器 f、状态 s、控制值 c，每轮调用 f(s, c)，返回值首项成为新的控制值。自写带状态迭代器的规范写法。示例代码如下：

local function rangeIter(s, c)
    c = c + 1
    if c <= s.max then
        return c, c * 10
    end
end
for i, v in rangeIter, { max = 5 }, 0 do
    print(i, v)
end

s 是状态（共享的 max 配置），c 是控制值（逐轮推进），返回两个值供循环体使用——迭代器的推进逻辑完全自控。

引擎验证

三步验证：rangeIter 输出 1 到 5 与对应的 10 到 50；把 s.max 改成 3 观察循环提前终止；对比 pairs 遍历同一张表，理解 pairs 就是系统提供的无状态迭代器封装。

举一反三

闭包迭代器是无状态形式与闭包的结合：外层函数捕获状态返回内层闭包，for 只需要一个表达式。示例代码如下：

local function rangeFrom(from, max)
    local c = from - 1
    return function()
        c = c + 1
        if c <= max then
            return c
        end
    end
end
for i in rangeFrom(3, 7) do
    print(i)
end