L'enumerazione Option ripresa

Fa parte della sezione Programmazione orientata agli oggetti del percorso Rust di Coddy. Lezione 17 di 61.

Hai già incontrato Option<T> in Rust: è l'enum standard per rappresentare valori che potrebbero esistere oppure no. Ora esaminiamolo da una prospettiva OOP: Option non è solo un enum, è un tipo con potenti metodi integrati che ti consentono di gestire valori nullabili in modo sicuro ed elegante.

Invece di usare un’espressione di corrispondenza ogni volta, puoi usare metodi direttamente sui valori di Option. Il metodo unwrap_or restituisce il valore interno, se esiste, oppure un valore predefinito che fornisci:

let maybe_name: Option<String> = Some(String::from("Alice"));
let name = maybe_name.unwrap_or(String::from("Guest"));
println!("{}", name);  // Alice

let empty: Option<String> = None;
let fallback = empty.unwrap_or(String::from("Guest"));
println!("{}", fallback);  // Guest

Il metodo map trasforma il valore interno se esiste, lasciando None invariato. Questo ti consente di concatenare operazioni senza controllare continuamente None:

let maybe_num: Option<i32> = Some(5);
let doubled = maybe_num.map(|x| x * 2);
println!("{:?}", doubled);  // Some(10)

let nothing: Option<i32> = None;
let still_nothing = nothing.map(|x| x * 2);
println!("{:?}", still_nothing);  // None

Questi metodi incarnano i principi della programmazione orientata agli oggetti (OOP): il tipo Option racchiude il concetto di «forse un valore» e fornisce un’interfaccia semplice per lavorarci. Chiami i metodi sull’oggetto invece di scrivere una logica esterna per esaminarlo.

Sfida

Facile

Creiamo un sistema di profili utente che gestisca con eleganza i dati facoltativi usando i metodi di Option. Gli utenti potrebbero avere un nickname impostato oppure no. Il tuo sistema gestirà elegantemente entrambi i casi senza confronti espliciti.

Creerai due file per organizzare il codice:

profile.rs: definisci una struct pubblica Profile con due campi: username (String) e nickname (Option<String>). Implementa:
- Un costruttore new che accetta uno username e un nickname facoltativo
- Un metodo display_name che restituisce il nickname se esiste, oppure lo username come valore predefinito: usa unwrap_or per gestire questo caso
- Un metodo formatted_nickname che restituisce un Option<String> con il nickname racchiuso tra parentesi quadre (come "[CoolNick]") se esiste, oppure None se non c'è alcun nickname: usa map per trasformare il valore
main.rs: importa il modulo del profilo e crea due profili: uno con un nickname e uno senza. Mostra entrambi i metodi per ciascun profilo per illustrare come i metodi di Option gestiscono diversamente i valori presenti e assenti.

Per il metodo formatted_nickname, usa la formattazione di debug ({:?}) durante la stampa, perché restituisce un Option.

L'output deve seguire questo formato esatto e mostrare entrambi i profili:

Display name: {name}
Formatted nickname: {option}
Display name: {name}
Formatted nickname: {option}

Per esempio, con un profilo per lo username "alice" con nickname "Ace" e un altro per lo username "bob" senza nickname, l'output sarebbe:

Display name: Ace
Formatted nickname: Some("[Ace]")
Display name: bob
Formatted nickname: None

Riceverai tre input: il primo username, il nickname del primo utente e il secondo username (che non ha un nickname).

Provalo tu

mod profile;

use profile::Profile;

fn main() {
    // Leggi gli input
    let mut input1 = String::new();
    std::io::stdin().read_line(&mut input1).expect("Failed to read line");
    let username1 = input1.trim().to_string();

    let mut input2 = String::new();
    std::io::stdin().read_line(&mut input2).expect("Failed to read line");
    let nickname1 = input2.trim().to_string();

    let mut input3 = String::new();
    std::io::stdin().read_line(&mut input3).expect("Failed to read line");
    let username2 = input3.trim().to_string();

    // TODO: Crea il primo profilo con username1 e nickname1 (Some)
    
    // TODO: Crea il secondo profilo con username2 e senza soprannome (None)
    
    // TODO: Stampa display_name e formatted_nickname per il primo profilo
    // Usa {:?} per formatted_nickname, poiché restituisce un Option
    
    // TODO: Stampa display_name e formatted_nickname per il secondo profilo
}