Scala: Получить имя типа без отражения во время выполнения и без экземпляра типа

Question

Я хотел бы получить имя типа, как String, без отражения во время выполнения.

Использование макросов и с экземпляром типа, я могу сделать это так:

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 из-за thread safety issues.

EDIT: Похоже, что это невозможно в полной общности (например, вложенные вызовы функций). В принятом ответе ниже говорится об этом в комментариях.

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()) 
} 

EDIT:

Другой способ получить то же самое, но, возможно, немного лучше:

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()) 
}