Question

scala中是否有任何方法可以将特征的自我类型定义为案例类，如“任何案例类”？我希望自我类型能够使用案例类的.copy方法，强制其自身类型是某些案例类而不是常规类。我认为，结构类型无济于事，因为它们需要包含特定参数的签名（对于任何案例类，我通常可能不是结构类型）。

请放弃“如果你需要你一定做错了什么”，因为我已经开始了，但我的api设计 - 如果以上可能的话会更加光滑。我也很好奇下一次。

Answer 1

这只能使用（如你所建议的）结构类型，也只能用于固定已知的case类参数类型序列（你需要copy的确切签名）。例如：

trait InCase[Repr] {
  self: { def copy(foo: Int): Repr } =>

  def test(foo: Int): Repr = copy(foo)
}

case class Fail(foo: Int, bar: String) extends InCase[Fail] //illegal inheritance

case class Succeed(foo: Int) extends InCase[Succeed]

Succeed(123).test(456)

scala自我类型可以强制执行案例类类型

1 个答案: