是什么让 Lua 表的键顺序不确定?

问题描述

我知道,在 Lua 中,表键不是按创建顺序保存的。到目前为止,我认为这是由于内部实现可能会不断重新排列树节点以提高性能。但是,我不明白为什么即使在独立运行中执行以下代码段也不会转储相同的结果(例如,为每次运行运行 lua 解释器):

-- Example script
local t = {a = 1,b = 2}
for k,v in pairs(t) do
  print(k,v)
end

有时上面的代码会转储:

a   1
b   2

或:

b   2
a   1

解释器怎么可能用这么少的行(其中确定性似乎很明显)转储不同的结果?是什么让密钥在这里随机排序?表创建时的顺序还是表迭代时的顺序?

谢谢!

解决方法

表(关联数组)用于按键查找,因此在遍历它时没有明确定义的顺序。 Notes on the Implementation of Lua 5.3 很好地概述了 Lua 如何实现表数据结构。 IE。哈希表。如果对手可以触发(键)冲突,则哈希表的每个操作的插入性能从 O(1) 变为 O(n),如果您执行 n 个操作,则会得到 O(n^2) 的行为。因此,使用攻击者无法预测的哈希函数是 desirable。一种方法是使用随机种子作为哈希函数的一部分:

lstate.h: typedef struct global_State {
...
lstate.h: unsigned int seed;  /* randomized seed for hashes */