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

Принимает типизированную обёртку для дерева типа T и вычисляет его в значение типа T.

Может использоваться для выполнения вычислений во время компиляции над аргументами макроса в той мере, в какой это допускается формой аргументов.

Известные проблемы: из-за https://github.com/scala/bug/issues/5748 деревья, которые оцениваются в первую очередь, должны пройти untypecheck. Переустановка символов и типов изменяет дерево на месте, поэтому общепринятый подход — duplicate дерево сначала.

scala> def impl(c: Context)(x: c.Expr[String]) = {
     | val x1 = c.Expr[String](c.untypecheck(x.tree.duplicate))
     | println(s"compile-time value is: ${c.eval(x1)}")
     | x
     | }
impl: (c: Context)(x: c.Expr[String])c.Expr[String]

scala> def test(x: String) = macro impl
test: (x: String)String

scala> test("x")
compile-time value is: x
res0: String = x

scala> test("x" + "y")
compile-time value is: xy
res1: String = xy

scala> val x = "x"
x: String = x

scala> test(x + "y")
compile-time value is: xy
res2: String = xy

scala> { val x = "x"; test(x + "y") }
error: exception during macro expansion:
scala.tools.reflect.ToolBoxError: reflective compilation failed

Обратите внимание, что в последнем случае оценка не удалась, потому что аргумент макроса относится к значению выполнения x, которое неизвестно во время компиляции.