Трейт scala.reflect.macros.Reifiers

Для заданного типа сгенерировать дерево, которое при компиляции и выполнении возвращает класс времени выполнения внешнего класса или модуля. Возвращает EmptyTree, если внешнего класса или модуля не существует.

Для заданного типа сгенерировать дерево, которое при компиляции и выполнении возвращает класс времени выполнения исходного типа. Если concrete имеет значение true, эта функция завершится с ошибкой для типов, ссылающихся на абстрактные типы (как это делает ClassTag).

Для заданного дерева сгенерировать дерево, которое при компиляции и выполнении воспроизводит исходное дерево. Дополнительные сведения и примеры см. в документации к Universe.reify.

Созданное дерево будет привязано к указанным universe и mirror. Возможные значения для universe включают universe.internal.gen.mkRuntimeUniverseRef. Возможные значения для mirror включают EmptyTree (в этом случае реификатор автоматически выберет подходящее зеркало).

Эта функция тесно связана с Universe.reify — макросом, который реифицирует произвольные выражения в деревья времени выполнения. Они выполняют очень похожие действия (Universe.reify вызывает Context.reifyTree для собственной реализации), но работают на разных метауровнях (см. ниже).

Рассмотрим различия между Context.reifyTree и Universe.reify на примере их использования внутри макроса fooMacro:

* Поскольку reify сам является макросом, он будет выполнен во время компиляции fooMacro (метауровень -1) и создаст дерево, которое при вычислении во время раскрытия макроса fooMacro (метауровень 0) восстановит входное дерево.

Это предоставляет возможность, аналогичную квазицитированию. Запись "reify{ expr }" создаст AST, представляющее expr. Затем этот AST (или его части) можно использовать для построения возвращаемого значения fooMacro.

* reifyTree вычисляется во время раскрытия макроса (метауровень 0) и создаст дерево, которое при вычислении во время выполнения программы (метауровень 1) восстановит входное дерево.

Это позволяет сохранить определённые деревья, созданные во время раскрытия макроса, чтобы позже исследовать их во время выполнения. Например, авторам DSL может быть полезно сохранять фрагменты DSL в виде AST, которые затем обрабатываются во время выполнения специфичным для предметной области способом.

Также обратите внимание на различие между вселенными деревьев времени выполнения, создаваемых двумя вызовами reify:

* Результат компиляции и выполнения результата reify будет привязан к Universe, вызвавшей reify. Это возможно, поскольку reify — макрос и может генерировать любой необходимый код.

* Результат компиляции и выполнения результата reifyTree будет prefix, который нужно передать явно. Это происходит потому, что Universe вычисленного результата находится на другом метауровне, чем Context вызванного reify.

Обычно эта функция используется для сохранения некоторых деревьев, полученных или созданных макросом, в форме, которую можно исследовать (с помощью сопоставления с образцом) либо компилировать и выполнять (с помощью рефлексивного ToolBox) во время выполнения.

Для заданного типа сгенерировать дерево, которое при компиляции и выполнении возвращает исходный тип. Созданное дерево будет привязано к указанным universe и mirror. Дополнительные сведения и примеры см. в документации к Context.reifyTree и Universe.reify.

Отменяет реификацию дерева.

Эта операция не просто восстанавливает исходное дерево (это привело бы к потере контекста реификации), а выполняет более сложное преобразование, которое соответствует следующим законам:

1) unreifyTree(reifyTree(tree)) != tree // реифицированное обратно дерево — это дерево + сохранённый контекст // в текущей реализации результат unreify непрозрачен // то есть невозможно исследовать лежащее в его основе дерево/контекст

2) reifyTree(unreifyTree(reifyTree(tree))) == reifyTree(tree) // результат реификации дерева в исходном контексте равен // результату реификации дерева вместе с сохранённым контекстом

3) compileAndEval(unreifyTree(reifyTree(tree))) ~ compileAndEval(tree) // во время выполнения исходное и реифицированное обратно деревья эквивалентны по поведению