Perché il pattern matching in Scala non funziona con le variabili?

Assumi la seguente funzione:

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

Questo modello corrisponde bene:

scala> fMatch("a")
It was a

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

Quello che vorrei poter fare è quanto segue:

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

Questo emette il seguente errore:

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

Immagino che questo sia perché pensa che l'obiettivo sia in realtà un nome che vorresti assegnare a qualunque sia l'input. Due domande:

1. Perché questo comportamento? Non è possibile cercare solo le variabili esistenti nell'ambito che hanno un tipo appropriato e utilizzare prima quelle e, se non ne viene trovata nessuna, trattare l'obiettivo come un nome su cui eseguire il patternmatch?

2. C'è una soluzione alternativa per questo? Qualche modo per trovare un pattern match contro le variabili? Alla fine si potrebbe usare un'istruzione if grande, ma le maiuscole sono più eleganti.

Quello che stai cercando è un identificatore stabile . In Scala, questi devono iniziare con una lettera maiuscola o essere circondati da backtick.

Entrambe queste sarebbero soluzioni al tuo problema:

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

Per evitare di fare riferimento accidentalmente a variabili che già esistevano nello scope di inclusione, penso che abbia senso che il comportamento predefinito sia che i modelli minuscoli siano variabili e non identificatori stabili. Solo quando vedi qualcosa che inizia con le lettere maiuscole o con i segni di spunta, devi essere consapevole che proviene dall'ambito circostante.