Scala:在没有运行时反射和类型实例的情况下获取类型名

Question

我想获得一个类型的名称，作为一个字符串，没有运行时反射。

使用宏，并使用该类型的实例，我可以这样做:

def typeNameFromInstance[A](instance: A): String = 
  macro typeNameFromInstanceImplementation[A]
def typeNameFromInstanceImplementation[A](
  c: Context)(
    instance: c.Expr[A]): c.Expr[String] = {
  import c.universe._
  val name = instance.actualType.toString
  c.Expr[String](Literal(Constant(name)))
}

如果没有该类型的实例，我如何做到这一点?我想要一个函数签名:

def typeName[A]: String

我不能使用ClassTags，因为它们不提供完整的类型名称，只提供擦除的类型。由于线程安全问题，我显然也不能使用TypeTags。

编辑:似乎这是不可能的完全一般性(如嵌套函数调用)。

Answer 1

您可以访问代表宏应用程序的树:c.macroApplication

def typeName[T]: String = macro typeName_impl[T]
def typeName_impl[T](c: Context): c.Expr[String] = {
  import c.universe._
  val TypeApply(_, List(typeTree)) = c.macroApplication
  c.literal(typeTree.toString())
}

编辑:

另一种方法得到相同的，但可能更好:

def typeName[T]: String = macro typeName_impl[T]
def typeName_impl[T: c.WeakTypeTag](c: Context): c.Expr[String] = {
  import c.universe._
  c.literal(weakTypeOf[T].toString())
}