Scala 中的家族多态性

Question

目前在 Scala 中推荐的家族多态模式是什么？

在尝试游戏建模方法时，最近出现了这种解决方案：

trait Game[G <: Game[G]] {

  type PLAYER <: Player[G]
  type STATE <: State[G]

  def players(): Set[G#PLAYER]

  def startState(): G#STATE
}

trait Player[G <: Game[G]]

trait State[G <: Game[G]] {
  def player(): G#PLAYER
}

一个特定的游戏（本例中是扑克）可以用这些特征来表达，如下所示：

class Poker() extends Game[Poker] {

  type PLAYER = PokerPlayer
  type STATE = PokerState

  val p1 = new PokerPlayer()

  def players() = Set(p1)

  def startState(): PokerState = ...
}

class PokerPlayer() extends Player[Poker]

class PokerState() extends State[Poker] {
  def player(): PokerPlayer = ...
}

我对此设置有几个问题：

1. Game[G <: Game[G]]在英语中的发音是怎样的？ G 和 Game 在这种情况下扮演的角色的名称是什么？ （具体指这种“递归”关系。）

2. 这是“家庭多态”的合理实现吗？在高层次上，我的理解是，这意味着 Game 及其 PLAYER 和 STATE 必须作为一个“家庭”而变化。我在其他地方看到的 Scala 中的族多态性存在很大差异，我不清楚不同的权衡：

   • Scala 概述 (2006) http://www.scala-lang.org/docu/files/ScalaOverview.pdf

   • Martin Kneissl 博客 (2009) http://www.familie-kneissl.org/Members/martin/blog/family-polymorphism-in-scala

3. 欢迎讨论涉及类型类、宏、f 有界多态性或其他任何内容的族多态性方法。

Answer 1

我会质疑是否需要定义特征“外部”的类。 Player 和 State 类型已经依赖于 Game，因此您无需尝试进一步限制它。

trait Game {
  type Player
  type State <: StateLike

  trait StateLike {
    def player: Player
  }

  def startState: State
}

class Poker extends Game {
  class Player
  class State extends StateLike { ... }
  val startState = new State
}

如果需要，您可以使用蛋糕模式将不同的部分分成不同的特征/文件。

trait PokerPlayer extends Game {
  class Player
}
trait PokerState extends Game with PokerPlayer {
  class State extends StateLike { ... }
}
class Poker extends Game with PokerPlayer with PokerState {
  val startState = ...
}