Scala traitメソッドは型の実装に限定されています

Question

私は、traitの実装でかなり単純な状況だと思っていますが、私は欠けている単純な解決策がいくつかあると思います。私はそれが呼び出されることに価値具体的な実装の唯一のタイプとしてのパラメータ（およびリターンとして受け入れ特性上のメソッドを持っているしたいと思います。具体的：。

trait Foo { 
    type ConcreteFoo // what to put here? 
    def combine(that:ConcreteFoo):ConcreteFoo 
} 

class FooImpl1 extends Foo { 
    def combine(that:FooImpl1):FooImpl1 = { 
    // implementation 
    } 
} 

class FooImpl2 extends Foo { 
    def combine(that:FooImpl2):FooImpl2 = { 
    // implementation 
    } 
} 

今私が持っています実装するクラスのtype Self = FooImpl、私はむしろ、可能な場合、それの世話をする特質上の何かを持っていると思います

Answer 1

これは正確ですF-Bounded Polymorphism:

trait Foo[T <: Foo[T]] 
    def combine(that: T): T 
} 

class FooImpl1 extends Foo[FooImpl1] { 
    def combine(that: FooImpl1): FooImpl1 = { 
    ??? 
    } 
} 

class FooImpl2 extends Foo[FooImpl2] { 
    def combine(that: FooImpl2): FooImpl2 = { 
    ??? 
    } 
} 

Answer 2

あなたはこのようなあなたの形質に型パラメータを追加することができます。

trait Foo[A] { 
    def combine(that: A): A 
} 

class FooImpl1 extends Foo[FooImpl1] { 
    override def combine(that: FooImpl1): FooImpl1 = ??? 
} 

class FooImpl2 extends Foo[FooImpl2] { 
    override def combine(that: FooImpl2): FooImpl2 = ??? 
}