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

发布时间：2020-12-16 19:01:16 所属栏目：安全来源：网络整理

导读：给出以下代码： 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型有不兼

给出以下代码：

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？

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!