Dopasowanie wzorców, Option i Result

Rust posiada niezwykle potężny mechanizm sterowania przepływem zwany dopasowywaniem wzorców (pattern matching). Pozwala on na porównanie wartości z serią wzorców i wykonanie kodu na podstawie dopasowanego wzorca.

Instrukcja match

Instrukcja match w języku Rust przypomina switch znany z innych języków, ale jest znacznie potężniejsza i bezpieczniejsza. Kompilator gwarantuje, że dopasowanie jest wyczerpujące (esaustivo), co oznacza, że wszystkie możliwe przypadki muszą zostać obsłużone:

enum Direction {
    North,
    South,
    East,
    West,
}

let dir = Direction::East;

match dir {
    Direction::North => println!("Andiamo a Nord"),
    Direction::South => println!("Andiamo a Sud"),
    Direction::East => println!("Andiamo a Est"),
    Direction::West => println!("Andiamo a Ovest"),
}

Obsługa braku wartości: Option

Rust nie posiada pojęcia wartości pustej (null lub nil). Zamiast tego biblioteka standardowa definiuje typ wyliczeniowy (enum) o nazwie Option<T>, który może zawierać:

• Some(T): zawiera wartość typu T.
• None: oznacza brak wartości.

let x: Option<i32> = Some(5);
let y: Option<i32> = None;

match x {
    Some(val) => println!("C'e un valore: {}", val),
    None => println!("Nessun valore trovato"),
}

Obsługa błędów odwracalnych: Result

W przypadku operacji, które mogą się nie powieść (np. odczyt pliku lub konwersja tekstu na liczbę), Rust używa typu wyliczeniowego Result<T, E>, który posiada dwa warianty:

• Ok(T): operacja zakończyła się sukcesem i zawiera pomyślnie uzyskaną wartość T.
• Err(E): operacja nie powiodła się i zawiera błąd E.

fn divide(numerator: f64, denominator: f64) -> Result<f64, String> {
    if denominator == 0.0 {
        Err(String::from("Divisione per zero!"))
    } else {
        Ok(numerator / denominator)
    }
}

Dzięki kompilatorowi Rusta jesteś zobowiązany do obsłużenia przypadku Err zanim uzyskasz dostęp do wartości wewnątrz Ok, co zapobiega wielu błędom w czasie wykonywania programu.

Wzorzec wieloznaczny _ (Wildcard)

Podczas pracy z typami danych posiadającymi bardzo dużą liczbę wariantów (jak liczby całkowite), wymienienie wszystkich przypadków w instrukcji match jest niemożliwe. Rust pozwala na użycie znaku wieloznacznego _ w celu przechwycenia wszystkich pozostałych, jawnie niezdefiniowanych przypadków:

let some_u8 = 3u8;
match some_u8 {
    1 => println!("Uno"),
    2 => println!("Due"),
    _ => println!("Qualcos'altro"), // Gestisce tutti gli altri valori
}

Spróbuj sam