具有多个匹配项的模式匹配

Question

考虑以下 Scala 代码。

val a = "both"

a match {
    case "both" | "foo" => println ("foo")   // case 1
    case "both" | "bar" => println ("bar")   // case 2
}

我希望 match 能够工作，以便如果 a == "both"，Scala 将执行这两种情况。这是可能的还是有其他选择来实现我想要的？

Answer 1

标准模式匹配将始终只匹配一种情况。通过使用模式可以被视为部分函数这一事实，您可以接近您想要的内容（请参阅 语言规范，第 8.5 节，模式匹配匿名函数）并通过定义您自己的匹配运算符，虽然：

class MatchAll[S](scrutinee : =>S) {
  def matchAll[R](patterns : PartialFunction[S,R]*) : Seq[R] = {
    val evald : S = scrutinee
    patterns.flatMap(_.lift(evald))
  }
}

implicit def anyToMatchAll[S](scrut : =>S) : MatchAll[S] = new MatchAll[S](scrut)

def testAll(x : Int) : Seq[String] = x matchAll (
  { case 2 => "two" },
  { case x if x % 2 == 0 => "even" },
  { case x if x % 2 == 1 => "neither" }
)

println(testAll(42).mkString(",")) // prints 'even'
println(testAll(2).mkString(","))  // prints 'two,even'
println(testAll(1).mkString(","))  // prints 'neither'

语法稍微偏离通常，但对我来说这样一个构造仍然是Scala 力量的见证。

你的例子现在写成：（

// prints both 'foo' and 'bar'
"both" matchAll (
  { case "both" | "foo" => println("foo") },
  { case "both" | "bar" => println("bar") }
)

编辑huynhjl指出他给出了一个可怕的相似答案到这个问题。）

Answer 2

冒着成为明显队长的风险，在这种情况下，最简单的方法就是忘记模式匹配并使用 if。

if (a == "both" || a == "foo") println("foo")
if (a == "both" || a == "bar") println("bar") 

如果 a == 的重复让您担心，您可以

if (Set("both", "foo")(a)) println("foo")
if (Set("both", "bar")(a)) println("bar")

使用 Set 上的 apply 方法与 相同的事实来 编写>包含，并且有点短。

Answer 3

match 执行一种且仅一种情况，因此您不能在匹配中将其作为 or 执行。但是，您可以使用列表和 map/foreach：

val a = "both"
(a match {
  case "both" => List("foo", "bar")
  case x => List(x)
}) foreach(_ match {
  case "foo" => println("foo")
  case "bar" => println("bar")
})

并且您不会重复任何重要代码（在本例中为 printlns）。

Answer 4

只需匹配两次：

val a = "both"

a match {
    case "both" | "foo" => println ("foo")   // Case 1
}
a match {
    case "both" | "bar" => println ("bar")   // Case 2
}

Answer 5

一种可能的方法是：

val a = "both"

a match {
  case "foo" => println ("foo")   // Case 1
  case "bar" => println ("bar")   // Case 2
  case "both" => println ("foo"); println ("bar")
}