在 JavaScript / V8 中，整数数组实际上是作为整数数组实现的吗？

Question

this article 中声称 JavaScript 中的整数数组是由 C++ 整数数组实现的。

但是；根据MDN，除非您专门使用 BigInts，否则在 JavaScript 中所有数字都被抑制为双精度数。

如果我这样做：

cont arr = [0, 1, 2, 3];

V8 引擎中的实际表示是什么？

V8的代码是here on github，但是不知道去哪里看：

Answer 1

（这里是 V8 开发人员。） “C++ 整数数组”有点简化，但那篇文章中描述的关键思想是正确的，数组[0, 1, 2, 3] 将存储为“Smis”数组。

什么是“Smi”？虽然 JavaScript 中的每个数字都必须表现得像 IEEE754 双精度数，但 V8 在内部将数字表示为“小整数”（31 位有符号整数值 + 1 位标记），即当数字具有 -2**30 范围内的整数值时到2**30-1，提高效率。引擎通常可以在引擎盖下做任何他们想做的事情，只要事情表现得好像实现完全遵循规范。因此，当规范（或 MDN 文档）说“所有数字都是双精度数”时，从引擎（或引擎开发人员）的角度来看，它的真正含义是“所有数字必须像双精度数一样表现”。

当数组只包含 Smis 时，数组本身会跟踪该事实，因此从此类数组加载的值无需检查即可知道它们的类型。这很重要，例如对于a[i] + 1，当已知a 是一个Smi 数组时，+ 的实现不必检查a[i] 是否是一个Smi。
当第一个不符合 Smi 范围的数字存储在数组中时，它将被转换为双精度数组（严格来说仍然不是 “C++ 数组”，而是自定义数组在垃圾收集堆上，但它类似于 C++ 数组，所以这是解释它的好方法。
当第一个非数字存储在数组中时，会发生什么取决于数组之前处于什么状态：如果它是一个“Smi数组”，那么它只需要忘记它只包含Smi的事实。不需要重写，因为 Smis 是有效的对象指针，这要归功于它们的标记位。如果数组之前是“双数组”，则必须重写它，以便每个元素都是有效的对象指针。此时，所有双精度值都将被“装箱”为所谓的“堆编号”（托管堆上仅包装双精度值的对象）。

总之，我想指出的是，在绝大多数情况下，无需担心任何这些内部实现技巧，甚至无需了解它们。我当然理解你的好奇心！此外，数组表示是不考虑实现细节的微基准测试很容易通过建议不会延续到更大应用程序的结果而容易产生误导的更常见原因之一。

---

寻址 cmets：

V8 有时甚至使用 int16 或更低版本。

不，它没有。它将来可能会或可能不会开始这样做；虽然如果有什么改变，我猜未标记的 int32 比 int16 更有可能被引入；此外，如果实施发生任何变化，那么可观察到的行为当然不会改变。
如果您认为您的应用程序将从 int16 存储中受益，您可以使用 Int16Array 来强制执行此操作，但请务必衡量这是否真的有利于您，因为很可能不会，甚至可能会降低性能，具体取决于你的应用会处理它的数组。

当你将它设为小数时，它可能会开始为双精度

稍微准确一点：需要将 Smis 数组转换为双精度数组的原因有几个，例如：

• 在其中存储一个小数值，例如0.5
• 在其中存储较大的值，例如2**34
• 在其中存储NaN 或Infinity 或-0