Riferimenti nulli
Se hai mai usato un altro linguaggio di programmazione (C/C++, Python, Java, Ruby, Lisp, ecc.), è probabile che tu abbia già incontrato null o nil.
L'uso di null o nil è il modo in cui questi linguaggi indicano che una particolare variabile non ha alcun valore.
Tuttavia, questo rende l'uso accidentale di una variabile che punta a null un errore facile (e frequente) da commettere.
Come puoi immaginare, provare a chiamare una funzione che non c'è, o accedere a un valore che non esiste, può portare a ogni sorta di bug e crash.
Il creatore di null è arrivato a definirlo il suo «errore da un miliardo di dollari».
Il tipo Option
Per evitare questi problemi, Rust non usa i riferimenti nulli.
Tuttavia, ha comunque bisogno di un modo sicuro per indicare che una particolare variabile non ha alcun valore.
È qui che entra in gioco Option.
Invece di avere una variabile a cui manca un valore, le variabili Rust possono usare l'enum Option.
Questo enum ha due varianti: None, l'equivalente di null in Rust; e Some(T), dove T è un valore di qualsiasi tipo.
Assomiglia a questo:
enum Option<T> {
None,
Some(T),
}
Puoi pensare a Option come a uno strato di sicurezza tra te e i problemi che i riferimenti nulli possono causare, mantenendo comunque la loro utilità concettuale.
Usare Option
Impostare una variabile a None è piuttosto semplice:
let nothing: Option<u32> = None; // Variable nothing is set to None
Tuttavia, se vuoi che il tipo Option contenga un valore, non puoi assegnare questo valore direttamente.
Una variabile di tipo Option e, per esempio, una variabile di tipo i32 non sono equivalenti.
Dovrai usare Some:
let wrong_way: Option<i32> = -4; // This will not work
let right_way: Option<i32> = Some(-4); // This will work
let another_right_way = Some(-4); // Compiler infers that this is Option<i32>
È anche per questo motivo che quanto segue non funziona:
let number = 47;
let option_number = Some(15);
let compile_error = number + option_number; // Cannot add an i32 and an Option<i32> - they are of different types
Se vuoi ottenere il valore contenuto in Some, dovrai prima verificare che esista:
let mut some_words = Some("choose something to say"); // some_words set to something
match some_words {
Some(str) => println!("Here, we will {}", str),
None => println!("I've got nothing to say"),
} // Prints "Here, we will choose something to say"
some_words = None; // some_words now set to None
// exactly the same match block as above
match some_words {
Some(str) => println!("Here, we will {}", str),
None => println!("I've got nothing to say"),
} // Prints "I've got nothing to say"
Oltre a match, Rust ha altri strumenti disponibili per controllare e accedere ai valori contenuti in Option, ma ormai match dovrebbe esserti familiare.
Inoltre, considera questo come una dimostrazione del perché Rust usa Option invece di un riferimento nullo.
Il punto è che devi assolutamente controllare se la variabile Option è Some (nel qual caso puoi procedere a estrarre e usare il valore che contiene), oppure None.
In qualsiasi altro caso, il tuo programma non verrà compilato: il compilatore ti tiene al sicuro da null.
Esercizio di apprendimento
