スカラのジェネリック型と型の不一致

Question

FooProcessorはProcessor [M]でなければならないという、 '型の不一致'というエラーのコードエラーです。

sealed trait Model 
case class Foo extends Model 
trait Processor[M <: Model] 

class FooProcessor extends Processor[Foo] 

class DelegatingProcessor[M <: Model] extends Processor[M] { 
    val delegates = Map[String, Processor[M]]("foo" -> new FooProcessor()) 
} 

FooProcessorがProcessor [Model]の拡張機能であることをコンパイラに納得させるにはどうすればよいですか？

Answer 1

短い答えは、FooProcessorがProcessor[Foo]の拡張子であり、Fooに固有のものです。 DelegatingProcessorでは、Fooだけでなく、有効なModelも処理できるProcessorが必要です。 FooProcessorは単にここで請求書に適合しません。そして、コンパイラがこの種の間違いを防ぐためにここに来ているので、コンパイラを納得させようとしないでください.-