使用宏生成通配符绑定模式

Question

Scala允许对unapplySeq:的varargs进行模式匹配

case class A(args: String*)
A("a", "b", "c") match {
  case A(args @ _*) => args  // Seq("a", "b", "c")
}

我想用宏生成这样的模式。我该怎么做？尝试一件很自然的事情是行不通的：

scala> pq"x @ _*"
<console>:11: error: illegal start of simple pattern
              pq"x @ _*"
                       ^

然而，可以从q模式中提取实际类型，并用它重新创建模式：

scala> val q"??? match { case Hello($ident @ $thingy) => }" = q"??? match { case Hello(any @ _*) => }"
ident: reflect.runtime.universe.Name = any
thingy: reflect.runtime.universe.Tree = (_)*
scala> pq"$ident @ $thingy"
res1: reflect.runtime.universe.Bind = (any @ (_)*)

但这太麻烦了，我不想这么做。

Answer 1

准引号不支持pq"x @ _*"的原因在于模式语法的定义方式。该语言的语法通过Pattern产生式规则来定义模式语法。可以看出，_*本身并不是一个有效的模式，它只在特殊的Patterns产生式规则中工作，该规则用于对提取器中的一系列模式进行建模。

Quasiquotes允许您通过各种插值器插入语法中的不同上下文。不幸的是，我们不能支持所有可能的上下文，因为这会导致我们在API中有数百个插值器。

最简单的解决方案实际上是在这里使用Star(Ident(termNames.WILDCARD))。

Answer 2

哦，我忘了showRaw():了

scala> showRaw(thingy)
res0: String = Star(Ident(termNames.WILDCARD))

现在，我只将其设为常量，并使用它来代替一些文字模式：

val wcard = Star(Ident(termNames.WILDCARD))
pq"$someIdent @ $wcard"

虽然很尴尬，但考虑到准引号不起作用，这似乎是最好的方法。