Как мне получить доступ к родовому типу в аннотации макросов в Scala?

Question

У меня есть следующий код:

@compileTimeOnly("enable macro paradise to expand macro annotations") 
class typedTable[T] extends StaticAnnotation { 
    def macroTransform(annottees: Any*): Table = macro TableGenerator.impl[T] 
} 

object TableGenerator { 
    def impl[T](c: whitebox.Context)(annottees: c.Expr[Any]*): c.Expr[Table] = { 
    import c.universe._ 
    val tpe = weakTypeOf[T] // This doesn't work 
    ... 
    } 
} 

И я не могу понять, как получить доступ к TypeTag для «T» в Macro Аннотация. Я видел другие сообщения, которые содержат туманную ссылку на то, как можно получить доступ, но я не могу точно понять, как я должен получить к нему доступ в этом контексте.

Answer 1

Макро-аннотации не типируют их аргументы, а это значит, что вы можете получать деревья только от этих аргументов, а не от их типов. Чтобы получить деревья, представляющие аргументы типа вашей аннотации макросов, вызовите c.macroApplication и соответствующим образом разрушите их.