4

这是我面临的问题的简化版本，但根本问题仍然存在。调用宏后，我想动态生成案例类。我能够从宏调用等中检索参数。我遇到的问题是尝试在准引号中使用字符串变量。我基本上想要以下内容：

def expand_impl(c: Context)(annottees: c.Expr[Any]*): c.Expr[Any] = {
    import c.universe._

    val toGen = "case class Foo()"

    val toReturn = c.Expr[Any](
        q"$toGen"
    )
    toReturn
}

但是，不会生成案例类。现在我知道如果我将 toGen 更改为 q"case class Foo()" 它将起作用，但是 toGen 是一个字符串，我将在其他一些返回字符串的处理之后生成，所以我不能这样做。像这样编译它并手动查看 toReturn 的值，我得到以下信息：

Expr[Any]("case class Foo()")

字符串 toGen 只是简单地粘贴在引号中，这意味着不会生成案例类。

我一直在寻找类似的问题，但在任何地方都找不到这个例子。如何在准引号内取消引用字符串变量的双引号？

4

1 回答 1

4

上定义了一个parse方法Context。它返回 a Tree，并且由于可以在准引号中插入树，因此您可以非常轻松地将解析与准引号混合和匹配。举例：

scala> :paste
// Entering paste mode (ctrl-D to finish)

import scala.reflect.macros.whitebox.Context
import scala.language.experimental.macros

def test_impl(c: Context)(): c.Tree = {
  import c.universe._
  val tree = c.parse("""println(2)""")
  q"println(1); $tree; println(3)"
}
def test(): Unit = macro test_impl

// Exiting paste mode, now interpreting.

import scala.reflect.macros.whitebox.Context
import scala.language.experimental.macros
test_impl: (c: scala.reflect.macros.whitebox.Context)()c.Tree
defined term macro test: ()Unit

scala> test()
1
2
3

在这个例子中，我定义了一个 def 宏，但它应该与宏注释一样工作（就像你的情况一样）。

于 2016-07-01T14:58:42.337 回答