scala – 扩展特征和类型

发布时间：2020-12-16 08:54:11 所属栏目：安全来源：网络整理

导读：我想有一个密封的特征,其中有一个声明的方法返回扩展特征的实际类.我应该使用抽象类型,参数类型还是还有其他好办法解决这个问题吗？ sealed trait Foo { type T def doit(other: T): T} 要么 sealed trait Foo[T] { def doit(other: T): T} 请注意,在此示

我想有一个密封的特征,其中有一个声明的方法返回
扩展特征的实际类.我应该使用抽象类型,参数类型还是
还有其他好办法解决这个问题吗？

sealed trait Foo {
  type T
  def doit(other: T): T
}

要么

sealed trait Foo[T] {
  def doit(other: T): T
}

请注意,在此示例中,T必须是Foo的子类型.如果我喜欢这样的类型
信息感觉太重复了：

case class Bar(name: String) extends Foo[Bar] {
  def doit(other: Bar): Bar = ...
}

解决方法

你可以通过doit方法返回一个工厂函数来减少重复：

trait Foo[T] { 
   self: T =>
   def doit: T => T 
}

case class Bar(name: String) extends Foo[Bar] {
   // note: types omitted 
   def doit = { other => Bar(name + other.name) }
}

使用抽象类型不可能做同样的事情：

trait Foo { 
   self: T => // won't compile because T isn't defined yet
   type T 
   def doit: T => T
}

（编辑：李大同）

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