Особенность scala.reflect.api.Exprs.Expr

Мнимый метод для маркировки вставки выражений в переинициализации.

Он должен использоваться только в reify вызове, который устраняет вызов splice и встраивает обернутое дерево в окружающее переинициализированное выражение. Если используется отдельно splice выбрасывает исключение при вызове во время выполнения.

Если вы хотите использовать Expr при переинициализации некоторого кода Scala, необходимо его вставить. Для expr типа Expr[T], где T имеет метод foo, следующий код

reify{ expr.splice.foo }

использует splice для преобразования expr типа Expr[T] в значение типа T в контексте reify.

Он эквивалентен

Select( expr.tree, TermName("foo") )

Однако следующий пример кода не компилируется

reify{ expr.foo }

потому что expr типа Expr[T] сам по себе не имеет метода foo.

Тип обернутого выражения дерева, предоставленный при создании.

Когда exprs создаются компилятором, staticType представляет статически известный тип дерева, вычисленный в этот момент компилятором.

Мнимое значение для обозначения зависимостей типов, зависящих от этапов.

Например, для следующего определения макроса:

class X { type T }
object Macros { def foo(x: X): x.T = macro Impls.foo_impl }

Соответствующая реализация макроса должна иметь следующий тип (обратите внимание, как тип возврата обозначает зависимость от x):

object Impls { def foo_impl(c: Context)(x: c.Expr[X]): c.Expr[x.value.T] = ... }