Получение WeakTypeTag для заданного типа в аннотации макроса Scala

Question

Я пишу аннотацию макроса Scala @model, используемую для аннотирования классов case и которая автоматически добавляет некоторые метаданные к сопутствующему объекту аннотированного класса на основе полей класс аннотированного случая.

Я хотел бы получить дополнительную информацию о типе параметров класса case, особенно, проверить, реализуют ли они определенный признак. Я думал получить WeakTypeTag, потому что для них был путь, но я не могу понять, как они получены в макросах def.

Конкретно: я хочу, чтобы иметь возможность сказать, в данном случае, от макро реализации @model, что address поля User класса имеет тип, который проходит ModelObject, и что date не делает. Я могу это сделать?

trait ModelObject 
@model case case Address(street: String, city: String) extends ModelObject 
@model case class User(name: String, since: Date, address: Address) extends ModelObject 

Answer 1

Деревья, которые вступают в аргументы макрокоманды, целенаправленно нетипизированы. Однако запуск c.typeCheck(q"(??? : <tree that represents the parent>)").tpe предоставит недостающую информацию. Не забывайте duplicate, что дерево перед проверкой меток, потому что c.typeCheck мутирует дерево на месте, что может быть нежелательным.

Есть ограничения на то, что может сделать c.typeCheck. Для некоторых примеров этого см. Can't access Parent's Members while dealing with Macro Annotations.