Question

Option可以隐式转换为Iterable - 但为什么它不只是直接实现Iterable：

def iterator = new Iterator[A] {
  var end = !isDefined
  def next() = {
    val n = if (end) throw new NoSuchElementException() else get
    end = true
    n
  }

  def hasNext = !end
}

编辑： 事实上，它甚至比那更明显，因为2.8 Option确实声明了iterator方法：

def iterator: Iterator[A] = 
  if (isEmpty) Iterator.empty else Iterator.single(this.get)

Answer 1

我认为有太多非荒谬的方法需要。例如，您期望返回值是什么：

Some(1) ++ Some(2)

目前通过2.8中的含义编译并评估List（1,2），但看起来很奇怪。

也许这就是为什么2.7中的文档评论说：

Only potentially unbounded collections should directly sub-class Iterable

编辑如下面@ MattR的评论所示，我将文档评论建议遗漏给子类型集合可能会产生误导。并且考虑到它将这个问题变成了“为什么Option不扩展Collection特征？”

为什么Option不直接扩展Iterable特征？

1 个答案: