Was ist ein assoziierter Typ (associated type)?

Der assoziierte Typ (associated type) ist ein Platzhalter (Füllername) für einen Typ, der tatsächlich im Protokoll verwendet wird. Er zeigt an, dass das Protokoll die Anwesenheit eines bestimmten Typs erfordert, aber ihn nicht explizit definiert, bis das Protokoll von einem konkreten Typ übernommen wird oder in seiner Erweiterung.

Vorteile:

• Flexibilität: Ermöglicht es Protokollen, universell zu bleiben, indem sie mit jedem Typ arbeiten, der die Anforderungen des assoziierten Typs erfüllt.
• Starke Typisierung: Der Compiler kennt den konkreten Typ während der Kompilierung, was Fehler verhindert und die Typsicherheit gewährleistet.
• Verbesserte Lesbarkeit: Das Protokoll gibt explizit den Datentyp an, mit dem es arbeitet, was es vorhersehbarer macht.

Es wird mit dem Schlüsselwort associatedtype deklariert.

Beispiel:

protocol Container {
    associatedtype Item // Assoziierter Typ Item
    var items: [Item] { get set }
    mutating func append(_ item: Item)
}

struct IntContainer: Container {
    // Explizite Angabe des Typs Item (optional, Swift kann es ableiten)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift leitet ab, dass Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

Es können Einschränkungen für den assoziierten Typ hinzugefügt werden, z.B. verlangen, dass er einem anderen Protokoll entspricht:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element muss Comparable sein
    var elements: [Element] { get set }
}