Respuesta.

Historia de la pregunta

El operador match en Rust es una herramienta poderosa de coincidencia de patrones, tomada de los lenguajes funcionales. A diferencia de los equivalentes en C/C++, en Rust se realiza una estricta verificación de exhaustividad, y para cada posible caso se deben proporcionar ramas correspondientes.

Problema

Los errores al trabajar con match están más relacionados con no considerar todos los casos del tipo (por ejemplo, enum), un mal manejo de las guardias (condiciones en las ramas) o una estructura anidada compleja. Un tratamiento incorrecto puede llevar a errores en tiempo de compilación o a una lógica implícitamente incorrecta.

Solución

La verificación de exhaustividad no permite omitir ningún caso; el compilador obligará a agregar una rama para cada uno de ellos (o catch-all _).
Las guardias de patrón complementan las ramas de match con condiciones adicionales (if después del patrón).
El anidamiento de coincidencias permite descomponer enums o tuplas complejas en una sola construcción match.

Ejemplo de código:

enum Shape {
    Circle(f64),
    Rectangle { width: f64, height: f64 },
}

fn print_area(s: Shape) {
    match s {
        Shape::Circle(r) if r > 0.0 => println!("area = {}", 3.14 * r * r),
        Shape::Rectangle { width, height } if width > 0.0 && height > 0.0 => println!("area = {}", width * height),
        _ => println!("invalid shape"),
    }
}

Características clave:

Verificación de exhaustividad en coincidencias de patrón.
Oportunidad de usar expresiones de guardia para filtrar.
Coincidencia con estructuras anidadas y manejo de desestructuración.

Preguntas capciosas.

¿Afecta el orden de las ramas en match a la ejecución?

Sí, el orden de las ramas es importante: una vez que se encuentra la primera coincidencia, las posteriores no se verifican. Esto es especialmente crítico con las pattern guard; si hay una rama con guardia antes, interceptará el valor antes de la catch-all.

¿Es obligatorio el catch-all (_) en match por enum?

No, si has considerado explícitamente todos los casos (y los propios variantes de declaración del tipo no cambiarán con el tiempo). Sin embargo, se necesita catch-all al tratar con tipos que pueden tener valores adicionales o cuando no se desea tratar todas las ramas explícitamente.

¿Se pueden usar varios patrones (alternativas) en una sola rama de match?

Sí. A través de una barra vertical (|) se pueden combinar patrones:

match x {
    1 | 2 | 3 => println!("uno, dos o tres"),
    _ => println!("algo más"),
}

Errores comunes y antipatróns

Olvidar tratar todos los casos de enum sin catch-all.
Usar catch-all _ demasiado pronto (antes de ramas específicas).
Ignorar el orden de las ramas con guardias.

Ejemplo de la vida real

Caso negativo

Un desarrollador escribió match con catch-all al principio y no pudo manejar correctamente los casos específicos.

Pros:

El programa compila.

Contras:

La lógica específica nunca funciona, parte del código no se cubre.

Caso positivo

Tratamiento explícito de todos los casos de enum, catch-all solo como la última rama, guardias separadas para casos atípicos.