如果只修改字段值，那么`next()`是否有稳定的顺序？

我建议您不要依赖于没有承诺但可能意外起作用的内容，而是保证您的状态函数具有稳定的遍历顺序。可以像这样完成：

- 用于替换 pairs() 的迭代器：
local function ordered_pairs (t)
    - 获取表键：
    local keys = {}
    for key, _ in pairs (t) do
        table.insert (keys, key)
    end
    - 对它们进行排序：
    table.sort (keys, function (a, b)
        本地 type_a，type_b = type （a），type （b）
        返回 type_a <type_b
            或type_a == type_b且（type_a =='number'或type_a =='string'）且a <b
            或type_a == type_b且tostring（a）<tostring（b）
    end）
    - 循环遍历排序的键：
    本地计数器= 1
    返回function（）
        本地键=键 [counter]
        如果钥匙呢
            计数器=计数器+ 1
            返回键，t [key]
        结束
    end
end

- 实际上，它是一个串行化器：
local function hash (t)
    本地串行= {}
    for key，value在ordered_pairs（t）中进行处理
        table.insert (serialised，tostring（key）..'：'.. tostring（value））
    end
    返回table.concat（serialised，'，'）
end

- 测试：
本地t = {a = 1，b = 2，c = 3}
print（'阶段1（b = 2）：'，hash（t））
t.b = 10
print（'阶段2（b = 10）：'，hash（t））
t.b = 2
print（'阶段3（b = 2）：'，hash（t））

首先按顺序排列键（排序函数相当复杂，以考虑所有可能的键类型）。然后按其键的顺序遍历表格。

如果您希望，您可以使用其metatable和__pairs，用ordered_pairs覆盖表格的pairs。