考虑以下scala计划:
val arr: Seq[String] = Seq("abc", "def")
val cls = arr.head.getClass
println(cls)
val ttg: TypeTag[Seq[String]] = typeOf[Seq[String]]
val fns = ttg.tpe
.members
val fn = fns
.filter(_.name.toString == "head")
.head // Unsafely access it for now, use Option and map under normal conditions
.asMethod // Coerce to a method symbol
val fnTp = fn.returnType
println(fnTp)
val fnCls = ttg.mirror.runtimeClass(fnTp)
assert(fnTp == cls)
由于TypeTag同时包含Seq和String信息,我希望fn.returnType
给出正确的结果" String",但在这种情况下,我得到了以下程序输出:
cls = class java.lang.String
fnTp = A
随后抛出此异常:
A needed class was not found. This could be due to an error in your runpath. Missing class: no Java class corresponding to A found
java.lang.NoClassDefFoundError: no Java class corresponding to A found
at scala.reflect.runtime.JavaMirrors$JavaMirror.typeToJavaClass(JavaMirrors.scala:1258)
at scala.reflect.runtime.JavaMirrors$JavaMirror.runtimeClass(JavaMirrors.scala:202)
at scala.reflect.runtime.JavaMirrors$JavaMirror.runtimeClass(JavaMirrors.scala:65)
显然类型字符串已被删除,只留下一个通配符类型' A'
为什么TypeTag无法按预期产生正确的擦除类型?
答案 0 :(得分:1)
Seq.head
定义为def head: A
。 fn
只是泛型类head
中方法Seq[A]
的方法符号,它对具体类型一无所知。因此,returnType
正好与A
中定义的Seq
完全相同。
如果您想知道A
在具体Type
中的含义,您必须明确指定。{p>例如,您可以在方法符号上使用infoIn
:
scala> val fnTp = fn.infoIn(ttg.tpe)
fnTp: reflect.runtime.universe.Type = => String
scala> val fnRetTp = fnTp.resultType
fnRetTp: reflect.runtime.universe.Type = String