Associated Values in Swift: Was es ist, Syntax und Beispiele

Was sind Associated Values?

Associated Values sind zusätzliche Informationen, die ein Enum-Fall zusammen mit sich selbst speichern kann. Anders als Raw Values, die auf Deklarationsebene festgelegt sind, werden Associated Values beim Erstellen einer Enum-Instanz festgelegt.

Stellen Sie sich die Modellierung einer Zahlungsmethode vor: Der Fall creditCard kann die letzten 4 Ziffern und das Ablaufdatum speichern, während der Fall applePay nichts speichert. Mit Associated Values wird dies ohne Unterklassen oder optionale Felder natürlich implementiert.

Laut Apple-Dokumentation verwandeln Associated Values ein Enum von einer einfachen Sammlung von Konstanten in einen algebraischen Datentyp (Summentyp), der für funktionale Sprachen charakteristisch ist. Dies erhöht die Ausdruckskraft des Codes erheblich.

Syntax der Associated Values

Associated Values werden in Klammern nach dem Fall deklariert, wobei Parameternamen und -typen wie bei Funktionen angegeben werden.

enum MediaFile {
    case image(width: Int, height: Int, format: String)
    case video(duration: Double, codec: String)
    case audio(bitrate: Int)
    case unknown
}

Beim Erstellen einer Instanz werden die Associated Values als Argumente übergeben:

let photo = MediaFile.image(width: 1920, height: 1080, format: "jpeg")
let clip = MediaFile.video(duration: 120.5, codec: "h264")

Swift legt keine Einschränkungen hinsichtlich der Anzahl oder Typen von Associated Values fest. Sie können Generics, Closures und andere Enums innerhalb von Associated Values verwenden. Dies ermöglicht den Aufbau komplexer verschachtelter Strukturen.

Die Parameternamen von Associated Values werden als Argumentbezeichner beim Erstellen einer Instanz verwendet — dies verbessert die Lesbarkeit des Codes. Bei der Extraktion über switch dienen die Namen als Dokumentation und verdeutlichen die Bedeutung jedes Werts. Dieser Ansatz macht den Code selbstdokumentierend und reduziert die Wahrscheinlichkeit von Fehlern beim Datenabgleich. Dies ist besonders wertvoll in der Teamentwicklung großer iOS-Anwendungen.

Switch mit Associated Values

Switch ist die primäre Methode zur Extraktion von Associated Values. Werte werden über let oder var an Konstanten oder Variablen gebunden.

func describe(_ file: MediaFile) -> String {
    switch file {
    case .image(let w, let h, let fmt):
        return "Image \(w)x\(h) .\(fmt)"
    case .video(let duration, let codec):
        return "Video \(duration)s, \(codec)"
    case .audio(let bitrate):
        return "Audio \(bitrate)kbps"
    case .unknown:
        return "Unknown format"
    }
}

Swift unterstützt partiellen Abgleich — Sie können konkrete Werte für Associated Values angeben:

switch file {
case .image(let w, let h, "png"):
    print("PNG-Bild \(w)x\(h)")
case .image(1920, 1080, _):
    print("Full-HD-Bild")
default:
    break
}

Die Verwendung eines Platzhalters (_) ermöglicht das Ignorieren unnötiger Associated Values, und Konstanten in Fällen erlauben die Überprüfung auf Übereinstimmung mit bestimmten Werten.

Associated Values vs Raw Values

Viele Anfänger verwechseln Associated Values mit Raw Values. Dies sind unterschiedliche Mechanismen mit unterschiedlichen Anwendungsfällen.

Laut Swift Evolution wurden Associated Values in Swift 2.0 als Teil des Enum-Redesigns eingeführt. Sie bieten einen algebraischen Ansatz für Typen, bei dem jeder Fall ein separater Konstruktor mit eigener Signatur ist.

Praktische Beispiele für Associated Values

Associated Values werden aktiv in realen iOS-Projekten eingesetzt. Betrachten wir drei typische Szenarien.

Modellierung von API-Antworten

enum APIResponse<T: Codable> {
    case success(data: T, cached: Bool)
    case failure(error: Error, retryAvailable: Bool)
    case loading(progress: Double)
}

UI-Zustandsmaschine

enum ViewState<T> {
    case idle
    case loading(message: String)
    case loaded(data: T)
    case error(message: String, retryAction: () -> Void)
}

Mit Associated Values wird Enum zu einem leistungsstarken Werkzeug für Zustandsmaschinen: Jeder Fall ist ein Zustand, Associated Values sind Parameter dieses Zustands. Der Compiler garantiert, dass alle Übergänge behandelt werden.

Extraktion über if case und guard case

Um einen einzelnen Fall ohne switch zu überprüfen, verwenden Sie if case oder guard case. Dies ist kompakter, wenn Sie nur eine Option behandeln müssen.

let error = NetworkError.timeout(seconds: 30)

if case .timeout(let seconds) = error {
    print("Anfrage nach \(seconds)s abgelaufen")
}

guard case .httpError(let code, _) = error else {
    return
}
print("HTTP-Fehler mit Code \(code)")