Scala: Zugriff auf Eigenschaften mit kovarianten Feld [+ T]

Question

Ich verwende eine benutzerdefinierte unveränderliche Entitätsklasse, die Schlüssel verwendet, die Case-Objekte sind, die Feld [+ T] erweitert, wobei T kovariant ist. Es macht Sinn, weil ein Field [Stream [Int]] als Field [Seq [Int]] behandelt werden kann.

object ProblemWithCovariant { 

    sealed trait Field[+T] 
    case object _username extends Field[String] 
    case object _email extends Field[String] 
    case object _age extends Field[Byte] 

    case class Entity(attrs: Map[Field[Any], Any]) { 
    def apply[T](field: Field[T]): T = attrs(field).asInstanceOf[T] 
    def set[T](field: Field[T])(value: T): Entity = copy(attrs = attrs.updated(field, value)) 
    } 

    def main(args: Array[String]): Unit = { 
    val user = Entity(Map.empty) 
     .set(_username)("John") 
     .set(_age)(23) 

    val username: String = user(_username) // alright 
    val ageInt: Int = user(_age) // compile error 
    } 

} 

Dies jedoch führt zu einem Compiler-Fehler, wenn ich versuche, einen Byte-Wert abrufen und auf ein Int-Feld zuordnen. Mir ist bewusst, dass Byte kein Untertyp von Int ist und ihre einzige Beziehung eine implizite Umwandlung ist. Zu meiner Überraschung wurde diese Konvertierung im obigen Beispiel nicht aufgerufen und der Compiler fordert mich nun auf, ein Feld [Int] zu übergeben!

Nachdem ich einige Zeit experimentiert hatte, erkannte ich, dass ich den Typ explizit bereitstellen konnte, wie zum Beispiel val ageInt: Int = user[Byte](_age). Obwohl dies funktioniert, macht es meinen Code ausführlicher, als ich es vorziehen würde. Gibt es eine Möglichkeit, die Signatur von Entity.apply so zu ändern, dass sie den Typ des Parameters field berücksichtigt?

Answer 1

def apply[T, U](field: Field[U])(implicit ev: U => T): T = 
    ev(attrs(field).asInstanceOf[U]) 

funktioniert.