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

具有以下功能：

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. 为什么这样的行为？难道不能仅在范围内查找具有适当类型的现有变量并首先使用它们，如果找不到，然后将target视为模式匹配的名称吗？

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

您正在寻找的是一个稳定的标识符。在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")
    }
}

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