Scala tipo inferiore limiti e le covarianza

Question

Im lettura di questa pagina http://www.scala-lang.org/node/137, ho capito che cosa covarianza è e limiti inferiori pure, ma ciò che non è chiaro è questa linea:

Purtroppo, questo programma non si compila, perché un'annotazione di covarianza è possibile solo se la variabile di tipo viene utilizzata solo nelle posizioni covariant . Poiché la variabile di tipo T appare come un tipo di parametro di metodo anteposto, questa regola è interrotta.

perché elem deve essere un'istanza di un supertipo di T, se ListNode è già covariant perché elem non può precedere l'elenco corrente.

Answer 1

class Super    {override def toString = "Super"} 
class Sub extends Super {override def toString = "Sub"; def subMethod {} } 
val sup = new Super 
val sub = new Sub 

Immaginate la seguente fu permesso:

// invalid code 
class Foo[+T] { 
    def bar(x: T) = println(x) 
} 

Dal Foo è covariante su T, questo è valido (un semplice upcast, dal momento che un Foo[Sub] è un Foo[Super]):

val foo : Foo[Super] = new Foo[Sub] { 
    override def bar(x: Sub) = x.subMethod 
} 

Ora foo è, per quanto ne sappiamo, uno Foo[Super] come qualsiasi altro, ma è il suo bar metodo non funziona, perché l'implementazione bar richiede un Sub:

foo.bar(sup) // would cause error!