granice Scala niższy typ i kowariancji

Question

Im czytanie tej strony http://www.scala-lang.org/node/137, rozumiem co kowariancji jest i dolne granice, jak również, ale to, co nie jest jasne, czy to linia:

Niestety, ten program nie kompiluje, ponieważ Adnotacja kowariancji jest możliwa tylko wtedy, gdy zmienna typu jest używana tylko w kowariantnych pozycjach . Ponieważ zmienna typu T pojawia się jako typ parametru metody przedawnienia, ta reguła jest zepsuta.

dlaczego elem musi być instancją supertypem z T, jeśli ListNode jest już kowariantna dlaczego elem nie może zostać dołączona do bieżącej listy.

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 

Wyobraźmy sobie następującą pozwolono:

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

Od Foo jest kowariantna na T ta jest ważna (prosty uskok, ponieważ Foo[Sub] jest Foo[Super]):

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

Teraz foo jest, o ile nam wiadomo, Foo[Super] jak każdy inny, ale jego bar metoda nie zadziała, ponieważ realizacja bar wymaga Sub:

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