多个参数和参数列表的四引号

Question

四引号非常棒——它们大大减轻了在Scala中编写宏的痛苦，根据我的经验，它们几乎总是像我预期的那样工作。最棒的是，它们现在可以在Scala2.10中作为插件使用。

这个问题是关于我在写这篇博客文章时遇到的一个小问题。当我能找到几分钟的时间时，它在我的清单上，但我想我会把它发布在这里，以防其他人能打败我，并帮助其他遇到同样问题的人。

假设我有一个名称类型对列表列表：

val pss = List(
  List(newTermName("x") -> typeOf[Int], newTermName("y") -> typeOf[Char]),
  List(newTermName("z") -> typeOf[String])
)

我想把这些变成一棵树，看起来像这样：

def foo(x: Int, y: Char)(z: String) = ???

以下操作很好：

q"def bar(${pss.head.head._1}: ${pss.head.head._2}) = ???"

也就是说，它构建了以下树：

def bar(x: Int) = ???

这表明我应该能够写这样的东西：

val quoted = pss.map(_.map { case (n, t) => q"$n: $t" })
q"def foo..${quoted.map(ps => q"($ps)")} = 1"

或者更简单一点，在一个参数列表中有多个参数：

q"def baz(..${quoted.head}) = ???"

两者都不起作用——我收到这样的错误：

<console>:28: error: type mismatch;
 found   : List[c.universe.Typed]
 required: List[c.universe.ValDef]
           q"def baz(..${quoted.head}) = ???"
                                ^

很公平——我可以看到它在准引号中的样子，就像我在构建类型化表达式，而不是在quoted中定义参数一样。我想尝试的显而易见的事情都没有奏效（添加= _，显式地将准引号键入为ValDef，等等）

我知道我可以手动构建参数定义：

val valDefs = pss.map(
  _.map {
    case (n, t) => ValDef(Modifiers(Flag.PARAM), n, TypeTree(t), EmptyTree)
  }
)

现在baz版本（有一个参数列表）可以工作：

q"def baz(..${valDefs.head}) = ???"

但不是foo版本（具有多个参数列表的版本）。

所以这里有两个问题。首先，如何在带引号的参数列表的上下文之外使用准引号将名称类型对转换为参数ValDef？第二，如何将参数定义列表转换为多个参数列表？

对于整个该死的事情，很容易回到手动AST构建（请参阅我的帖子中的示例），但我希望能够使用准引号。

Answer 1

以下是您的问题的快速解决方案：

val pss = List(
  List(newTermName("x") -> typeOf[Int], newTermName("y") -> typeOf[Char]),
  List(newTermName("z") -> typeOf[String])
)
val vparamss: List[List[ValDef]] = pss.map { _.map { case (name, tpe) => q"val $name: $tpe" } }
q"def foo(...$vparamss)"

正如你所看到的特别$使用splice可以定义具有多个参数列表的函数。函数参数本身的表示方式与正则val相同。

另一个例子是$它可能有用：

val xy = List(List(q"x"), List(q"y"))
q"f(...$xy)" // same as q"f(x)(y)"