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 @ (_)*)

但这太过于hacky而且我不想这样做。

Answer 1

quasiquotes不支持pq"x @ _*"的原因在于模式语法的定义方式。 The grammar of the language通过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"

虽然尴尬，但似乎是最好的方法，因为quququotes不起作用。

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

2 个答案: