scala - 在 Scala 中，universe.TypeTag、TypeRef 和 Type 有什么区别？

Question

有 3 个不同的类都绑定到一个 Universe：TypeTag、TypeRef和Type。为什么我们需要全部 3 个？如果我只有 a Type，如何将其转换为 a TypeTagor TypeRef？

例如，我通过 Scala 反射 API 函数获得了一个通用的超类型：

val at = ...some TypeTag...
val bt = ...some TypeTag...

val tpe = ScalaReflection.universe.lub(List(at.tpe, bt.tpe))
ScalaReflection.universe.(tpe)

如何将其转换为TypeTagor TypeRef？

Answer 1

TypeRef是 的一个特例Type：

abstract type TypeRef >: Null <: Universe.TypeRefApi with Universe.Type 

您可以通过模式匹配检查 aType是否实际上是 a ：TypeRef

tpe match {
  case TypeRef(prefix, sym, args) =>
  // or alternately
  case typeRef: TypeRef =>
}

TypeTag[A]是一种访问Type1) 适用于不同镜像的方法；2) 可以由编译器从类型参数中自动生成（注意Type不是泛型的）。

要转换Type为TypeTag，如何手动创建 TypeTag？：

import scala.reflect.runtime.universe._

def typeToTypeTag[T](
  tpe: Type,
  mirror: reflect.api.Mirror[reflect.runtime.universe.type]
): TypeTag[T] = {
  TypeTag(mirror, new reflect.api.TypeCreator {
    def apply[U <: reflect.api.Universe with Singleton](m: reflect.api.Mirror[U]) = {
      assert(m eq mirror, s"TypeTag[$tpe] defined in $mirror cannot be migrated to $m.")
      tpe.asInstanceOf[U#Type]
    }
  })
}