Pourquoi l'option prolonge pas le trait Iterable directement?

Question

Option est implicitement convertible en une Iterable - mais pourquoi il ne se contente pas simplement de mettre en œuvre Iterable directement:

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
}

EDIT: En fait, il est même Weider que parce que dans 2,8 Option ne déclare une méthode iterator :

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

Answer 1

Je pense qu'il y avait trop de méthodes non insensées qui seraient nécessaires. Par exemple, qu'est-ce que vous vous attendez à la valeur de retour pour être:

Some(1) ++ Some(2)

Il compile actuellement et évalue à la liste (1,2) par l'intermédiaire implicits à 2,8, mais il semble étrange.

Peut-être est la raison pour laquelle les commentaires de doc à 2.7 disent:

Only potentially unbounded collections should directly sub-class Iterable

Modifier Comme le montre @ commentaire de MichelR ci-dessous, me laissant la recommandation doc-commentaire à la collection sous-type est potentiellement trompeur. Et considérant cette question se transforme en « Pourquoi l'option prolonge pas le trait de collection? »