Любой способ доступа к типу объявления Scala Option во время выполнения с использованием отражения?

Question

Итак, у меня есть класс Scala, который выглядит следующим образом:

class TestClass { 
    var value: Option[Int] = None 
} 

и я решение проблемы, когда у меня есть строковое значение, и я хочу, чтобы заставить его в этот вариант [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) 
} 

Чтобы сделать это, мне нужно знать, что поле является вариант, и что параметр типа в опции Int.

Каковы мои возможности для выяснения того, что тип «значение» является опцией [Int] во время выполнения (т. Е. С использованием отражения)?

Я видел похожие проблемы, решенные путем аннотации поля, например. @OptionType (int.class). Я предпочел бы решение, которое не требовало бы аннотаций по цели отражения, если это было возможно.

Answer 1

Это довольно streightforward с помощью Java 1.5 Reflection 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) 
} 

Answer 2

class TestClass { 
    var value: Option[Int] = None 
// ... 

    def doSomething { 
    value match { 
     case Some(i) => // i is an Int here 
     case None => 
     // No other possibilities 
    } 
    } 
} 

Answer 3

Проблема в том, что 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)) 

Answer 4

На уровне байт-кода, Java не получил Обобщения. Дженерики реализуются с полиморфизмом, поэтому, когда ваш исходный код (в данном случае Scala) скомпилирован, исчезают общие типы (это называется type erasure). Это не дает возможности собирать информацию о типах во время выполнения через отражение.

Возможное - хотя немного грязное - обходное решение - получить тип среды выполнения, который, как известно, имеет тот же тип, что и параметр Generic. Для Выбора случаях мы можем использовать 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 
    } 
}