引用亚型性状内斯卡拉

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-界多态性。您需要更改的是trait Command的签名：

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