Respuesta.

El pattern matching es una parte fundamental del lenguaje Swift, que permite manejar de manera segura y elegante las distintas variantes de los enums. Este enfoque proviene de los lenguajes funcionales, donde el pattern matching permite gestionar de manera compacta diferentes casos, evitando largas cadenas de if-else. En Swift, el pattern matching para enums se implementa principalmente mediante switch, donde cada case se maneja por separado.

El problema surge cuando no se implementan todos los casos, o se elige un default que "oculta" potencialmente los casos no considerados. Esto puede llevar a errores en tiempo de ejecución al agregar nuevos casos al enum.

La solución es recorrer explícitamente todas las variantes del enum en el switch, evitando el default (si es posible). Este enfoque garantiza que al cambiar el enum, el compilador no pasará por alto los casos no manejados.

Ejemplo de código:

enum NetworkStatus {
    case connected
    case disconnected
    case connecting
}

func handle(status: NetworkStatus) {
    switch status {
    case .connected:
        print("La red está conectada")
    case .disconnected:
        print("La red está desconectada")
    case .connecting:
        print("Conectando...")
    }
}

Características clave:

No usar default hace que el pattern matching sea "exhaustivo" y seguro.
Al agregar nuevos cases, el compilador exige una descripción de la nueva variante.
El switch para enums sin valores asociados es lo más eficiente y limpio posible.

Preguntas capciosas.

1. ¿Se pueden usar expresiones if case para enums sin valores asociados?

Sí, se puede. Esto permite verificar de manera concisa un case específico.

if case .connected = status {
    print("La red está conectada")
}

2. ¿Es obligatorio implementar default si se utilizan todos los cases en el switch?

No, si se han implementado todas las variantes, no se requiere default. Es mejor evitar el default, así el compilador señaliza la adición de nuevos cases.

3. ¿Se puede usar fallthrough dentro de un switch con enums?

Sí, es posible, pero no se recomienda en absoluto, ya que fallthrough no respeta la semántica de los cases y puede llevar a errores lógicos.

Errores comunes y anti-patrones

Agregar default en lugar de cases explícitos provoca errores silenciosos al extender el enum.
No manejar nuevas variantes del enum genera errores inesperados.
Usar fallthrough deteriora la legibilidad y la confiabilidad del código.

Ejemplo de la vida real

Caso negativo

Se agregó un nuevo case .noSignal en el enum NetworkStatus, pero en el switch existente hay un default, por lo que el error solo se detecta en tiempo de ejecución, cuando el estado no se maneja correctamente.

Ventajas:

Menos código, más rápido de escribir.

Desventajas:

El error es imperceptible, llevando a bugs en el futuro.

Caso positivo

Todos los cases se manejan de manera explícita. El compilador informa sobre la necesidad de modificar el switch de inmediato al agregar un nuevo case.