在 Scala 反射中，如何解析具体类型成员？

Question

我有一个程序可以在执行时产生抽象类型标签：

class TypeResolving extends FunSpec {

  import org.apache.spark.sql.catalyst.ScalaReflection.universe._

  val example = new Example

  it("can convert") {

    val t1 = implicitly[TypeTag[example.T]]
    println(t1)
  }
}

object TypeResolving {

  class Example {

    type T = Map[String, Int]
  }
  val example = new Example
}

执行结果为：

TypeTag[TypeResolving.this.example.T]

由于在这种情况下 example.T 已经定义，我还想获得实际的 TypeTag：

TypeTag[Map[String,Int]]

我如何到达那里？

Answer 1

尝试dealias

def dealias[T, T1](typeTag: TypeTag[T]): TypeTag[T1] = backward(typeTag.tpe.dealias)

val typeTag = implicitly[TypeTag[TypeResolving.example.T]] //TypeTag[TypeResolving.example.T]
val typeTag1 = dealias(typeTag) //TypeTag[scala.collection.immutable.Map[String,Int]]

val typeTag2 = implicitly[TypeTag[Map[String, Int]]] //TypeTag[Map[String,Int]]
val typeTag3 = dealias(typeTag2) //TypeTag[scala.collection.immutable.Map[String,Int]]

typeTag1 == typeTag3 //true

（backward来自这里）

在 Scala 反射中，如何解析具体类型成员？

In scala reflection, how to resolve concrete type member?

scala

type-erasure

scala-reflect