为什么迭代 Set 的值会分配和创建垃圾？

Question

昨天我问this question 如何在不分配的情况下迭代Map。一位 v8 开发人员回复如下：

但是，如果您只对处理值感兴趣，则可以通过仅迭代值来避免创建它： for (let v of map.values()) {...} 不会分配任何短- 有生命的物体。遍历 map.keys() 也是如此。

我正在尝试在测试中复制它，但我遇到了麻烦。这是我制作的一个演示，它重现了我在使用简单的Set 时遇到的问题。将以下代码粘贴到其脚本标签中的空 HTML 文件中：

let a = new Set([ 1, 2, 3, 4, 5 ]);
let b = [ 1, 2, 3, 4, 5 ];

let sum = 0;

function setIterate() {
  for (let item of a.values()) {
    sum += item;
  }
}

function arrayIterate() {
  for (let i = 0; i < b.length; i++) {
    sum += b[i];
  }
}

setInterval(setIterate, 1);
// setInterval(arrayIterate, 1);

如果您打开此 HTML 文件，然后点击Shift+Escape，它应该会打开 Chrome 任务管理器。如果您随后查看Javascript Memory 列，您会看到内存随着时间的推移而缓慢增长。

但是，如果您注释setInterval(setIterate, 1); 行并取消注释setInterval(arrayIterate, 1); 行并刷新页面，您会看到内存使用量保持不变。

也就是说，迭代 Set 会随着时间的推移产生垃圾堆积，而迭代数组则不会。

有没有什么方法可以迭代 Set 而不会随着时间的推移产生这种垃圾堆积？我正在开发一个浏览器游戏，并在我的渲染循环中迭代了许多 Sets 和 Maps，并且由于 GC 运行而偶尔出现帧峰值。

Answer 1

为什么迭代 Set 的值会分配和创建垃圾？

它没有。使用--trace-gc（在d8 或node 中）对setIterate 进行一百万次调用显示零活动。 如果函数在每次迭代时甚至分配了一个字节（它不能；最小分配粒度是两个指针，即 8 个字节），那么年轻代至少会被填满一次时间。

有没有什么方法可以迭代 Set 而不会随着时间的推移产生这种垃圾堆积？

绝对;例如你是怎么做的。

为什么任务管理器显示内存随时间增加？

我不认为它会这样做。我已经照原样复制粘贴了你的 sn-p 并让它静置几分钟；该选项卡的 Chrome 任务管理器的“JavaScript 内存”列没有变化一千字节。 （这实际上只是证明这个测试并不是真正的压力测试：一旦sum 超过1<<30，它将开始疯狂分配，但这不是因为集合或数组.. .)

---

大胆猜测：也许您安装了一些扩展程序，将代码注入每个页面并导致分配？无论如何，不​​管它是什么，它都不是for..of-loops over Sets。