scala – 为什么覆盖已经实现的抽象类型是不可能的？

给出以下代码：

class A {

  class B

  type C <: B

  trait D

}

class E extends A {

  type C = B

}

class F extends E {

  override type C = B with D

}

为什么Eclipse Indigo IDE中的Scala IDE的演示文稿编译器会抱怨类E中的错误消息覆盖类型C,等于F.this.B; C型有不兼容的类型吗？

所有类“B”只用“D”特征进行“修改”,因此两种类型定义的基类型相同,即“B”.因此兼容类型定义.

下面的代码工作.我认为类型赋值的规则类似于变量赋值,如：

class Foo

trait Bar

val a: Foo =  new Foo

val fooWithBar: Foo = new Foo with Bar

我的理解错了吗？

解决方法

它们不兼容,C型可能被用于逆转的位置

class E extends A {
  type C = B
  def f(c: C)
}


class F extends E {
  override type C = B with D 
  def f(c: ???)
}

补充给定e：E,您可以打电话给e.f(新B).如果e是val = =新F？