vọt Scala thấp hơn loại và hiệp phương sai

Question

Im đọc trang này http://www.scala-lang.org/node/137, tôi hiểu hiệp phương sai là gì và cận dưới là tốt, nhưng những gì nó không rõ ràng là dòng này:

Thật không may, chương trình này không biên dịch, vì hiệp phương sai chỉ có thể xảy ra nếu biến kiểu chỉ được sử dụng trong các vị trí biến đổi . Vì biến kiểu T xuất hiện dưới dạng kiểu tham số của phương thức thêm, quy tắc này bị hỏng.

tại sao elem phải là một thể hiện của một siêu kiểu của T, nếu ListNode đã hiệp biến tại sao elem không thể được thêm vào phía trước danh sách hiện hành.

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 

Hãy tưởng tượng sau đây được phép:

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

Kể từ Foo là hiệp biến trên T, đây là hợp lệ (một bị ném lên trời đơn giản, vì một Foo[Sub] là một Foo[Super]):

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

Bây giờ, foo, theo như chúng tôi biết, Foo[Super] giống như bất kỳ hình thức nào khác, nhưng bar của nó phương pháp này sẽ không hoạt động, vì việc triển khai bar yêu cầu một số Sub:

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