为什么Scala原语在Java反射中不显示为类型参数？

Question

给出以下案例类：

case class Foo(
    bar: Int,
    baz: Boolean,
    qux: Option[Int],
    quux: Option[Boolean],
    quuux: Option[Integer]
)

我希望如下：

for (f <- classOf[Foo].getDeclaredFields) {
    println(f.getGenericType)
}

产生类似的东西：

int
boolean
scala.Option<int>
scala.Option<boolean>
scala.Option<java.lang.Integer>

但相反，它产生：

int
boolean
scala.Option<java.lang.Object>
scala.Option<java.lang.Object>
scala.Option<java.lang.Integer>

为什么原语会从泛型中删除，而不是被视为java.lang.Integer.TYPE和java.lang.Boolean.TYPE ，就像普通字段一样？

有没有办法从classOf[Foo]检索原始类型参数？

Answer 1

Scala认为基元的通用参数是scala.<Primitive>例如scala.Int 。 它不会将类型存储在Java类文件中，尽管可以说它可以。 （或者不是;取决于是否需要区分Int和java.lang.Integer ;框内形式是java.lang.Integer ，即使编译器做得很好，你也相信它是Int 。 ）

无论如何，Scala有自己的反射功能，但是在2.10你可以找到Option类型的参数，如下所示：

import scala.reflect.runtime.universe._
typeTag[Foo].tpe.members.collect{
  case m: MethodSymbol if m.isCaseAccessor => m 
}.foreach(m => println(m.name + " " + m.typeSignature))

你会得到类似的东西

quuux => scala.Option[java.lang.Integer]
quux => scala.Option[scala.Boolean]
qux => scala.Option[scala.Int]
baz => scala.Boolean
bar => scala.Int