给出以下代码：
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？
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
