Lua:理解表数组部分和哈希部分。

在第 4 节表格中,《Lua 5.0 实现》中有一个示例:

local t = {100, 200, 300, x = 9.3} 

所以我们有 t[4] == nil。如果我写 t[0] = 0,它将进入 哈希部分

如果我写 t[5] = 500,它将进入哪里?数组部分还是哈希部分

如果有区别,我很想听听针对 Lua 5.1、Lua 5.2 和 LuaJIT 2 实现的答案。

点赞
用户12048
用户12048
在 Lua 中,从 1 开始的连续整数键会一直存储在数组部分。

不是正整数的键会存储在哈希部分。

除此之外,具体存储位置未指定,因此不能根据规范预测 `t [5]` 存储在哪里(例如,如果创建然后删除 `t [4]`,它可能会在数组部分和哈希部分之间移动)。

LuaJIT 2 略有不同 - 它还会将 `t [0]` 存储在数组部分。

如果需要可预测性(这可能是设计上的问题),请使用纯数组表(从1开始的连续整数键 - 如果要留有空隙,可以使用 `false` 而不是 `nil`)或纯哈希表(避免使用非负整数键)。 
2013-07-10 12:54:56
用户1009479
用户1009479

引用自_Lua 5.0的实现_

数组部分尝试存储从1到某个限制n的整数键对应的值。对于非整数键或在数组范围外的整数键对应的值存储在哈希部分中。

数组部分的索引从1开始,这就是为什么t [0] = 0将转到哈希部分。

数组部分的计算大小是最大的n,至少在1和n之间的一半插槽中有一半以上的插槽在使用中(为了避免稀疏数组浪费空间),并且在n / 2 + 1和n之间至少有一个使用的插槽(这样就避免了n / 2大小,一旦可以做到)。

根据这个规则,在示例表中:

local t = {100,200,300,x = 9.3}

包含3个元素的数组部分,可以具有3、4或5的大小。(EDIT:大小应为4,见@dualed的评论。)

假设数组的大小为4,当写入t[5]=500时,数组部分不再能够容纳元素t[5],如果数组部分调整大小为8会怎样?大小为8的数组部分容纳4个元素,等于(不少于)数组大小的一半。并且在n / 2 + 1和n之间的索引,在这种情况下,是5到8,有一个元素:t[5]。所以大小为8的数组可以满足要求。在这种情况下,t[5]将进入数组部分。

2013-07-10 13:05:02