Get Runtime Art von impliziten Beweis gepflückt

Question

nehme ich an einen Satz von Wandlern String haben, als Typklasse:

import scala.reflect.runtime.universe._ 

abstract class ToStringConverter[T] { 
    def convert(value: T): String 
} 
implicit object IntToStringConverter extends ToStringConverter[Int] { 
    def convert(value: Int) = value.toString 
} 
implicit object DoubleStringConverter extends ToStringConverter[Double] { 
    def convert(value: Double) = value.toString 
} 

und convert-Methode, die die Typinformationen verwendet rechten Konverter zur Auswahl:

def convert[T](v: T)(implicit ev: ToStringConverter[T]): String = ev.convert(v) 

Dies funktioniert gut, wenn ich die konkrete Art im Voraus haben, zum Beispiel:

scala> convert[Double](12.2) 
res0: String = 12.2 

scala> convert[Int](12) 
res1: String = 12 

Ist es möglich, Verwenden Sie die obige Konvertierungsmethode mit einem Laufzeittyp, zum Beispiel mit einem Typ 't' unten?

scala> val t = typeOf[Double] 
t: reflect.runtime.universe.Type = Double 

Answer 1

Wenn Sie die Auflösungslaufzeit ausführen möchten, ist Reflektion erforderlich, da implizite Kompilierungszeiten aufgelöst werden. Ein Code, wie dies sollte die Arbeit machen:

import scala.reflect.runtime.universe._ 

abstract class ToStringConverterAny { 
    def convertAny(value: Any): String 
} 

abstract class ToStringConverter[T] extends ToStringConverterAny { 
    def convertAny(value: Any): String = convert(value.asInstanceOf[T]) 
    def convert(value: T): String 
} 
implicit object IntToStringConverter extends ToStringConverter[Int] { 
    def convert(value: Int) = value.toString 
} 
implicit object DoubleStringConverter extends ToStringConverter[Double] { 
    def convert(value: Double) = value.toString 
} 

val converters: Map[Type, ToStringConverterAny] = Map(
    typeOf[Int] -> IntToStringConverter, 
    typeOf[Double] -> DoubleStringConverter 
) 

def convert(t: Type, v: Any) = { 
    converters(t).convertAny(v) 
} 

def convert[T](v: T)(implicit ev: ToStringConverter[T]): String = ev.convert(v) 

convert[Double](12.2) 

convert[Int](12) 

val t = typeOf[Double] 
val v: Any = 1.23 

convert(t, v) 

Wenn Sie converters Karte automatisch zu bauen möchten, können Sie auch Reflexion für diese, aber abgeleiteten Klassen Aufzählen erfordert überraschenderweise nicht-triviale Code (einschließlich der Klassenlader - das ist, verständlich, wenn Sie darüber nachdenken).

Wenn Sie die ToStringConverterAny versiegelten können, sollte die Aufzählung über ihre Unterklassen in einem Makro ein wenig einfacher sein.