JS 预分配数组长度,到底是变慢还是变快?

在我的上一篇文章 JavaScript 在 V8 中的元素种类及性能优化 中写道:

clipboard.png

V8 的类型转换只能通过格子向下过渡。一旦将单精度浮点数添加到 Smi 数组中,即使稍后用 Smi 覆盖浮点数,它也会被标记为 DOUBLE。类似地,一旦在数组中创建了一个洞,它将被永久标记为有洞 HOLEY,即使稍后填充它也是如此。

一旦数组被标记为有洞,它永远是有洞的 - 即使它被打包了!从那时起,数组上的任何操作都可能变慢。如果您计划在数组上执行大量操作,并且希望对这些操作进行优化,请避免在数组中创建空洞。V8 可以更有效地处理密集数组。

然后有人提出了一个疑问:

为什么先指定长度再初始化测试出来会快一点?

其实,两者相比只是“可能”变慢。

具体因素有很多,比如预分配一个很大的数组,这时可以变快,lodash 的 map 函数就是这么做的。因为初始化的时候分配完空间,就可以避免在数组空间不够用的时候反复的内存申请和 GC 操作。而 FAST_ELEMENTSFAST_HOLEY_ELEMENTS 都不太慢,至少在所有元素中可以排到前二。

https://cs.chromium.org/chrom...

数组分配完成后默认是 FAST_HOLEY_SMI_ELEMENTS,当元素中添加了新的非 smi 值时,数据会进行类型转换。--trace-elements-transitions 的输出:

elements transition [FAST_HOLEY_SMI_ELEMENTS -> FAST_HOLEY_ELEMENTS]

我写了一个性能测试,对于 HOLEY_ELEMENTS,读取的时候 HOLEY 慢很多,写入的时候性能一样。如果数组很大,预先分配大小后性能反而会提升。

https://jsperf.com/array-elem...

https://jsperf.com/array-elem...

还有一个重要的性能提示就是:避免读数超出数组的长度!这样 V8 会在原型链上去找这个属性。

你可能感兴趣的:(javascript,v8,v8js)