1

次の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 の両方の情報が含まれているため、正しい結果 "String" が返されることを期待しfn.returnTypeますが、この場合、次のプログラム出力が得られました。

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 が意図した正しい消去型を生成できないのはなぜですか?

4

1 に答える 1

3

Seq.headとして定義されdef head: Aます。Andはジェネリック クラスfnのメソッドの単なるメソッド シンボルであり、具象型については何も知りません。で定義されているとおりです。headSeq[A]returnTypeASeq

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
于 2016-06-09T00:27:06.430 に答える