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

发布时间：2020-12-16 09:26:52 所属栏目：安全来源：网络整理

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

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

请放弃“如果你需要你必须做错事”,因为我已经开始了,但我的api设计 – 如果以上可能的话,将会更加光滑.我对下一次的好奇也很好奇.

解决方法

这只能使用(如你所建议的)结构类型,也只能用于固定已知的case类参数类型序列(你需要复制的确切签名).例如：

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)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!