如何在内存中处理Lua表？

Question

lua如何处理表的增长？

它是否等同于Java中的ArrayList ？ 即需要连续内存空间，并且随着它比已经分配的空间增大，内部数组被复制到另一个内存空间。

是否有一种聪明的方式来领导它？

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

Answer 1

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

在引擎盖下，表包含一个数组和一个哈希部分。 两者（独立地）以两个幂的步长增长和缩小，并且如果不需要则两者都可以不存在。

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

对于阵列和散列部分，插入可以触发调整大小，如果先前已经移除了足够多的条目，则可以触发下一个更大的2的幂，或者更低到2的任何更小的幂。 （实际上触发向下调整大小是不平凡： rehash就是一个表的大小（与两个部分同时调整）的唯一场所，它只是从所谓luaH_newkey ，如果没有足够的空间在任两部分^1。 ）

有关更多信息，您可以查看Lua 5.0实现的第4章，或检查源代码：基本上所有相关内容都发生在ltable.c ，有趣的读取起点是rehash （在ltable.c ） （调整大小函数） ，以及主解释器循环luaV_execute （在lvm.c ）或更具体地说是luaV_settable （也在那里） （当在表中存储键值对时会发生什么）。

---

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

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

Answer 2

从Lua 5.0开始，表是哈希表和数组的混合体。 从Lua 5.0的实现 ：

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

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

以前的版本只有哈希表。