Antwort.

Pattern Matching ist ein grundlegender Bestandteil der Sprache Swift, der es ermöglicht, verschiedene Varianten von Enums sicher und elegant zu verarbeiten. Dieser Ansatz stammt aus funktionalen Sprachen, wo Pattern Matching eine kompakte Bearbeitung verschiedener Fälle ermöglicht, ohne lange if-else-Ketten. In Swift wird Pattern Matching für Enums hauptsächlich mit switch implementiert, wobei jeder case separat bearbeitet wird.

Das Problem tritt auf, wenn nicht alle Fälle implementiert sind oder ein default ausgewählt wurde, der potenziell nicht berücksichtigte Fälle "verbirgt". Dies kann zu Laufzeitfehlern beim Hinzufügen neuer Fälle zu einem Enum führen.

Die Lösung besteht darin, alle Varianten des Enums im switch explizit durchzugehen und default zu vermeiden (wenn möglich). Dieser Ansatz gewährleistet, dass der Compiler nicht verpasste Fälle übersieht, wenn sich das Enum ändert.

Beispielcode:

enum NetworkStatus {
    case connected
    case disconnected
    case connecting
}

func handle(status: NetworkStatus) {
    switch status {
    case .connected:
        print("Netzwerk verbunden")
    case .disconnected:
        print("Netzwerk getrennt")
    case .connecting:
        print("Verbindung...")
    }
}

Wichtige Merkmale:

Die Nichtnutzung von default macht das Pattern Matching "ausführlich" und sicher.
Bei Hinzufügung neuer cases verlangt der Compiler eine Beschreibung der neuen Variante.
Switch für Enums ohne Associated Values ist maximal performant und sauber.

Fangfragen.

1. Kann man für Enums ohne Associated Values if case-Ausdrücke verwenden?

Ja, das ist möglich. Damit kann man spezifisch einen case kurz prüfen.

if case .connected = status {
    print("Netzwerk verbunden")
}

2. Ist es notwendig, default zu implementieren, wenn im switch alle cases verwendet werden?

Nein, wenn alle Varianten implementiert sind, wird default nicht benötigt. Es ist besser, default zu vermeiden — so signalisiert der Compiler das Hinzufügen neuer cases.

3. Kann man fallthrough innerhalb von switch mit enums verwenden?

Ja, das ist möglich, wird aber extrem nicht empfohlen, da fallthrough die Semantik von cases nicht berücksichtigt und zu logischen Fehlern führen kann.

Typische Fehler und Anti-Patterns

Das Hinzufügen von default anstelle expliziter cases führt zu stummen Fehlern bei der Erweiterung von enums.
Das Fehlen der Bearbeitung neuer Varianten von enums verursacht unerwartete Bugs.
Die Verwendung von fallthrough beeinträchtigt die Lesbarkeit und Zuverlässigkeit des Codes.

Beispiel aus dem Leben

Negativer Fall

Im enum NetworkStatus wurde ein neuer case .noSignal hinzugefügt, aber im bestehenden switch gibt es ein default, daher wird der Fehler erst zur Laufzeit erkannt, wenn der Status nicht korrekt verarbeitet wird.

Vorteile:

Weniger Code, schneller geschrieben.

Nachteile:

Der Fehler ist unauffällig und führt zu Bugs in der Zukunft.

Positiver Fall

Alle cases werden explizit behandelt. Der Compiler informiert sofort über die Notwendigkeit, das switch bei der Hinzufügung eines neuen cases anzupassen.