考虑下面的代码:
trait A {
def work = { "x" }
}
trait B {
def work = { 1 }
}
class C extends A with B {
override def work = super[A].work
}
类C
不会在 scala 2.10 中编译,因为“在类型 => String 的 trait A 中覆盖方法工作;方法工作具有不兼容的类型”。
如何选择一种具体的方法?
考虑下面的代码:
trait A {
def work = { "x" }
}
trait B {
def work = { 1 }
}
class C extends A with B {
override def work = super[A].work
}
类C
不会在 scala 2.10 中编译,因为“在类型 => String 的 trait A 中覆盖方法工作;方法工作具有不兼容的类型”。
如何选择一种具体的方法?
恐怕没有办法做到这一点。该super[A].work
方法仅在A
并且B
具有相同的返回类型时才有效。
考虑一下:
class D extends B
....
val test: List[B] = List(new C(), new D())
test.map(b => b.work) //oops - C returns a String, D returns an Int
你不能在 Scala 中做到这一点。
解决此问题的方法是将特征用作协作者
trait A {
def work = { "x" }
}
trait B {
def work = { 1 }
}
class C {
val a = new A { }
val b = new B { }
a.work
b.work
}
如果它们声明了具有相同名称和不兼容签名的方法,A
Scala只会阻止您将它们混合在一起。B
你不能那样做。
看这段代码:
val c = new C
val a: A = c
val b: B = c
这两条线都无法正常工作:
val s: String = a.work
val i: Int = b.work
如果我们允许这样的代码编译,其中一个分配将不得不以ClassCastException
另一种方式抛出或失败。因此,根本不可能解决这种冲突。
我想你必须通过某种形式的委派来解决这个问题,也许是这样的:
class C extends A {
def toB = new B {
//implement B methods by somehow delegating them to C instance
}
}