使用scala 2.10反射的類型自變量的運行時解析

Question

給定一個類型聲明，我能夠解析類型參數。

scala> reflect.runtime.universe.typeOf[List[Int]] match {case x:TypeRef => x.args} 
res10: List[reflect.runtime.universe.Type] = List(Int) 

對於運行時值，同樣的方法不起作用。

scala> reflect.runtime.currentMirror.reflect(List(42)).symbol.toType match {case x:TypeRef => x.args} 
res11: List[reflect.runtime.universe.Type] = List(B) 

有沒有辦法克服反射值的類型擦除？

Answer 1

一個例子基於TypeTag知識閱讀 Scala: What is a TypeTag and how do I use it? 發佈獲得通過 Eugene Burmako在你的問題的意見：

import scala.reflect.runtime.universe._ 

object ScalaApplication { 
    def main(args: Array[String]) { 
    printType(List(42)) 
    printType(List("42")) 
    printType(List("42", 42)) 
    }  

    def printType[T : TypeTag](t: T) { 
    println(typeOf[T]) 
    } 
} 

這應該給輸出：

$ scala ScalaApplication.scala 
List[Int] 
List[String] 
List[Any] 

[UPDATE 1：]

然而，如果你想知道分配給類型的引用類型的Any您可能必須選擇某種類型意識到包裝的：

import scala.reflect.runtime.universe._ 

object ScalaApplication { 
    def main(args: Array[String]) { 
    val anyWrapper = new AnyWrapper 

    List(1,2,3).foreach { i => 
     i match { 
     case 1 => anyWrapper.any = 42 
     case 2 => anyWrapper.any = "a string" 
     case 3 => anyWrapper.any = true 
     } 
     print(anyWrapper.any) 
     print(" has type ") 
     println(anyWrapper.typeOfAny) 
    } 
    } 

    class AnyWrapper { 
    private var _any: Any = null 
    private var _typeOfAny: Type = null 

    def any = _any 
    def typeOfAny = _typeOfAny 
    def any_=[T: TypeTag](a: T) = { 
     _typeOfAny = typeOf[T] 
     _any = a 
    } 

    } 
} 

這應該給輸出：

$ scala ScalaApplication.scala 
42 has type Int 
a string has type String 
true has type Boolean 

但是這種解決方案仍然不包括在編譯時引用類型未知的情況。

[更新2：]

如果類型是顯式轉換爲Any類型的引用，你可能要列舉所有可能的類型在比賽中聲明，以恢復類型：

import scala.reflect.runtime.universe._ 

object ScalaApplication { 
    def main(args: Array[String]) { 

    List(1,2,3).foreach { i => 
     val any: Any = i match { 
     case 1 => 42.asInstanceOf[Any] 
     case 2 => "a string".asInstanceOf[Any] 
     case 3 => true.asInstanceOf[Any] 
     } 
     print(any) 
     print(" has type ") 
     println(matchType(any)) 
    } 
    } 

    def matchType(any: Any) = { 
    any match { 
     case a: Int => typeOf[Int] 
     case a: String => typeOf[String] 
     case a: Boolean => typeOf[Boolean] 
    } 
    } 
} 

這應該給輸出：

$ scala ScalaApplication.scala 
42 has type Int 
a string has type String 
true has type Boolean 

但是這種解決方案需要你知道（一nd列表）您可以在any值中收到的所有可能類型。