Respuesta

En Rust, los enumerados (enums) pueden almacenar no solo valores (variants), sino también datos asociados (payload). Esto los hace especialmente útiles para crear tipos de datos algebraicos, por ejemplo, para representar estados o mensajes con parámetros. Por ejemplo:

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

Para manejar tales enums, generalmente se utiliza el operador match, que permite desempaquetar los valores anidados de cada variante:

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

match msg {
    Message::Quit => println!("Mensaje de salida"),
    Message::Move { x, y } => println!("Mover a ({}, {})", x, y),
    Message::Write(text) => println!("Texto: {}", text),
    Message::ChangeColor(r, g, b) => println!("Cambiar color a ({}, {}, {})", r, g, b),
}

Este enfoque permite manejar de manera segura y clara todos los casos posibles, lo que minimiza los errores en la lógica del programa.

Pregunta capciosa

¿Por qué no existe null para enums en Rust, y qué devolverá un intento de coincidencia con una variante inexistente?

Una respuesta incorrecta común: "El compilador dejará pasar el error si no se manejan todas las variantes del enum en el match."

De hecho, el compilador generará un error si no se consideran todas las variantes posibles, o requerirá añadir un catch-all (_). Por ejemplo:

enum Status { Ok, Err(String) }
let st = Status::Ok;
match st {
    Status::Ok => println!("Ok"),
    // Si se olvida Status::Err, el compilador se quejará
}

Ejemplos de errores reales debido al desconocimiento de los matices del tema

---

Historia En un proyecto, al ampliar el enum, no se agregó el manejo de la nueva variante en el match en todos los lugares donde se utilizaba. Esto llevó a un panic! en el lanzamiento, ya que el match no era exhaustivo, mientras que las pruebas no cubrían todos los casos.

---

Historia En otro caso, intentaron comparar el enum utilizando un == normal sin implementar PartialEq para variantes complejas con datos asociados, lo que provocó un error de compilación inesperado.

---

Historia El equipo utilizó catch-all (_) para manejar variantes, y luego, al agregar nuevas variantes, esto llevó a que la lógica ignorara silenciosamente nuevos casos, lo que causó defectos difíciles de encontrar.