Warum funktioniert der Mustervergleich in Scala nicht mit Variablen?

Übernehmen Sie die folgende Funktion:

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

Dieses Muster passt gut:

scala> fMatch("a")
It was a

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

Was ich tun möchte, ist Folgendes:

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

Dies gibt den folgenden Fehler aus:

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

Ich denke, das liegt daran, dass das Ziel tatsächlich ein Name ist, den Sie der Eingabe zuweisen möchten. Zwei Fragen:

1. Warum dieses Verhalten? Können Sie nicht einfach nach vorhandenen Variablen im Gültigkeitsbereich suchen, die den entsprechenden Typ haben, und diese zuerst verwenden. Wenn keine gefunden werden, behandeln Sie das Ziel als einen Namen, über den das Muster abgeglichen werden soll.

2. Gibt es eine Problemumgehung dafür? Gibt es eine Möglichkeit, Muster mit Variablen abzugleichen? Letztendlich könnte man eine große if-Aussage gebrauchen, aber der Matchcase ist eleganter.

Was Sie suchen, ist eine stabile Kennung . In Scala müssen diese entweder mit einem Großbuchstaben beginnen oder von Backticks umgeben sein.

Beides wäre eine Lösung für Ihr Problem:

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")
    }
}

Um zu vermeiden, dass versehentlich auf Variablen verwiesen wird, die bereits im umschließenden Bereich vorhanden waren, ist es meines Erachtens sinnvoll, dass das Standardverhalten darin besteht, dass Kleinbuchstaben Variablen und keine stabilen Bezeichner sind. Nur wenn Sie etwas sehen, das mit Großbuchstaben beginnt, oder in Häkchen, müssen Sie sich bewusst sein, dass es aus dem umgebenden Bereich stammt.