这种类型参数语法无法编译的原因是什么？

Question

说我有：

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

我得到编译器错误：

类型参数的种类 (cspsolver.Thing) 不符合 Class 类中类型参数的预期种类 (CC 类型)。 cspsolver.
Thing 的类型参数与类型 CC 的预期参数不匹配：类型 C 的边界 ：Nothing

但是，当我修改代码使其看起来像这样时：

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

它编译得很好。它们在功能上不是等效的吗？

Answer 1

原因在编译器消息中给出。在Class 中，您需要一个不受限制的CC，而Thing 有第二个类型参数必须是<: Int 的限制。一种可能性是向Class 添加相同的约束，如

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

Answer 2

详细阐述 Petr Pudlák 的解释，这是我假设发生的情况：编译器尝试将 CC[A, B] 与 Thing[A, B <: Int] 统一起来。根据CC中B的声明，B的上界为Any，被选为实例化B。但是，Thing 中的 B 应该具有 Int 的上限类型绑定，因此编译器会失败并显示您收到的错误消息。

为了保持类型系统的健全性，这是必要的，如下图所示。假设Thing 定义了一个依赖于它的B <: Int 的操作，例如，

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

如果您将Class 声明为

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

和Test 一样

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

没有编译器抱怨，那么您可以进行以下调用

new Test().t.f(true)

这显然不安全。