0

使用 Scala 的 quasiquotes，您可以轻松构建选择树，如下所示： 

> tq"a.b.MyObj"
res: Select(Select(Ident(TermName("a")), TermName("b")), TermName("MyObj"))

我的问题是，如果要从中选择的事物列表（a、b、...等）是可变长度的（因此在需要拼接的变量中），我该怎么做？

我希望举重会起作用（例如tq"""..${List("a","b","MyObj")}"""，但它没有。或者甚至可能是这个tq"""${List("a","b","MyObj").mkString(".")}"""，但没有运气。

有没有办法用准引号来支持这一点？还是在这种情况下我只需要手动构建选择树？

4

1 回答 1

1

我认为没有办法用准引号直接做到这一点。我绝对确定任何类似的东西tq"""${List("a","b","MyObj").mkString(".")}"""都行不通。我对 quasiquotes 的理解是它们只是提取器和应用程序的糖。

然而，基于这个想法，我们可以定义一个自定义提取器来做你想做的事。（顺便说一句，我敢肯定有更好的方式来表达这一点，但你明白了......）

object SelectTermList {
  def apply(arg0: String, args: List[String]): universe.Tree =
    args.foldLeft(Ident(TermName(arg0)).asInstanceOf[universe.Tree])
                 ((s,arg) => Select(s, TermName(arg)))

  def unapply(t: universe.Tree): Option[(String,List[String])] = t match {
    case Ident(TermName(arg0)) => Some((arg0, List()))
    case Select(SelectTermList(arg0,args),TermName(arg)) =>
      Some((arg0, args ++ List(arg)))
    case _ => None
  }
}

然后，您可以使用它来构造和提取形式的表达式a.b.MyObj。

提取器测试：

scala> val SelectTermList(obj0,selectors0) = q"a.b.c.d.e.f.g.h"
obj0: String = a
selectors0: List[String] = List(b, c, d, e, f, g, h)

scala> val q"someObject.method(${SelectTermList(obj1,selectors1)})" = q"someObject.method(a.b.MyObj)"
obj1: String = a
selectors1: List[String] = List(b, MyObj)

相应的应用测试：

scala> SelectTermList(obj0,selectors0)
res: universe.Tree = a.b.c.d.e.f.g.h

scala> q"someObject.method(${SelectTermList(obj1,selectors1)})"
res: universe.Tree = someObject.method(a.b.MyObj)

如您所见，在构造和提取时，将提取器嵌套在准引号内没有问题。

于 2016-07-19T17:53:06.180 回答