装饰实例的新实例

Question

我有一组装饰器特征（为了简单起见，这里只有特征 T）混合在类（这里是 A 的子类）中。

trait T { def i: Int }
abstract class A
type AT = A with T
class B extends A
// class C extends A
// class D extends A
// ...

Now I have an instance a of e.g. class B which I handle as an instance of type AT (together with other A-subclass-AT-instances in a Seq[AT]).

val a: AT = new B with T { val i = 8 }

How can I generically decorate like this:

def toAT(a: A, i: Int): AT = {
 // how to ???
}

An obvious solution I thought about is:

trait T { def i: Int }
abstract class A {
  def asAT(i: Int): AT
}
class B extends A {
  def asAT(ii: Int): AT = new B with T { val i = ii }
}
type AT = A with T
def toAT(a: A, i: Int): AT = a.asAT(i)

But I don´t want to pollute my classes B, C, ..., Z with a new method and there are other decorations, so for every decoration-combo I need a new method for all subclasses! Is there a more generic way?

编辑： 为什么我需要 toAT 方法，但仍然使用上面的 redecorated 方法的明显解决方案方法的示例：

trait T { def b: Boolean}
type AT = A with T
abstract class A(val i: Int) {
  def changedBy(x: Int): A
  def redecorated(oldAT: AT): AT
}
class B(x: Int) extends A(x) {
  def changedBy(x: Int): A = new B(i * x) 
  def redecorated(oldAT: AT): AT = new B(i) with T { val b = oldAT.b }
}
class C(x: Int) extends A(x) {
  def changedBy(x: Int): A = new C(i * x * x) 
  def redecorated(oldAT: AT): AT = new C(i) with T { val b = oldAT.b }
}
val b = new B(1) with T { val b = true  }
val c = new C(1) with T { val b = false }
val x = 8
val res: Seq[AT] = Seq(b,c) map { at => at.changedBy(x).redecorated(at) }

Answer 1

基本上，你做不到。

一种替代方法是使用 自动代理插件，作者：凯文赖特。另请参阅此处和此处了解更多信息。