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

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特征？"