L’espressione 'match'

L'espressione match è il potente strumento di Rust per il pattern matching, che ti permette di confrontare un valore con diversi pattern ed eseguire codice in base al pattern che corrisponde. Pensala come una versione più avanzata delle istruzioni if, in grado di gestire elegantemente più condizioni.

Ecco la sintassi di base di un'espressione match:

match value {
    pattern1 => code_to_run,
    pattern2 => code_to_run,
    _ => default_code,
}

Ogni riga all'interno di match è chiamata «braccio». => separa il modello dal codice che viene eseguito quando quel modello corrisponde. Il trattino basso _ è un modello jolly speciale che corrisponde a qualsiasi cosa: è come un «caso predefinito» per qualsiasi valore che non corrisponde agli altri modelli.

Ecco un semplice esempio che verifica un numero:

let number = 2;

match number {
    1 => println!("One"),
    2 => println!("Two"),
    _ => println!("Other"),
}

In Rust, le espressioni match devono essere esaustive, ovvero devono gestire ogni valore possibile. Ecco perché il carattere jolly _ è così importante: garantisce che tu abbia coperto tutti i casi che non sono stati abbinati esplicitamente.

match è un'espressione, quindi può anche produrre un valore. Quando è l'ultima espressione in una funzione, il valore del braccio corrispondente è quello restituito dalla funzione:

fn day_name(day: i32) -> String {
    match day {
        1 => String::from("Monday"),
        2 => String::from("Tuesday"),
        _ => String::from("Another day"),
    }
}

Poiché questa funzione restituisce una String, ogni braccio converte il proprio testo (un &str) in una String con String::from o .to_string().