Scala:如何在超类上实现克隆方法,并在子类中使用它?

Ale*_*ack 6 scala

我可能会以错误的方式接近这个,但我希望有一个像这样的对象:

class MyDataStructure {
  def myClone = {
    val clone = new MyDataStructure
    // do stuff to make clone the same as this
    ...
    clone
  }
}

class MyDataStructureExtended(val foo: String) extends MyDataStructure
Run Code Online (Sandbox Code Playgroud)

然后:

val data = MyDataStructureExtended
val dataClone = data.clone
println(dataClone.foo)
Run Code Online (Sandbox Code Playgroud)

所以,问题是dataClone的类型是MyDataStructure,而不是我希望的MyDataStructureExtended.

我想过将类型T添加到超类中,子类可以指定(例如它自己),但这似乎不太有希望.

far*_*ran 5

正如您所建议的那样,抽象类型或通用参数是您所需要的.您是否要求MyDataStructure不是特征或抽象类?以下将MyDataStructure定义为抽象类,但您也可以将其作为特征.

abstract class MyDataStructure {
  type T
  def myClone: T
}

class MyDataStructureExtended(foo: String) extends MyDataStructure {
  type T = MyDataStructureExtended
  def myClone = new MyDataStructureExtended(foo)
}
Run Code Online (Sandbox Code Playgroud)

Scala解释器的结果显示MyDataStructureExtended中定义的myClone方法是正确的类型.

scala> val mde = new MyDataStructureExtended("foo")
val mde = new MyDataStructureExtended("foo")
mde: MyDataStructureExtended = MyDataStructureExtended@3ff5d699
scala> val cloned = mde.myClone
val cloned = mde.myClone
cloned: MyDataStructureExtended = MyDataStructureExtended@2e1ed620
Run Code Online (Sandbox Code Playgroud)

您可能希望限制T,使其类型只能是MyDataStructure子类的类型

abstract class MyDataStructure {
  type T <: MyDataStructure
  def myClone: T
}
Run Code Online (Sandbox Code Playgroud)

我不知道您的要求,但我相信Scala 2.8将具有一些很好的功能,包括案例类和命名参数,允许用复制方法克隆案例类.


Mit*_*ins 4

假设您想尽量减少子类中的仪式量,这是我的建议:

class A extends Cloneable {
  protected[this] def myCloneImpl[T] = {
    val justLikeMe = this.clone
    // copy values and such.
    // Note that the Object.clone method already made a shallow copy, but you may want
    // to deepen the copy or do other operations.
    justLikeMe.asInstanceOf[T]
  }
  def myClone = myCloneImpl[A]
}

class B extends A {
  override def myClone = myCloneImpl[B]
}
Run Code Online (Sandbox Code Playgroud)

通过扩展 java.lang.Cloneable 并调用 Object.clone 方法,可以确保运行时类型与被克隆的对象相同。静态类型通过类型转换 (asInstanceOf[T]) 进行强制。您需要重写每个子类中的 myClone 方法并指定类型,但它应该是单行的。