Tại sao việc ghi đè loại trừu tượng đã triển khai không thể thực hiện được?

Question

Với đoạn mã sau:

class A { 

    class B 

    type C <: B 

    trait D 

} 

class E extends A { 

    type C = B 

} 

class F extends E { 

    override type C = B with D 

} 

Tại sao biên dịch trình bày Scala IDE trong Eclipse Indigo IDE phàn nàn với thông báo lỗi trọng loại C trong lớp E, bằng F.this.B; loại C có loại không tương thích?

Sau khi tất cả các lớp "B" chỉ được "sửa đổi" với đặc điểm "D" và do đó hai định nghĩa loại có cùng loại cơ sở, là "B". Do đó định nghĩa kiểu tương thích.

Mã bên dưới hoạt động. Tôi xem xét các quy tắc về phân công loại tương tự như chuyển nhượng biến, chẳng hạn như:

class Foo 

trait Bar 

val a: Foo = new Foo 

val fooWithBar: Foo = new Foo with Bar 

Tôi hiểu sai?

Answer 1

Họ không tương thích, loại C có thể được sử dụng ở một vị trí contravariant

class E extends A { 
    type C = B 
    def f(c: C) 
} 


class F extends E { 
    override type C = B with D 
    def f(c: ???) 
} 

---

Complement cho e: E, bạn được phép gọi e.f(new B). Điều gì xảy ra nếu e là val e = new F?