Scala 宏检查匿名函数的树

Question

我刚刚开始使用宏，感觉我错过了一些非常明显的东西......

我想检查传递给我的宏的匿名 lambda 函数的 AST，最终我想对它做一些事情，但我遇到了第一个障碍。

我的代码是这样的；

object Test extends App {
  doIt(() => "bar")

  def doIt(f: () => String) = {
    Builder.build(f)
  }
}

object Builder {
  def build[R](func: () => R): String = macro builder_impl[R]

  def builder_impl[R](c: blackbox.Context)(func: c.Expr[() => R]): c.Expr[String] = {
    import c.universe._

    println(showRaw(func))

    reify {
      println("hello yeah")
      "foo"
    }
  }
}

我期待 showRaw 打印类似的东西；

Expr(Function(List(), Literal(Constant("bar"))))

然而，我却得到了；

Expr(Ident(TermName("f")))

我可以通过在 Builder.build 的调用站点定义我的匿名函数来获得我想要的东西；

Builder.build(() => "bar")

但是，这并不能帮助我完成我需要的事情。

有人可以解释我的误解吗，我怎样才能实现我的目标？

此外，有没有我应该阅读的很棒的 Scala 宏指南？

问候，

瑞安。

Answer 1

你只得到传递给宏的 AST(在这种情况下，唯一涉及的宏是 build，你用参数 f 调用它，所以你得到f 的 AST)。所以如果你想在 doIt(() => "bar") 中获取 () => "bar" 的 AST，doIt本身必须是一个宏。