Lua+next遍历：next的底层遍历本质

【语法算法】

next 的遍历本质就这一行：

local k, v = next(t, lastKey)

传入上一个键，返回下一个键值对——不传上一个键就从第一个开始——next 是 pairs 的底层实现。今天拆开。

一、起始、遍历、终止三段

next 的三段。起始：next(t) 不传第二个参数——从表的第一个键值对开始——返回键和值。遍历：每次传入上一次返回的键——返回下一个键值对——遍历顺序不确定但对同一张表的每次遍历顺序一致。终止：没有下一个键值对时返回 nil——for 循环收到 nil 自动终止。三段连起来：next 玩的是"从上一个位置继续遍历"——遍历的位置由调用者持有而不是遍历器持有——调用者可以随时暂停遍历，下次从暂停的位置继续。

graph TD
    A["next(t)"] --> B["返回第1个键值对"]
    B --> C["next(t, k1)"]
    C --> D["返回第2个键值对"]
    D --> E["next(t, k2)"]
    E --> F["返回nil, 遍历结束"]

二、next 的正确写法

local t = { a = 1, b = 2, c = 3 }

local k, v = next(t)
while k ~= nil do
    print(k, v)
    k, v = next(t, k)
end

while 加 next(t, k) 是手动遍历的完整形态——每次传入上一个键获取下一个键值对——k 为 nil 时循环终止——等价于 for k, v in pairs(t)。

三、遍历顺序的不确定与修改的陷阱

next 的遍历顺序不确定——Lua 的哈希表内部实现决定了遍历顺序与插入顺序无关——两次遍历同一张表的顺序可能不同——依赖遍历顺序的代码就是不可靠的代码。遍历中修改表是最常见的陷阱：遍历时用 t[k] = nil 删除键值对——next 的内部指针可能指向已删除的键——安全的方法是先收集要删除的键到临时表，遍历结束后统一删除。和 pairs 的分账写清楚：pairs 内部就是调 next——for k, v in pairs(t) 等价于手动调 next 的 while 循环——pairs 是语法糖，next 是底层实现——理解 next 就是理解 pairs 的本质。最后一条纪律：next 的第二个参数必须是"上一次返回的键"——跳过某个键直接传后面的键会导致遍历顺序混乱——遍历位置是状态，状态必须连续。