メソッドの戻り値の型の共変

Question

I持って、次のクラス：

trait Foo { 
    def update: Foo 
} 

class ConcreteFoo extends Foo { 
    override def update: Foo = new ConcreteFoo 
} 


class FooManager[T <: Foo](val foos: mutable.Map[String, T]) { 

    def update(id: String): Unit = { 
    foos.update(id, foos(id).update) 
    } 

} 

そしてもちろん

update関数がコンパイルされていません。

タイプmissmatchはfooが

T

必要見つかりました def update: Foo共変動型にするには？

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

class ConcreteFoo extends Foo[ConcreteFoo] { 
    override def update = new ConcreteFoo 
} 


class FooManager[T <: Foo[T]](val foos: mutable.Map[String, T]) { 

    def update(id: String): Unit = { 
    foos.update(id, foos(id).update) 
    } 

} 

---

代替、おそらく単純ルカが言ったように、溶液は、不変Mapを使用することで、：あなたはF-囲まれた多型のような何かをしたいよう

Answer 1

が見えます。

trait Foo { 
    def update: Foo 
} 

class ConcreteFoo extends Foo { 
    override def update: Foo = new ConcreteFoo 
} 


class FooManager(private var _foos: immutable.Map[String, Foo]) { 

    def foos = _foos 

    def update(id: String): Unit = { 
    _foos = _foos.updated(id, _foos(id).update) 
    } 
} 

あなたはまた、あなたの現在のソリューションを維持し、型パラメータを削除できます。しかし、その後はもう型パラメータを持っている必要はありません。しかし、のコンストラクタにmutable.Map[String,ConcreteFoo]を渡すことができないというわずかな不都合があります。

Answer 2

代わりに不変のマップを使用することをおすすめします。不変なコレクションだけが共変タイプパラメータを持つことができるためです。

class FooManager[+T <: Foo](val foos: immutable.Map[String, T]) { 

    def update(id: String): FooManager[Foo] = { 
    new FooManager(foos.updated(id, foos(id).update)) 
    } 

}