重新实现函数实现而不是引用

Question

我需要获得lambda函数实现的AST。而且我被卡住了因为reify对论证起作用而不是它的价值。

val x = (a: Int) => println("a")
val t = showRaw(reify(thevalueof x)) //something here should change
println(t)

应打印：

Expr(Function(List(ValDef(Modifiers(PARAM), newTermName("a"), Ident(scala.Int), EmptyTree)), Apply(Select(Select(This(newTypeName("scala")), newTermName("Predef")), newTermName("println")), List(Literal(Constant("a"))))))

我认为应该有拼接的技巧，但我无法做到这一点。

Answer 1

目前还没有强大的方法可以在宏应用程序之外获取程序的AST（并且reify是一个宏，所以它遵守相同的规则）。但是，我们正在尝试可能解决此问题的下一代宏引擎：http://scalamacros.org/news/2014/03/02/project-palladium.html。