为什么这是无效的 Scala? [英] Why is this invalid Scala?

问题描述

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

I'm working with abstract types, and I'm wondering why this is invalid:

class A {}
class B extends A {}

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

看到 B <: A，为什么我不能将 B 分配给 T?

Seeing as B <: A, why can't I assign B to T?

我收到此错误:

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

任何帮助将不胜感激.

推荐答案

当你这样说时:

class X {type T = A}

你说:T 正是 A 或 T 是 A 的别名代码>.它不能是其他任何东西，包括 A 的子类型.

you say: T is exactly A or T is an alias for A. It can't be anything else, including subtypes of A.

你可能是这个意思:

class X {type T <: A}

这篇关于为什么这是无效的 Scala?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！