Antwort.

In Swift sind die Konstruktionen switch und enum mit leistungsstarken Musterabgleichsmöglichkeiten und strenger Typensicherheit implementiert, was sie von den meisten Äquivalenten in anderen Sprachen unterscheidet.

Hintergrund

In C und C++, sowie in Objective-C, sind Enumerationen einfach eine Menge von Ganzzahlen, und die switch-Anweisung vergleicht Werte anhand von Übereinstimmungen. In Swift sind Enumerationen (enum) viel leistungsfähiger — sie unterstützen assoziierte Werte, berechnete Eigenschaften und Methoden. Die switch-Anweisung unterstützt Musterabgleich, Schutz vor unvollständigen Fällen und arbeitet mit Ranges, Tupeln, Optionalen und vielem mehr.

Problem

In traditionellen Sprachen führt switch häufig zu Fehlern, die mit dem Fehlen von Exhaustiveness (vollständige Berücksichtigung aller Fälle) sowie Typfehlern und der Unfähigkeit, zusätzliche Daten sicher in enum-Fällen zu speichern, zusammenhängen. Dies führt zu Laufzeitfehlern und nicht zu Kompilierungsfehlern.

Lösung

In Swift erfordert switch die vollständige Behandlung aller Fälle, es sei denn, die Enumeration ist ausdrücklich mit @unknown default gekennzeichnet. Assoziierte Werte ermöglichen es, zusätzliche Informationen elegant in enum-Fällen zu speichern. Beispiel:

enum NetworkResult {
    case success(Int)
    case failure(String)
}

func handle(result: NetworkResult) {
    switch result {
    case .success(let code):
        print("Erfolg mit Code: \(code)")
    case .failure(let error):
        print("Fehler mit Fehler: \(error)")
    }
}

Wichtige Eigenschaften:

• Enumerationen enums können assoziierte Werte/Daten haben
• Der switch-Mechanismus erfordert eine vollständige Abdeckung aller Fälle (erschöpfender Abgleich)
• Swift unterstützt Musterabgleich für Tupel, Ranges, Optionales und nicht nur für enums

Fangfragen.

Muss man immer default im switch für enums schreiben?

Nein, wenn alle Fälle der Enumeration ausdrücklich abgedeckt sind, wird default nicht benötigt. Darüber hinaus wird nicht empfohlen, default ohne Notwendigkeit zu verwenden — der Compiler könnte nicht auf neue enum-Fälle hinweisen, wenn sie hinzugefügt werden.

Kann man fallthrough verwenden, um automatisch zwischen Fällen zu wechseln?

Ja, das Schlüsselwort fallthrough ist verfügbar, sollte jedoch vorsichtig verwendet werden. Es überträgt keine assoziierten Werte, und solche Übergänge sind in der Praxis von Swift eher selten.

switch number {
case 1:
    print("eins")
    fallthrough
case 2:
    print("oder zwei")
default:
    print("sonst")
}

Kann ein enum in Swift nach rawValue verglichen werden, wenn er assoziierte Werte enthält?

Nein. Nur Enumerationen ohne assoziierte Werte und mit explizit angegebenem rawValue können über rawValue initialisiert und verglichen werden.

Typische Fehler und Anti-Patterns

• Das Hinzufügen von default in switch für enums zur "Absicherung" — das verbirgt das Auftreten neuer Fälle.
• Die Verwendung von enums mit einer großen Anzahl von Fällen zur Speicherung komplexer Daten, wenn besser eine Struktur verwendet werden sollte.
• Die Nichtnutzung von Musterabgleich und das Ignorieren assoziierter Werte.

Beispiel aus dem Leben

Negativer Fall

Ein Entwickler hat einen default-Fall in switch für enum NetworkResult hinzugefügt, was dazu führte, dass bei der Hinzufügung eines neuen Falls die Logik der Verarbeitung nicht aktualisiert wurde und das Programm "still" fehlerhaft arbeitete.

Vorteile: Keine Compiler-Warnungen bei der Hinzufügung von Fällen.

Nachteile: Fehler treten zur Laufzeit der Anwendung auf, die Logik wird nicht automatisch aktualisiert.

Positiver Fall

Ein Mitarbeiter verzichtete auf default in switch für enum, was es dem Compiler ermöglichte, das Fehlen der Verarbeitung neuer Fälle nach deren Hinzufügung zu erkennen.

Vorteile: Fehler werden während der Kompilierung erkannt, das Verhalten der Anwendung wird vorhersehbarer.

Nachteile: Bei einer großen Anzahl von Fällen ist mehr Code erforderlich, aber wir gewinnen an Zuverlässigkeit.