Pourquoi scala Liste pourrait prendre le type covariant comme paramenter dans la méthode + =

Question

Scala liste est déclarée comme

sealed abstract class List[+A] extends AbstractSeq[A] with LinearSeq[A] with  Product with GenericTraversableTemplate[A, List] with LinearSeqOptimized[A, List[A]] with java.io.Serializable 

La méthode préfixer un élément à une liste est déclarée comme

def +:(elem: A): List[A] 

type A est covariant, pourquoi le compilateur ne se plaint pas puisque A apparaît dans la position contravariante dans +:?

Answer 1

Parce que sa signature est pleine:

def +:[B >: A, That](elem: B)(implicit bf: CanBuildFrom[List[A], B, That]): That 

Le document que vous avez mentionné dans la question est simplement celle simplifiée, vous devez vérifier la signature complète de la méthode.