在Scala中引用特征中的子类型

Question

由于Scala中对泛型的广泛支持，实现以下循环参数边界的最佳方法是什么，C中的Command[A, C]是其自身的子类型（即UserCommand或SystemCommand）？

注意：我省略了C的下/上类型边界 - 正如问题所暗示的，我不确定如何以编译的方式表达这一点，或者我是否在Scala中特别缺少某个功能旨在解决这类循环问题。

trait CommandPrerequisite[-A, +C] {
   val command: C
   def isValid(aggregate: A): Boolean
}

trait Command[A, C] {
   def prerequisites: List[CommandPrerequisite[A, C]]
}

trait SystemCommand extends Command[System, SystemCommand] {
   // System specific definitions.
}

trait UserCommand extends Command[User, UserCommand] {
   // User specific definitions.
}

Answer 1

您可能想要 f-bounded多态。您需要更改的是trait Command：

的签名

trait Command[A, C <: Command[A, C]] {