Scala 类型系统中的错误？

Question

下面的scala代码似乎是有效的：

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

class Main

new C[A]

我期望编译器对类型A执行类型推断，但是在我尝试以下操作之后：

new C[A[Int]]

我收到以下错误消息：

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

Answer 1

让我们看看这用简单的英语意味着什么。

class A[X]

意思是：设 A 是一个带有一个类型参数的类。

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

意思是：设 C 是一个采用一个类型参数的类，它应该是一个采用一个类型参数的类，并且参数化后是具有相同类型参数化的类 A 的子类。

当您编写时

new C[A]

，您是在说：创建一个以 A 作为参数的 C 实例。 A 是否符合上述标准？是的，它是一个带有一个类型参数的类，并且参数化它是参数化本身的子类。

但是，当您编写

new C[A[Int]]

类型参数时，您尝试给 C A[Int] 提供的类型参数不符合标准：A[Int] 不采用任何类型参数，编译器会善意地告诉您这一点。 （它也不是 A[X] 的子类。）

Answer 2

试试这个语法。

class C[M <: A[_]]

这意味着 C 是一个带有一个类型参数的类，它应该是 A 的子类并且带有一个类型参数。

Answer 3

您没有将 X 声明为 C 的类型参数。请尝试以下操作：

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

Answer 4

您不希望您的类采用一个类型参数，您不希望它采用两个！两种可能的解决方案：

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

或者，您可以这样做：

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

但是，您可能想要的是：

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

Answer 5

一切都在此处进行了解释，重点关注“常见陷阱”部分，因为它非常长。