带准引号的可变长度 "select"s

Question

使用 Scala 的准引用，您可以轻松构建 select 的树，如下所示：

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

我的问题是，如果从 (a,b,...,etc) 到 select 的列表是可变长度的（因此在一个需要拼接)?

我希望提升会起作用（例如 tq"""..${List("a","b","MyObj")}""" 但它不起作用。或者甚至这个 tq"""${List("a","b","MyObj").mkString(".")}"""，但运气不好。

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

Answer 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)

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

带准引号的可变长度 "select"s

Variable length "select"s with quasiquotes

scala

scala-quasiquotes