_ *用法はスカラパターンマッチングです

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

case(_)を使用しているため、matchにパターン内に少なくとも1つのキャプチャグループが必要です。これは、 "マッチケース"がキャプチャグループの値を返すunapplySeq(target: Any): Option[List[String]]を使用し、キャプチャされた値の1つに_が存在する必要があるためです。 _ *では、この要件は無視されます。 Scala regex referenceを参照してください：

任意のグループを無視して、正規表現がマッチするかどうかだけを確認するには、シーケンスワイルドカード使用：

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

をごp2が故に、キャプチャグループが含まれています最後の行はtrueを返します。

p1にはキャプチャグループが含まれていないため、最初のmatchは失敗します。 2番目は*でこの要件を無効にしてからではありません。

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

このIDEONE demo