Scala:如何强制提供类型

Question

假设我们有以下特征和类定义

trait Model extends Product
class X[T <: Model] {}

给出上述我可以创建 X 的实例如下。

val x = new X

编译器没有提示。在这种情况下推断的类型是 Nothing .我想知道如何在编译时防止这种情况发生，以便在不提供显式类型的情况下不允许创建 X 的实例，即 Model 的子类型?

Answer 1

class X[T <: Model] {}类定义意味着 T类型的上限为 Model类型。和 Nothing是所有其余类型的子类型。这就是 Scala 编译器不提示的原因。

制作类型 T的 class X一个逆变为

class X[-T <: Model] {}

所以当你定义

val x = new X 

它被 Scala 编译器视为

x: X[Model] = X@7c9bdee9