形質と型を拡張する

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

：

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 2

EDIT - 以下は、私のオリジナルの答えです。あなたのコメントは、一致するタイプの任意のインスタンスを返すことを希望していることを示していますが、これは決して賢明ではないと私は本当に信じていません。 はそれがなかったと仮定し、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 

Answer 3

彼らは主に交換可能です。 Oderskyによると、その理由は主に完全性のためであった。メソッドやフィールド（値）は抽象的でもパラメータとして渡すこともできるので、型もそうである。

すべて同じ型名を使用する複数の形質を混在させる場合は、抽象型を使用する方が適しています。型パラメータを使用すると、明示的に各

に型を渡す必要があるここでは、このすべてを説明する記事です：http://www.artima.com/weblogs/viewpost.jsp?thread=270195

Answer 4

trait Foo[A <: Foo[A]] 

Aがfooのサブタイプである場合は、この形質はだけで混合することができ、[A]とそれを満たす唯一のタイプはFooクラスが混在しているクラスです。私はリフトのMapper特性でこの解決策を見た。

Answer 5

あなたが書くことができます。

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

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

あなたの例との違いは、バーは、他の方法（例えばcase class Bar(name: String) extends Foo[String]）でインスタンス化することができないということです。あなたのdoit方法は、ファクトリ関数を返すことによって、多少の繰り返しを削減することができます