在 Scala 反射中，为什么 TypeTag 上的反射函数仍然有类型擦除？

Question

考虑以下 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)

很明显String类型被抹掉了，只留下一个通配符类型'A'

为什么 TypeTag 无法按预期产生正确的擦除类型？

Answer 1

Seq.head 定义为 def head: A。而 fn 只是来自泛型 class Seq[A] 的方法 head 的方法符号，它对具体类型一无所知。所以它的 returnType 正是 A 正如 Seq.

中定义的那样

如果您想知道 A 在某些具体的 Type 中是什么，您必须明确指定。例如，您可以在方法符号上使用 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

在 Scala 反射中，为什么 TypeTag 上的反射函数仍然有类型擦除？

In Scala reflection, why reflection function on TypeTag still has type erasure?

scala

type-erasure

scala-reflect