Question

我正在编写一个Scala宏（Scala 2.11），我想使用inferImplicitValue获取表示宏内部隐式变量的树，评估该语法树，并使用该值。我实际上已经这样做了，但它似乎并不适用于所有情况[1]。我构建了一个失败的简化示例。

// a class for implicit evidence
class DemoEvidence(val value: Int)

// define 'foo' method for invoking the macro
object demoModule {
  def foo: Int = macro DemoMacros.fooImpl
}

class DemoMacros(val c: whitebox.Context) {
  import c.universe._

  def fooImpl: Tree = {
    val vInt = try {
      // get the tree representing the implicit value
      val impl = c.inferImplicitValue(typeOf[DemoEvidence], silent = false)
      // print it out
      println(s"impl= $impl")
      // try to evaluate the tree (this is failing)
      val eval = c.eval(c.Expr[DemoEvidence](c.untypecheck(impl.duplicate)))
      eval.value
    } catch {
      case e: Throwable => {
        // on failure print out the failure message
        println(s"Eval failed with: $e\nStack trace:\n${e.printStackTrace}")
        0
      }
    }
    q"$vInt"  // return tree representing the integer value
  }
}

如果我编译上面的内容，然后调用它：

object demo {
  implicit val demoEvidence: DemoEvidence = new DemoEvidence(42)
  val i: Int = demoModule.foo
}

我看到编译失败的方式如下：

impl= demo.this.demoEvidence
java.lang.reflect.InvocationTargetException
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:498)
    at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl$ToolBoxGlobal$$anonfun$compile$1.apply(ToolBoxFactory.scala:275)
...

完整输出： https://gist.github.com/erikerlandson/df48f64329be6ab9de9caef5f5be4a83

因此，您可以看到它正在为声明的隐式值demo.this.demoEvidence找到树，但是对该树的评估失败了。我已经看到这个基本方法在我的项目的其他地方工作。不确定区别是什么，以及为什么它在这里失败。

[1]更新：如果隐式值在（子）项目中定义，并且已编译，然后在该项目外部使用，则它按预期工作。就是这种方法对我有用的情况。

所以问题是，这是否只是我必须忍受的一个基本约束，或者是否有一些聪明的解决方法，或者这是一个“错误”，可以修复宏内部的隐含值。

更新：我为此提交了一个Scala问题：https://github.com/scala/scala-dev/issues/353

Answer 1

从堆栈跟踪的外观来看，eval期望object demo以classfile形式存在以供执行，这是有意义的，因为您尝试计算的值取决于{ {1}} val demoEvidence的成员。

但是object demo在eval的类型检查过程中发生，所以类文件还没有存在，因此错误。在具有子项目中定义的隐式值的版本中，我想首先编译子项目，因此object demo所需的类文件存在，因此评估按照您的预期进行。

从inferImplicitValue返回的Scala语法树无法评估

1 个答案: