Lua 表在内存中是如何处理的？

Question

lua 如何处理表的增长？

它相当于Java中的ArrayList吗？ IE。一个需要连续内存空间的，当它比已经分配的空间大时，内部数组被复制到另一个内存空间。

有没有聪明的方法来引导它？

我的问题是，表是如何存储在内存中的？我不是问如何在 Lua 中实现数组。

Answer 1

（假设您指的是最新版本的 Lua；描述 5.3 的行为应该（几乎？）与 5.0-5.2 相同。）

在底层，一个表包含一个数组和一个哈希部分。两者都（独立地）以二次幂的方式增长和缩小，如果不需要，两者都可能不存在。

大多数键值对将存储在哈希部分。但是，所有正整数键（从 1 开始）都是存储在数组部分中的候选者。数组部分只存储值而不存储键（因为它们等价于元素在数组中的位置）。最多允许一半的分配空间为空（即包含nils - 作为间隙或作为尾随空闲槽）。 （会留下太多空槽的数组候选将被放入散列部分。如果数组部分已满但散列部分有剩余空间，则任何条目都将进入散列部分。）

对于数组和哈希部分，插入可以触发调整大小，如果之前已经删除了足够多的条目，则可以调整到下一个较大的 2 次方或下降到任何较小的 2 次方。 （实际上触发缩小大小并非易事：rehash 是唯一调整表格大小的地方（并且两个部分同时调整大小），并且只能从 luaH_newkey 调用 if 两部分中的任何一个都没有足够的空间¹。）

更多信息，你可以看The Implementation of Lua 5.0的第4章，或者查看源代码：基本上所有相关的都发生在ltable.c，有趣的阅读起点是rehash (in ltable.c)（调整大小功能），以及主解释器循环 luaV_execute (in lvm.c) 或更具体地说是 luaV_settable (also there)（在表中存储键值对时会发生什么情况）。

---

¹_{例如，为了缩小包含大数组部分且没有散列的表，您必须清除所有数组条目，然后将条目添加到散列部分（即使用非整数键，值可以是任何包括 nil），最终得到一个不包含数组部分和一个单元素散列部分的表。
如果两个部分都包含条目，则必须首先清除哈希部分，然后向数组部分添加足够的条目以填充数组和哈希的组合（触发调整大小，这将为您留下一个包含大数组部分的表和没有哈希），然后如上所述清除数组。²（首先清除数组，然后哈希将不起作用，因为在清除这两个部分后，您将没有数组和一个巨大的哈希部分，并且您无法触发调整大小，因为任何条目都只会进入散列。）}

²_{实际上， 把桌子扔掉换一张新桌子要容易得多。为了确保缩小表，您需要知道实际分配的容量（不是当前条目数，并且 Lua 不会告诉你，至少不会直接告诉你） ，然后让所有步骤和所有大小都恰到好处 - 混淆步骤的顺序或无法触发调整大小，你最终会得到一个巨大的表，如果你将它用作数组，它甚至可能执行得更慢…（存储在哈希中的候选数组也存储它们的键，例如缓存行中有用数据量的一半。）}

Answer 2

从 Lua 5.0 开始，表是哈希表和数组的混合体。来自The Implementation of Lua 5.0：

用于优化用作数组的表的新算法：

与其他脚本语言不同， Lua 不提供数组类型。相反，Lua 程序员使用 具有整数索引的常规表来实现数组。 Lua 5.0 使用了一个新的 检测表是否被用作数组并自动检测的算法 将与数字索引关联的值存储在实际数组中， 而不是将它们添加到哈希表中。该算法在 第 4 节。

以前的版本只有哈希表。