Lỗi trong hệ thống kiểu của Scala?

Question

Mã scala sau có vẻ là hợp lệ:

class A[X] 
class C[M[X] <: A[X]] 

class Main 

new C[A] 

tôi mong đợi các trình biên dịch để thực hiện suy luận kiểu trên loại A, nhưng sau khi tôi thử như sau:

new C[A[Int]] 

tôi nhận được thông báo lỗi sau :

(fragment of Main.scala):11: error: this.A[Int] takes no type parameters, expected: one 
println(new C[A[Int]]) 

Answer 1

Bạn không khai báo X làm thông số loại cho C. Hãy thử các cách sau:

class C[X, M[X] <: A[X]] 

Answer 2

Hãy thử cú pháp này.

class C[M <: A[_]] 

Điều này có nghĩa là C là lớp có một tham số kiểu, phải là một phân lớp của A và có một tham số kiểu.

Answer 3

Hãy xem ý nghĩa của điều này bằng tiếng Anh đơn giản.

class A[X] 

có nghĩa là: hãy là một lớp có một tham số loại.

class C[M[X] <: A[X]] 

có nghĩa là: hãy C là một lớp mà có một tham số kiểu, mà phải là một lớp mà có một tham số kiểu AND, tham số, là một lớp con của lớp Một tham số với cùng một loại.

Khi bạn viết

new C[A] 

bạn đang nói: tạo một thể hiện của C với A như tham số. A có tuân theo các tiêu chí trên không? Có, đó là một lớp có một tham số kiểu, và tham số hóa nó là một lớp con của chính nó được tham số hóa.

Tuy nhiên, khi bạn viết

new C[A[Int]] 

tham số kiểu bạn đang cố gắng để cung cấp cho C, A [Int], không phù hợp với các tiêu chí: A [Int] không mất bất kỳ thông số chủng loại, mà trình biên dịch vui lòng cho bạn biết. (Và nó cũng không phải là phân lớp của A [X].)

Answer 4

Bạn không phải lớp học của mình có tham số loại ONE, bạn sẽ không mất hai! Hai giải pháp khả thi:

class A[X] { 
    type T = X 
} 
class C[M <: A[_]] { 
    //use M#T if you want the type T was parameterized with. 
} 

Hoặc, bạn có thể làm:

class A[X] 
class C[T, M[A] <: A[A]] { 
    //when you want the type, write M[T], not M. 
} 

TUY NHIÊN, những gì bạn có thể muốn này là:

class A[X] 
class C[M <: A[_]] 

Answer 5

Đó là tất cả giải thích here, tập trung vào "chung Cạm bẫy "phần vì nó là khá TLTR.