scala - 如何获取不可变库的子类的对象(最佳实践)？

Question

假设我们有一个带有类 ImmutableFoo 的不可变库:

scala> class ImmutableFoo(x: Int) {
         def add(y: Int): ImmutableFoo = new ImmutableFoo(x + y)
       }
defined class ImmutableFoo

当然，此类的对象不会通过将 y 添加到 x 来更改其状态，而是创建该类的新对象。到目前为止一切顺利。

现在我们要创建一个不可变的子类。第一次尝试:

scala> class subImmutableFoo(x: Int) extends ImmutableFoo(x)
defined class subImmutableFoo

但是当我们添加一个数字时，我们没有得到子类的对象:

scala> (new subImmutableFoo(5)).add(6)
res0: ImmutableFoo = ImmutableFoo@1ee69d3

解决此问题的最佳实践方法是什么？

一种解决方案可能是重写子类中的方法并创建子类的对象。在这种情况下，该解决方案很简单，但当方法较大时，可能会导致出现大量双重代码(基类+子类)。或者，当我们创建多个子类并重写该方法时，甚至需要更多的双重代码。

Answer 1

在“MyType”模式的变体上，您可以执行以下不使用 list 或反射的操作:

trait Immu[+Repr <: Immu[Repr]] {
   def x: Int
   def add(y: Int): Repr = newInstance(x + y)
   protected def newInstance(x: Int): Repr
}

class Foo(val x: Int) extends Immu[Foo] {
   def show: String = "Immu(" + x + ")"
   protected def newInstance(x: Int) = new Foo(x)
}

class Bar(x0: Int) extends Foo(x0) with Immu[Bar] {
   def mul(y: Int): Bar = newInstance(x * y)
   override protected def newInstance(x: Int) = new Bar(x)
}

new Foo(3).add(4).show
new Bar(3).add(4).mul(2).show

当然，反过来它又假设您不改变所需的构造函数参数的数量。