Risposta.

In Swift, la costruzione switch supporta il pattern matching avanzato: puoi utilizzare where per aggiungere condizioni a singoli case. Questo consente di implementare logiche di business complesse e filtraggio.

Esempio:

enum Person {
    case student(score: Int)
    case teacher(specialty: String)
}

let people = [Person.student(score: 95), Person.teacher(specialty: "Math"), Person.student(score: 65)]

for person in people {
    switch person {
    case .student(let score) where score > 90:
        print("Eccellente con punteggio \(score)")
    case .teacher(let specialty):
        print("Insegnante della materia: \(specialty)")
    default:
        print("Altro caso")
    }
}

L'uso di where aumenta la leggibilità ed evita la duplicazione di codice, ma condizioni troppo complesse possono rendere difficile il supporto, e il pattern matching con valori associati richiede un controllo preciso dell'ordine dei case.

Domanda trabocchetto.

Domanda: "È obbligatorio, durante il pattern matching con where all'interno di switch, chiamare variabili con nomi unici in ogni case?"

Risposta: No, ma è raccomandato per evitare confusione. Se si utilizzano nomi di variabili identici in diversi case, il contesto sarà limitato al case corrispondente, ma un nome uguale può ostacolare la leggibilità e la manutenzione del codice.

Esempio:

switch value {
case .status(let code) where code == 200:
    print("OK")
case .status(let code) where code == 404:
    print("Non trovato")

Esempi di errori reali causati dalla mancata conoscenza delle sfumature dell'argomento.

---

Storia 1

In un'app bancaria c'era una sezione di analisi degli stati con più condizioni where. A causa di un break mancante e di un ordine errato dei case, si presentava una situazione in cui non veniva gestito un caso specifico, e gli utenti non vedevano lo stato completo sulle operazioni. L'errore è stato scoperto solo durante i test sul campo.

---

Storia 2

Nel sistema di autorizzazione, lo sviluppatore ha utilizzato nomi di variabili identici in diversi case, il che ha portato a confusione e bug: nel secondo caso si cercava di utilizzare una variabile definita in un altro case. La compilazione funzionava, ma non correttamente in alcuni scenari.

---

Storia 3

Nel complesso pattern matching con where non si è tenuto conto che il default non avesse gestito parte delle combinazioni di enum associati, causando il crash dell'applicazione con errore di pattern matching fallito. Il problema è stato notato solo durante l'integrazione di nuovi tipi di dati in futuro.