为什么 Scala 中的模式匹配不适用于变量？

Question

采用以下函数：

def fMatch(s: String) = {
    s match {
        case "a" => println("It was a")
        case _ => println("It was something else")
    }
}

此模式匹配得很好：

scala> fMatch("a")
It was a

scala> fMatch("b")
It was something else

我希望能够执行以下操作：

def mMatch(s: String) = {
    val target: String = "a"
    s match {
        case target => println("It was" + target)
        case _ => println("It was something else")
        }
}

这会发出以下错误：

fMatch: (s: String)Unit
<console>:12: error: unreachable code
               case _ => println("It was something else")

我想这是因为它认为目标实际上是您想要分配给的名称无论输入是什么。两个问题：

1. 为什么会出现这种行为？ case 不能只查找范围内具有适当类型的现有变量并首先使用这些变量，如果没有找到，则将 target 视为模式匹配的名称？

2. 有解决办法吗？有什么方法可以对变量进行模式匹配吗？最终，我们可以使用一个大的 if 语句，但匹配大小写更优雅。

Answer 1

您正在寻找的是稳定标识符。在 Scala 中，它们必须以大写字母开头，或者用反引号括起来。

这两个都可以解决您的问题：

def mMatch(s: String) = {
    val target: String = "a"
    s match {
        case `target` => println("It was" + target)
        case _ => println("It was something else")
    }
}

def mMatch2(s: String) = {
    val Target: String = "a"
    s match {
        case Target => println("It was" + Target)
        case _ => println("It was something else")
    }
}

为了避免意外引用封闭范围中已经存在的变量，我认为默认行为是小写模式是变量而不是稳定的标识符是有意义的。仅当您看到以大写字母开头或以反引号开头的内容时，您才需要意识到它来自周围的范围。

Answer 2

您也可以将其分配给案例内的临时变量，然后比较它，这也可以

def mMatch(s: String) = {
    val target: String = "a"
    s match {
        case value if (value ==target) => println("It was" + target) //else {} optional
        case _ => println("It was something else")
    }
}