同じ基本クラスを持つクラスの型メンバーをオーバーライドするにはどうすればよいですか？

Question

紛らわしいタイトルに申し訳ありません。

RequestとResponseのクラスを検証および解析の目的で作成しようとしています。コンパイル時に型の保証をしたいが、実行時の多形性はまだある。私は、次の基本クラスを有する：Json.parse(responseString).as[request.ResponseType]：私はタイプ_ <: Requestのインスタンスを持っている場合

abstract class Response() 

abstract class Request() { 
    type ResponseType = Response 
    def ResponseClass: Class[_ <: ResponseType] = classOf[ResponseType] 
} 

ので、私が正しいタイプで、例えばJSON応答を、解析することができます。

私は、これらのクラスを拡張するとき、私はResponseTypeoverrideすることができませんことを見つける：

case class AddedFooResponse() extends Response 

case class AddFooRequest() extends Request { 
    override type ResponseType = AddedFooResponse 
} 

error: overriding type ResponseType in class Request , which equals this.Response ; type ResponseType has incompatible type override type ResponseType = AddedFooResponse

タイプに互換性がない、なぜ私はわかりませんよ。

abstract class Response() 

abstract class Request() { 
    type ResponseType <: Response 
    // cannot initialize because no concrete class 
    def ResponseClass: Class[_ <: ResponseType] 
} 

と単にResponseTypeとResponseClassの両方を無効にする：私の現在の回避策は、基本クラスでタイプをバインドするためにされ、ビット不器用です

case class AddedFooResponse() extends Response 

case class AddFooRequest() extends Request { 
    override type ResponseType = AddedFooResponse 
    override def ResponseClass = classOf[ResponseType] 
} 

これは一見（の多くを必要と）ResponseClassを無効にするための不要なボイラープレート。

私は間違って何をしていますか？

Answer 1

私はあなたがこのタイプのデフォルト値を設定しないで逃げることができると思い：

abstract class RequestBase() { 
    type ResponseType 
    def ResponseClass: Class[_ <: ResponseType] = classOf[ResponseType] 
} 

type Request = RequestBase { type ResponseType = Response } 

case class AddFooRequest() extends Request { 
    override type ResponseType = AddedFooResponse 
} 

Answer 2

私は何によって返されたインスタンスに基づいて、単純にResponseTypeとのマッチングを設定することで、完全にResponseClassを見送ることを見出しましたそのResponseTypeを使用して、誤って解析して例外をスローしないようにします。

abstract class Response 
abstract class Request[+ResponseType <: Response] 

case class FooResponse() extends Response { 
    def greet = println("woo hoo!") 
} 

case class FooRequest() extends Request[FooResponse] { 
    type ResponseType = FooResponse 
} 

val req: FooRequest = new FooRequest() 
// Erase the type by making it an Object. 
val resp: Object = new FooResponse() 

resp.asInstanceOf[req.ResponseType] match { 
    case fooResp: FooResponse => fooResp.greet 
    case _ => println("This isn't good...") 
}