Question

我对下面的例子中的_ *用法感到困惑。它表现得与众不同，我完全迷失了。

val p1="scala".r
val p2="([0-9]+[.]?[0-9]*|[.][0-9]+)$".r

"scala" match {case p1(_) => true case _  => false } // return false


"scala" match {case p1(_ *) => true case _  => false }  // return true

"9" match {case p2(_) => true case _ => false} // return true

先谢谢。

Answer 1

由于您使用match，case(_)在模式中至少需要一个捕获组。这是因为“匹配大小写”使用unapplySeq(target: Any): Option[List[String]]，它返回捕获组值，并且您需要在_中显示1个捕获值。使用_ *，您可以忽略此要求。见Scala regex reference：

要仅检查正则表达式是否匹配，忽略任何组，请使用序列通配符 ：

"2004-01-20" match { case date(_*) => "It's a date!" }

您的p2包含一个捕获组，因此最后一行返回true。

您的p1不包含捕获组，因此第一个match失败。第二个问题是因为您使用*禁用了此要求。

作为替代方案，您可以在第一行使用case p1()（此处删除代表强制性第一个捕获组的_），它也可以使用：

"scala" match {case p1() => true case _  => false }) // return true

请参阅此IDEONE demo

_ *用法是scala模式匹配

1 个答案: