Antwoord

In Rust kunnen enumeraties (enums) niet alleen waarden (variants) opslaan, maar ook geassocieerde gegevens (payload). Dit maakt ze bijzonder handig voor het maken van algebraïsche datatypen, bijvoorbeeld om status of berichten met parameters voor te stellen. Bijvoorbeeld:

enum Message {
    Quit,
    Move { x: i32, y: i32 },
    Write(String),
    ChangeColor(i32, i32, i32),
}

Voor het verwerken van dergelijke enums wordt meestal de match-operator gebruikt, die het mogelijk maakt om geneste waarden van elke variant uit te pakken:

let msg = Message::Move { x: 10, y: 20 };

match msg {
    Message::Quit => println!("Quit message"),
    Message::Move { x, y } => println!("Move to ({}, {})", x, y),
    Message::Write(text) => println!("Text: {}", text),
    Message::ChangeColor(r, g, b) => println!("Change color to ({}, {}, {})", r, g, b),
}

Deze aanpak maakt het mogelijk om veilig en expliciet met alle mogelijke gevallen om te gaan, wat fouten in de logica van het programma minimaliseert.

Trickvraag

Waarom bestaat null niet voor enums in Rust, en wat retourneert de poging om te matchen met een niet-bestaande variant?

Een vaak verkeerd antwoord: "De compiler negeert de fout als je niet alle varianten van de enum in match behandelt."

In werkelijkheid zal de compiler een foutmelding geven als niet alle mogelijke varianten in overweging worden genomen, of zal het vereisen dat er een catch-all (_) wordt toegevoegd. Bijvoorbeeld:

enum Status { Ok, Err(String) }
let st = Status::Ok;
match st {
    Status::Ok => println!("Ok"),
    // Als je Status::Err vergeet, zal de compiler klagen
}

Voorbeelden van daadwerkelijke fouten door onwetendheid over de subtiliteiten van het onderwerp

---

Verhaal In een project werd bij het uitbreiden van enum de verwerking van de nieuwe variant in match niet toegevoegd op alle plaatsen waar deze werd gebruikt. Dit leidde tot een panic! bij de release, omdat de match niet uitgeput (exhaustive) was, terwijl de tests niet alle cases dekte.

---

Verhaal In een ander geval probeerden ze enum te vergelijken met behulp van de gewone == zonder PartialEq te implementeren voor complexe varianten met geassocieerde gegevens, wat een onverwachte compilatiefout veroorzaakte.

---

Verhaal Het team gebruikte catch-all (_) voor de verwerking van variants, en later, bij het toevoegen van nieuwe variants, leidde dit ertoe dat de logica stilletjes nieuwe gevallen negeerde, wat resulteerde in moeilijk te traceren defecten.