Lý do cú pháp tham số kiểu này không biên dịch là gì?

Question

Nói rằng tôi có:

class Class[CC[A, B]] 
class Thing[A, B <: Int] 
class Test extends Class[Thing] // compile error here 

tôi nhận được lỗi biên dịch:

kinds of the type arguments (cspsolver.Thing) do not conform to the expected kinds of the type parameters (type CC) in class Class. cspsolver.
Thing's type parameters do not match type CC's expected parameters: type C's bounds <: Int are stricter than type B's declared bounds >: Nothing <: Any

Tuy nhiên khi tôi thay đổi mã như vậy mà nó trông như thế này:

class Class[CC[A, B]] 
class Thing[A, B] { 
    type B <: Int 
} 
class Test extends Class[Thing] 

nó biên dịch tốt. Cả hai đều không có chức năng tương đương?

Answer 1

Lý do được đưa ra trong thông điệp trình biên dịch. Trong số Class, bạn mong đợi một số không giới hạn CC, trong khi Thing có giới hạn đối số loại thứ hai phải là <: Int. Một khả năng là để thêm các hạn chế tương tự để Class như trong

class Class[CC[A,B <: Int]] 
class Thing[A, B <: Int] 
class Test extends Class[Thing] 

Answer 2

Xây dựng trên giải thích Petr Pudlák của, đây là những gì tôi giả xảy ra: Trình biên dịch cố gắng thống nhất CC[A, B] với Thing[A, B <: Int]. Theo tuyên bố của B trong số CC, B của loại giới hạn trên là Any, được chọn để khởi tạo B. Tuy nhiên, B trong số Thing được mong đợi có một mức ràng buộc loại trên và do đó trình biên dịch không thành công với thông báo lỗi mà bạn nhận được.

Điều này là cần thiết để bảo toàn tính hợp lý của hệ thống kiểu, như được minh họa trong bản phác thảo sau. Giả sử rằng Thing định nghĩa một hoạt động dựa trên thực tế là nó B <: Int, ví dụ:

class Thing[A, B <: Int] { 
    def f(b: B) = 2 * b 
} 

Nếu bạn tuyên bố Class như

class Class[CC[A,B]] { 
    val c: CC 
} 

và Test như

class Test extends Class[Thing] { 
    val t: Thing 
} 

mà không trình biên dịch phàn nàn , sau đó bạn có thể thực hiện cuộc gọi sau

new Test().t.f(true) 

rõ ràng là không an toàn.