扩展特征和类型

Question

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

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 = ...
}

Answer 1

它们大多是可以互换的。根据 Odersky 的说法，原因主要是为了完整性：这与方法和字段（值）可以是抽象的或作为参数传递的事实类似，类型也可以。

当您打算混合使用相同类型名称的多个特征时，最好使用抽象类型。使用类型参数，您需要显式地将类型传递给每个参数，

这是一篇解释所有这些的文章： http://www.artima.com/weblogs/viewpost.jsp?thread=270195

Answer 2

您可以通过让您的 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
}

Answer 3

您可以这样写：

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

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

与您的示例的区别在于 Bar 不能以任何其他方式实例化（例如 case class Bar(name: String) extends Foo[String]）。

Answer 4

trait Foo[A <: Foo[A]]

仅当 A 是 Foo[A] 的子类型并且唯一满足该条件的类型是要混合到的类 Foo 时，才能混合此特征。我在 Lift 的 Mapper 特征中看到了这个解决方案。

Answer 5

编辑 - 以下是我原来的答案。您的评论表明您希望返回匹配类型的任意实例，但我真的不认为这是明智的。 假设是，通过 T.type 语法：

trait T { def foo : T.type }

trait U extends T { def foo = new U } //must be a U

class W extends U

val w : W = (new W).foo //oh dear.

---

这可以通过 this.type 完成：

scala> trait T {
 | def foo : this.type
 | }
defined trait T

scala> class W extends T {
 | def foo  = this
 | }
defined class W

scala> (new W).foo
res0: W = W@22652552

scala> res0.foo
res1: res0.type = W@22652552

然后还有：

scala> ((new W) : T)
res4: T = W@45ea414e

scala> res4.foo.foo.foo
res5: res4.type = W@45ea414e