Muster auf generische abstrakte Art in scala passend

Question

Ich habe einen Selbst rekursiven Typ:

trait Problem[P <: Problem[P]] { 
    type Solution 
} 

Jetzt will ich Match Muster auf P#Solution. Nehmen wir an, wir im case class Foo[P <: Problem[P]]() sind:

case ExampleCaseClass(s: P#Solution) if conditionApplies() => 
    // do sth 

case ExampleCaseClass(s: P#Solution) => 
    // now sth else 

Natürlich scheitert es durch Löschen geben. Gibt es eine Möglichkeit, diesen Code in scala zu kompilieren?

Ich habe Klassen-/Typ-Tags gesehen, aber ich bin mir nicht sicher, ob sie in einem solchen Fall verwendet werden können.

Answer 1

Sie können tatsächlich Typ-Tags verwenden, aber Sie benötigen einen konkreten Typ, um den Typen-Tag zu erhalten.

case class Foo[P <: Problem[P], S <: P#Solution:TypeTag]() { 
    def doSomething[T:TypeTag](c: ExampleCaseClass[T]) = c match { 
    case ExampleCaseClass(s) if typeOf[T] =:= typeOf[S] => "x" 
    case ExampleCaseClass(s) => "y" 
    } 
} 

Wenn Sie einen Subtyp Spiel möchten, verwenden Sie <:< statt =:=: Sie konnten die Lösungstyp als Typ-Parameter hinzuzufügen.