为什么这个迭代器无限循环？

Question

我正在尝试链接Iterators：

var it = Iterator(1)
it.next
it = Iterator(2) ++ it
it.next
it.hasNext

这在hasNext 上无限循环，您可以在此处看到：https://scastie.scala-lang.org/qbHIVfsFSNO5OYmT4pkutA

如果你运行它并在堆栈无限循环时检查堆栈，它会在内容循环中循环：

        at scala.collection.Iterator$ConcatIterator.merge(Iterator.scala:213)
        at scala.collection.Iterator$ConcatIterator.advance(Iterator.scala:197)
        at scala.collection.Iterator$ConcatIterator.hasNext(Iterator.scala:227)

（此堆栈来自 Scala 2.12.11，但 Scastie 链接在 2.13.2 中显示相同的行为）。

我知道在迭代器上调用方法后永远不应该使用它，但这似乎对我有用。使用var 指向“当前”迭代器并将其更改为指向一个新的迭代器，该迭代器附加前一个迭代器的其余部分。

以下轻微修改确实有效：

var it = Iterator(1)
it.next
val x = it
it = Iterator(2) ++ x
it.next
it.hasNext

Scastie 链接：https://scastie.scala-lang.org/1X0jslb8T3WIFLHamspYAg

这向我表明，以某种方式损坏的版本正在创建一个附加自身的迭代器。关于这里发生了什么的任何提示？

Answer 1

Iterator 的++ 方法的参数是按名称传递的。 ++ 返回一个新的 Iterator，它只存储一个返回 it 的函数，但在您尝试使用附加元素之前不会调用它。

所以++ 仅在您调用it.hasNext 时才尝试评估参数，但到那时it 已经被重新定义为++ 的结果，因此它最终尝试将it 附加到自身.

换句话说，vars 和 by-name 参数不能一起使用。

所以不要将Iterator 方法结果重新分配给同一个变量，而是给它们新的名称：

val it = Iterator(1)
it.next
val it2 = Iterator(2) ++ it
it2.next
it2.hasNext