所以，我有一个看起来像这样的Scala类：
class TestClass {
var value: Option[Int] = None
}
我正在解决一个问题，我有一个String值，我想在运行时使用反射将其强制转换为Option [Int]。所以，在另一段代码中（对TestClass一无所知）我有一些这样的代码：
def setField[A <: Object](target: A, fieldName: String, value: String) {
val field = target.getClass.getDeclaredField(fieldName)
val coercedValue = ???; // How do I figure out that this needs to be Option[Int] ?
field.set(target, coercedValue)
}
为此，我需要知道该字段是一个Option，并且Option的type参数是Int。
我可以选择在运行时（即使用反射）确定'value'的类型是Option [Int]？
我已经看到通过注释字段解决了类似的问题，例如@OptionType（Int.class）。如果可能的话，我更喜欢一种不需要在反射目标上进行注释的解决方案。
使用Java 1.5反射API非常直观：
def isIntOption(clasz: Class[_], propertyName: String) = {
var result =
for {
method <- cls.getMethods
if method.getName==propertyName+"_$eq"
param <- method.getGenericParameterTypes.toList.asInstanceOf[List[ParameterizedType]]
} yield
param.getActualTypeArguments.toList == List(classOf[Integer])
&& param.getRawType == classOf[Option[_]]
if (result.length != 1)
throw new Exception();
else
result(0)
}
在字节码级别，Java没有Generics。泛型是用多态实现的，所以一旦编译了源代码（在本例中为Scala），泛型类型就会消失（这称为 类型擦除 ）。这使得无法通过反射收集通用运行时类型信息。
一种可能 - 虽然很少脏 - 解决方法是获取属性的运行时类型，您知道它具有与Generic参数相同的类型。对于我们可以使用的Option实例 get 会员
object Test {
def main(args : Array[String]) : Unit = {
var option: Option[_]= None
println(getType(option).getName)
option = Some(1)
println(getType(option).getName)
}
def getType[_](option:Option[_]):Class[_]= {
if (option.isEmpty) classOf[Nothing] else (option.get.asInstanceOf[AnyRef]).getClass
}
}
class TestClass {
var value: Option[Int] = None
// ...
def doSomething {
value match {
case Some(i) => // i is an Int here
case None =>
// No other possibilities
}
}
}
问题是JVM通过类型擦除来实现泛型。所以通过反思发现它的类型是不可能的 value 是 Option[Int] 因为在运行时它实际上不是：它只是 Option！
在2.8中你应该可以使用 Manifests 喜欢这个：
var value: Option[Int] = None
val valueManifest = implicitly[scala.reflect.Manifest[Option[Int]]]
valueManifest.typeArguments // returns Some(List(Int))