假设我有一个基类
abstract class Base {
type B<: Base
def rep:String
def copy:B
}
class MyBase(override val rep:String) extends Base {
type B = MyBase
override def copy = new MyBase(rep)
}
然后我尝试添加另一个特性作为mixin,我希望复制的返回类型是适当的类型(意味着在mixin上调用copy会返回mixin类型,通过将B设置为适当的类型).我无法编译,甚至无法理解override关键字的位置.
编辑：我已经改进了这个例子
abstract class Base {
type B <: Base
def rep:String
def copy:B
}
class MyBase(val rep:String) extends Base {
type B = MyBase
def copy = new MyBase(rep)
}
trait DecBase extends Base {
abstract override def rep = "Rep: "+super.rep
}
我的问题是,如何为DecBase声明一个合适的B类和复制方法,以便该副本返回一个DecBase,而且,为什么不编译？
println(((new MyBase("ofer") with DecBase)).rep)
这是我在Java中可以实现的(带有一些肮脏,使用递归泛型类型).我确信在Scala中做一些更好的事情是可能的.
编辑
运用
trait DecBase extends Base {
override type B = DecBase
abstract override val rep= "Dec:"+super.rep
abstract override def copy = new MyBase(rep) with DecBase
}
我得到以下编译器错误
error: overriding type B in class MyBase,which equals com.amadesa.scripts.MyBase;
type B in trait DecBase,which equals com.amadesa.scripts.DecBase has incompatible type
println(((new MyBase("ofer") with DecBase)).rep)
error: overriding type B in class MyBase,which equals com.amadesa.scripts.DecBase has incompatible type
abstract override def copy = new MyBase(rep) with DecBase
解决方法
我假设你的混音看起来像这样
trait MixIn extends Base {
override B = MixinBase
override def copy = new MixinBase(rep)
}
我认为MyBase上的覆盖是问题的一部分.这是不必要的,并使编译器感到困惑.
如果Base上的副本实际上有一个实现,需要进行覆盖,则需要告诉编译器使用哪种方法.如果它不明显,它会抛出手并引发错误.试试这个.
val b = new MyBase(rep) with MixIn {
override def copy = MixIn.super.copy
}
MixIn.super.copy是对您想要的调用.
您可能希望在Scala Class Linearization上查看此页面,以了解在类型中进行方法的竞争实现时会发生什么.
编辑：哦,这是一个完全不同的问题.在MyBase(val rep：String)的情况下是val.您不能使用def覆盖val,因为假定val是不可变的.您可以使用val覆盖def或var,但不能反过来.做了：
trait DecBase extends Base {
abstract override val rep = "Rep: "+super.rep
}
请在下次包含编译器错误.它使得查看问题变得容易得多.
