如何评估 Scala 宏中的表达式？

Question

我正在尝试使用 Context#eval 方法评估宏内的 Expr：

//Dummy implementation
def evalArrayTree(c: Context)(a: c.Expr[ArrayTree]): c.Expr[Array[Double]] = {
  import c.universe._
  println( c.eval(a) )

  val tree = reify( Array(0.0,0.0,0.0) ).tree 
  c.Expr[Array[Double]]( tree )
}

但是，编译器抱怨：

[error] /home/falcone/prg/sbt-example-paradise/core/src/main/scala/Test.scala:20: exception during macro expansion: 
[error] scala.tools.reflect.ToolBoxError: reflective toolbox has failed

如果在scala-user ML 中找到，则可以使用resetAllAttrs 解决问题。不过

1. 我不明白我应该如何使用它。
2. 这个函数seems to be deprecated。

那么有办法解决我的问题吗？

---

其余代码：

object ArrayEval {

  import scala.language.experimental.macros

  def eval( a: ArrayOps.ArrayTree ): Array[Double] = macro Macros.evalArrayTree

}

object ArrayOps {

  sealed trait ArrayTree {
    def +( that: ArrayTree ) = Plus( this, that )
  }

  implicit class Ary( val ary: Array[Double] ) extends ArrayTree
  case class Plus( left: ArrayTree, right: ArrayTree ) extends ArrayTree

}

Answer 1

c.eval 的文档确实告诉使用c.resetAllAttrs，但是这个函数有许多已知问题，有时会导致它无法修复地破坏它处理的树（这就是我们计划在 Scala 2.11 中删除它的原因- 我刚刚提交了一个拉取请求：https://github.com/scala/scala/pull/3485)。

您可以尝试使用c.resetLocalAttrs，它发生树损坏的可能性较小。不幸的是，它仍然有点坏。我们计划修复它 (https://groups.google.com/forum/#!topic/scala-internals/TtCTPlj_qcQ)，但是在 Scala 2.10.x 和 2.11.0 中，将无法使 c.eval 可靠地工作。

Answer 2

嗯，我明白了他们使用resetAllAttrs 的含义。我的示例针对 Int 输入进行了简化，但我能够通过执行以下操作复制并修复您描述的错误：

import scala.language.experimental.macros
import scala.reflect.runtime.universe._
import scala.reflect.macros.BlackboxContext

def _evalMacro(c: BlackboxContext)(a: c.Expr[Int]) = {
  import c.universe._

  val treeReset = c.resetAllAttrs(a.tree) // Reset the symbols in the tree for 'a'
  val newExpr = c.Expr(treeReset)         // Construct a new expression for the updated tree

  println(c.eval(newExpr)) // Perform evaluation on the newly constructed expression
  ...                      // Do what you do
}

def evalMacro(a: Int) = macro _evalMacro

我将猜测您可以使用resetAllAttrs，至少在某些未来版本的 Scala 出现之前是这样。 2.11 甚至没有给出弃用警告。

注意：我使用的是 Scala 2.11。我相信这在 2.10 中应该是相同的，只是你将使用 Context 而不是 BlackboxContext。