スカラジェネリックthis.type

Question

私は、クラス自体のインスタンスを返すメソッドを持つジェネリック特性を作成しようとしています。明示的な戻り値の型なし

trait SomeGenericTrait[T]{ 
    def withData(newData : Seq[T]) : this.type 
} 

case class SomeImpl(data : Seq[Int]) extends SomeGenericTrait[Int] { 
    override def withData(newData : Seq[Int]) : SomeImpl = copy(data = newData) 
} 

error: overriding method withData in trait SomeGenericTrait of type(newData: Seq[Int])SomeImpl.this.type; method withData has incompatible type 

：たとえば実装withDataの戻り値がSomeImplですが、トレイトのメソッド宣言に基づいて予想される戻り値の型がSomeImpl.this.typeあるので

は

case class SomeImpl(data : Seq[Int]) extends SomeGenericTrait[Int] { 
    override def withData(newData : Seq[Int]) = copy(data = newData) 
} 

error: type mismatch; 
found : SomeImpl 
required: SomeImpl.this.type 

これはコンパイルに失敗します。

これは機能するように私はtraitメソッド宣言の戻り値の型を変更する必要がどのように知っていますか？私が持っているより一般的な使用例は、ケースクラスのcopyメソッドを拡張する一般的な特性を通して公開する方法です。私はこれを明確に明言していない可能性があることを知っている、私は何かを明確にすべきかどうか私に知らせる。 - 特定のものの種類

trait SomeGenericTrait[T, X] { 
    def withData(newData: Seq[T]): X 
} 

case class SomeImpl(data: Seq[Int]) extends SomeGenericTrait[Int, SomeImpl] { 
    override def withData(newData: Seq[Int]): SomeImpl = copy(data = newData) 
} 

this.typeはシングルトンタイプである：Scalaの2.10.0

Answer 1

を使用して

あなたが混入しているクラスの型の種類と特性をパラメータ化することによってそれを解決することができますSomeGenericTraitをインスタンス化しました。