Option & Unwrap

Einführung

In diesem Lab lernen wir über die Option-Enumeration in der std-Bibliothek von Rust, die verwendet wird, um Fälle zu behandeln, in denen das Fehlen möglich ist. Sie bietet zwei Optionen: Some(T) für den Fall, dass ein Element vom Typ T gefunden wird, und None für den Fall, dass kein Element gefunden wird. Diese Fälle können explizit mit match behandelt oder implizit mit unwrap behandelt werden. Die explizite Behandlung ermöglicht eine größere Kontrolle und sinnvolle Ausgabe, während unwrap entweder das innere Element zurückgeben oder einen Fehler auslösen kann.

Hinweis: Wenn das Lab keinen Dateinamen angibt, können Sie einen beliebigen Dateinamen verwenden. Beispielsweise können Sie main.rs verwenden und es mit rustc main.rs &&./main kompilieren und ausführen.

Option & unwrap

Im letzten Beispiel haben wir gezeigt, dass wir das Programm willkürlich zum Absturz bringen können. Wir haben unserem Programm befohlen, panic zu erzeugen, wenn wir eine süße Limonade trinken. Aber was passiert, wenn wir irgend einen Drink erwarten, aber keinen erhalten? Dieser Fall wäre genauso schlimm, also muss er behandelt werden!

Wir könnten dies gegen die leere Zeichenkette ("") testen, wie wir es bei einer Limonade tun. Da wir Rust verwenden, lassen wir stattdessen den Compiler Fälle aufzeigen, in denen kein Drink vorhanden ist.

Eine enum namens Option<T> in der std-Bibliothek wird verwendet, wenn das Fehlen möglich ist. Sie manifestiert sich als eine von zwei "Optionen":

• Some(T): Ein Element vom Typ T wurde gefunden
• None: Kein Element wurde gefunden

Diese Fälle können entweder explizit über match behandelt oder implizit mit unwrap behandelt werden. Die implizite Behandlung wird entweder das innere Element zurückgeben oder panic auslösen.

Beachten Sie, dass es möglich ist, panic manuell mit expect anzupassen, aber unwrap liefert uns sonst einen weniger sinnvollen Output als die explizite Behandlung. Im folgenden Beispiel liefert die explizite Behandlung ein kontrollierteres Ergebnis, während die Möglichkeit besteht, panic zu erzeugen, wenn gewünscht.

// Der Erwachsene hat alles gesehen und kann jeden Drink gut behandeln.
// Alle Drinks werden explizit mit `match` behandelt.
fn give_adult(drink: Option<&str>) {
    // Legen Sie für jeden Fall eine Aktion fest.
    match drink {
        Some("lemonade") => println!("Yuck! Zu süß."),
        Some(inner)   => println!("{}? Wie nett.", inner),
        None          => println!("Kein Drink? Oh, gut."),
    }
}

// Andere werden vor dem Trinken von süßen Drinks in Panik geraten.
// Alle Drinks werden implizit mit `unwrap` behandelt.
fn drink(drink: Option<&str>) {
    // `unwrap` gibt einen `panic` zurück, wenn es ein `None` erhält.
    let inside = drink.unwrap();
    if inside == "lemonade" { panic!("AAAaaaaa!!!!"); }

    println!("Ich liebe {}s!!!!!", inside);
}

fn main() {
    let water  = Some("water");
    let lemonade = Some("lemonade");
    let void  = None;

    give_adult(water);
    give_adult(lemonade);
    give_adult(void);

    let coffee = Some("coffee");
    let nothing = None;

    drink(coffee);
    drink(nothing);
}

Zusammenfassung

Herzlichen Glückwunsch! Sie haben das Lab zu Option & Unwrap abgeschlossen. Sie können in LabEx weitere Labs ausprobieren, um Ihre Fähigkeiten zu verbessern.