为什么这是无效的 Scala？

Question

我正在使用抽象类型，我想知道为什么这是无效的：

class A {}
class B extends A {}

class X {type T = A}
class Y extends X {override type T = B}

作为B <: a>

我得到这个错误：

overriding type T in class X, which equals A;
 type T has incompatible type
class Y extends X {override type T = B}

任何帮助将不胜感激。

Answer 1

当你这样说时：

class X {type T = A}

你说：T 完全是 A 或T 是A 的别名。不能是其他任何东西，包括A 的子类型。

你可能是这个意思：

class X {type T <: A}