Wat is een geassocieerd type (associated type)?

De geassocieerde type (associated type) is een plaatsvervanger (vulnaam) voor een type dat daadwerkelijk in het protocol wordt gebruikt. Het geeft aan dat het protocol de aanwezigheid van een bepaald type vereist, maar dit niet expliciet definieert totdat het protocol wordt aangenomen door een specifiek type of in de uitbreiding ervan.

Voordelen:

• Flexibiliteit: Maakt het mogelijk voor protocollen om universeel te blijven, door te werken met elk type dat voldoet aan de vereisten van het geassocieerde type.
• Sterke typecontrole: De compiler kent het specifieke type tijdens de compilatie, wat fouten voorkomt en de typeveiligheid garandeert.
• Verbeterde leesbaarheid: Het protocol verklaart expliciet het datatype waarmee het werkt, waardoor het voorspelbaarder wordt.

Het wordt gedeclareerd met het sleutelwoord associatedtype.

Voorbeeld:

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

struct IntContainer: Container {
    // Expliciete specificatie van het type Item (optioneel, Swift kan het afleiden)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift leidt af dat Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

Restricties kunnen worden toegevoegd aan het geassocieerde type, bijvoorbeeld, vereisen dat het voldoet aan een ander protocol:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element moet Comparable zijn
    var elements: [Element] { get set }
}