Pourquoi l'option prolonge pas le trait Iterable directement?
-
25-09-2019 - |
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)
La solution
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? »