为什么 Javascript `iterator.next()` 返回一个对象？

Question

救命！在用 C# 编程很长一段时间后，我正在学习爱上 Javascript，但我一直在学习爱上可迭代协议！

为什么 Javascript 采用protocol 要求为每次迭代创建一个新对象？为什么next() 返回一个具有done 和value 属性的新对象，而不是采用像C# IEnumerable 和IEnumerator 这样的协议，它不分配对象，代价是需要两次调用（一个到moveNext 到看看迭代是否完成，然后再到current 获取值）？

是否存在跳过next() 分配对象返回的底层优化？很难想象由于可迭代对象不知道返回后如何使用该对象...

生成器似乎不重用下一个对象，如下图所示：

function* generator() {
  yield 0;
  yield 1;
}

var iterator = generator();
var result0 = iterator.next();
var result1 = iterator.next();

console.log(result0.value) // 0
console.log(result1.value) // 1

嗯，here's 一条线索（感谢 Bergi！）：

稍后我们将回答一个重要问题（在 3.2 节中）：为什么迭代器（可选）可以在最后一个元素之后返回一个值？这种能力是元素被包装的原因。否则，迭代器可以简单地在最后一个元素之后返回一个公开定义的标记（停止值）。

在教派中。 3.2 他们讨论使用Using generators as lightweight threads。似乎是说从next 返回对象的原因是即使done 是true 也可以返回value！哇。此外，除了yield 和yield*-ing 值之外，生成器还可以使用return 值，当done 是true 时，return 生成的值最终与value 一样！

所有这些都允许伪线程。而这个特性，伪线程，值得为每次循环分配一个新对象...... Javascript。总是那么出人意料！

---

尽管现在我想了想，允许yield*“返回”一个值以启用伪线程仍然不能证明返回一个对象是合理的。 IEnumerator协议可以扩展为在moveNext()返回false之后返回一个对象——只需添加一个属性hasCurrent在迭代完成后测试true表示current有一个有效值。 ..

而且编译器的优化也很重要。这将导致迭代器的性能出现相当大的差异......这不会给库实现者带来问题吗？

所有这些观点都在友好的 SO 社区发现的this thread 中提出。然而，这些论点似乎站不住脚。

---

然而，不管是否返回一个对象，没有人会在迭代“完成”后检查一个值，对吧？例如。大多数人都会认为以下内容会记录迭代器返回的所有值：

function logIteratorValues(iterator) {
  var next;
  while(next = iterator.next(), !next.done)
    console.log(next.value)
}

除非它没有，因为即使 done 是 false 迭代器可能仍然返回另一个值。考虑：

function* generator() {
  yield 0;
  return 1;
}

var iterator = generator();
var result0 = iterator.next();
var result1 = iterator.next();

console.log(`${result0.value}, ${result0.done}`) // 0, false
console.log(`${result1.value}, ${result1.done}`) // 1, true

在“完成”之后返回值的迭代器真的是迭代器吗？一只手拍的声音是什么？只是看起来很奇怪......

---

here 是关于我喜欢的生成器的深入帖子。与迭代集合的成员相比，很多时间都花在控制应用程序的流程上。

---

另一种可能的解释是 IEnumerable/IEnumerator 需要两个接口和三个方法，而 JS 社区更喜欢单一方法的简单性。这样他们就不必引入符号方法组的概念，也就是接口......

Answer 1

是否存在跳过next() 分配的对象返回的底层优化？

是的。那些迭代器结果对象很小并且通常是短暂的。特别是在for … of 循环中，编译器可以进行简单的转义分析，以查看对象根本不面向用户代码（而只是内部循环评估代码）。它们可以由垃圾收集器非常有效地处理，甚至可以直接在堆栈上分配。

这里有一些来源：

• JS inherits it functionally-minded iteration protocol from Python，但 with results objects 而不是 the previously favoured StopIteration exceptions
• Performance concerns in the spec discussion (cont'd) 耸了耸肩。如果您实现自定义迭代器并且速度太慢，请尝试使用生成器函数
• （至少对于内置迭代器）these optimisations are already implemented：

  实现出色迭代性能的关键是确保循环中对iterator.next() 的重复调用得到良好优化，并在理想情况下使用存储加载传播等高级编译器技术完全避免分配iterResult，逃逸分析和聚合的标量替换。为了真正发挥性能，优化编译器还应该完全消除 iterator 本身的分配 - iterable[Symbol.iterator]() 调用 - 并直接对可迭代的后备存储进行操作。

Answer 2

Bergi 已经回答了，我已经投了赞成票，我只想补充一下：

您为什么还要担心返回的新对象？它看起来像：

{done: boolean, value: any}

你知道，无论如何你都将使用value，所以这真的不是额外的内存开销。还剩下什么？ done: boolean 和对象本身每个占用最多 8 个字节，这是可能的最小可寻址内存，必须由 cpu 处理并在几皮秒或纳秒内分配到内存中（我认为它是 pico- 考虑到可能存在的v8 优化）。现在，如果您仍然关心浪费 那 量的时间和内存，那么您真的应该考虑从 JS 切换到 Rust+WebAssembly 之类的东西。