Traits 可以用来在 Scala 中构建游戏组件系统吗？

Question

我只是想知道使用特征来构建游戏对象在语义上是否正确。一方面，我将其视为具有关系（对象具有组件），但另一方面，我将组件视为组成对象。

例如。你有一个游戏对象。游戏对象本身几乎不执行任何操作，但混合到其中的东西会赋予它额外的属性。组件可以是 HealthComponent（有生命值）、PhysicsComponent（模拟物理）、ClickableComponent（可以点击）。

我喜欢使用特征的想法，因为所有属性和方法都添加到原始对象上，并且我可以执行 player.getHP 而不是 player.getHealthComponent.getHP。另一方面，我发现使用特征的命名和语义很奇怪。 trait HealthComponent extends GameObject - 这没有意义。 HealthComponent 属于 GameObject，它不满足 extend 隐含的是关系。我假设特征通常被视为其父类的特殊版本是否正确？如果是这样，我该如何命名类似上面的对象？

Answer 1

补充 @Moritz 的回答，也可以堆叠相关行为而不从超类型继承实现：

trait HasFoo { def foo: Unit }

class GameObject extends HasFoo {
   def foo = {}
}

trait Health extends HasFoo { 
   self: GameObject =>

   abstract override def foo = {
      println("health foo")
      super.foo
   }
}

trait Dog extends HasFoo { 
   self: GameObject =>

   abstract override def foo = {
      println("dog foo")
      super.foo
   }
}

scala> val g = new GameObject with Health with Dog
g: GameObject with Health with Dog = $anon$1@33b7b32c

scala> g.foo
dog foo
health foo

Answer 2

如果你想限制你的特征可以混合的类型，你可以将依赖关系表达为自类型：

trait Health { self: GameObject =>
 // ...
}

class Player extends GameObject with Movement with Health

这样你的特征就不会扩展GameObject，但只能用作子类型的混合游戏对象。

另请参阅了解 Scala 的蛋糕模式和链接的文章。

Answer 3

“trait HealthComponent extends GameObject- 这没有意义。HealthComponent`属于 GameObject” - 你想要的是自我类型 ，并根据蛋糕模式进行构建：

• http://jonasboner.com/2008/10/06/real-world-scala-dependency-injection-di.html
• 自我类型和特质子类之间有什么区别？

所以你有

trait HealthComponent {
   me: GameObject =>

   def inspect { me.querySomeGameObjectProperty }
}

val x = new GameObject with HealthComponent with ...

“我正确吗 ？假设特征通常被视为其父类的特殊版本？” ——我不会这么说。如果您采用如上所述的自下而上的方法，您不会认为特征是某些父母的子类型，而是相反（较大的组件由特征组成并由特征专门化）