在 Scala 2.8 集合中，为什么在 Iterable 之上添加 Traversable 类型？

Question

我知道要实现 Traversable，您只需要一个 foreach 方法。 Iterable 需要一个iterator 方法。

Scala 2.8 集合 SID 和“Fighting Bitrot with Types”论文基本上都没有提及为什么添加 Traversable 的主题。 SID 只说“David McIver...提出 Traversable 作为 Iterable 的泛化。”

我从 IRC 的讨论中隐约了解到，它与集合遍历终止时回收资源有关？

以下内容可能与我的问题有关。 TraversableLike.scala 中有一些看起来很奇怪的函数定义，例如：

def isEmpty: Boolean = {
  var result = true
  breakable {
    for (x <- this) {
      result = false
      break
    }
  }
  result
}

我认为有一个很好的理由不只是写成：

def isEmpty: Boolean = {
  for (x <- this)
    return false
  true
}

Answer 1

我在 IRC 上向 David McIver 询问了此事。他说他不再记得所有的原因，但其中包括：

• “迭代器通常很烦人......实现”

• 迭代器是“有时不安全（由于循环开始和结束时的设置/拆卸）”

• 希望提高效率通过 foreach 而不是通过迭代器实现某些东西的收益（收益不一定尚未通过当前的 HotSpot 编译器实际证明）

Answer 2

我怀疑一个原因是，使用抽象的 foreach 方法为集合编写具体实现比使用抽象的迭代器方法要容易得多。例如，在 C# 中，您可以将 IEnumerable 的 GetEnumerator 方法的实现编写为 foreach 方法：（

IEnumerator<T> GetEnumerator() 
{
    yield return t1;
    yield return t2;
    yield return t3;
}

编译器生成一个适当的状态机来驱动通过 IEnumerator 的迭代。）在 Scala 中，您必须编写自己的 Iterator[T] 实现来执行此操作。对于 Traversable，您可以执行与上述实现相同的操作：

def foreach[U](f: A => U): Unit = {
  f(t1); f(t2); f(t3)
}

Answer 3

只是关于你的最后一个问题：

def isEmpty: Boolean = {
  for (x <- this)
    return false
  true
}

编译器将其粗略地翻译为：

def isEmpty: Boolean = {
  this.foreach(x => return false)
  true
}

所以你根本无法突破 foreach，isEmpty 将始终返回 true。

这就是为什么构造了“hacky”Breakable，它通过抛出 Control-Exception 来突破 foreach，在 breakable 中捕获它并返回。