理解类型参数不符合类类型参数边界错误时使用更高类型类型参数

Question

我试图理解为什么当我在MyModel中为T使用更高类型的参数时，以下代码无法编译

abstract class Model[M <: Model[M]]

class MyModel[T] extends Model[MyModel[T]]

class Bar[TModel <: Model[TModel]]

object Foo extends App {

  new Bar[MyModel[_]]

}

但是如果我把它改成< code > new Bar[my model[Any]]它就会编译。这是为什么呢？

Answer 1

< code>Bar[MyModel[_]]是< code > Bar[my model[X]for some { type X }]。

（它不应该与Bar[MyModel[X]]forSome {type X}或Bar[MyModel[X forSome {type X}]]混淆，后者只是Bar[MyModel[Any]]。这是三种不同的类型。

Bar[MyModel[X] forSome {type X}] （aka Bar[MyModel[_]]） 無法編輯，因為 MyModel[X] forSome {type X} （又名 MyModel[_]） 不滿足 Bar 的條件 TModel

implicitly[(MyModel[X] forSome {type X}) <:< Model[MyModel[X] forSome {type X}]]

不编译（X 向左从

但是如果你做模型协变抽象类模型[ M

Bar[MyModel[Any]] 编译，因为 MyModel[Any] 满足 Bar 的条件 TModel

implicitly[MyModel[Any] <:< Model[MyModel[Any]]]

编译）。