scala - 不可变类层次结构中的多态更新

Question

我希望能够根据具体类可能具有的各种属性从特征中组装域对象。当我的对象是可变的时，这非常简单。例如:

trait HasHitPoints { var hitPoints: Int = 100 }
trait HasBearing { var bearing: Double = 0 }

class Ship extends HasHitPoints with HasBearing
class Base extends HasHitPoints

val entities = new Ship :: new Base :: Nil
entities.collect { case h: HasHitPoints => h.hitPoints += 10 }

特别是，我可以多态地读取或更新任何 HasHitPoints实例而不知 Prop 体类型。

用不可变对象(immutable对象)实现这一点的最佳方法是什么？如果我很高兴只阅读属性，那么我可以执行以下操作:

trait HasHitPoints { val hitPoints: Int }
trait HasBearing { val bearing: Double }

case class Ship(hitPoints: Int, bearing: Double) extends HasHitPoints with HasBearing
case class Base(hitPoints: Int) extends HasHitPoints

val things = Ship(50, 0) :: Base(100) :: Nil

val totalHitPoints = things.collect { case h: HasHitPoints => h.hitPoints }.sum

此外，我可以使用 copy 轻松修改具体类如果我知道确切的类型。困难的部分是更新任意 HasHitPoints ， 例如。如果我有很多具体的类，以及我可能想要混合的很多不同的属性，那么避免样板代码爆炸的最佳方案是什么？

Answer 1

你可能有一些运气添加例如将 def withHitPoints(points: Int) 方法抽象为您的特征，该方法返回具有不同属性值的容器对象的副本。这将使用减少到类似:

val damagedActors = actors map { actor => actor.withHitPoints( actor.hitPoints - 10 ) }

但是否则每个具体类的每个属性都需要一个额外的方法，所以我不确定它是否真的解决了你的问题。对于像 Scala 这样的静态语言来说，这感觉不合适(我也不会为这个特定用例的不变性而烦恼)；这里的不可变解决方案可能是动态语言的更好候选者。