Čo je to asociovaný typ (associated type)?

Súvisiaci typ (associated type) je zástupný (vyplňovač mena) pre typ, ktorý bude skutočne použitý v protokole. Ukazuje, že protokol vyžaduje prítomnosť určitého typu, ale ho explicitne nedefinuje, kým protokol neprijme konkrétny typ alebo v jeho rozšírení.

Výhody:

• Flexibilita: Umožňuje protokolom zostať univerzálnymi, pracujúc s akýmkoľvek typom, ktorý spĺňa požiadavky spojeného typu.
• Silné typovanie: Kompilátor pozná konkrétny typ počas kompilácie, čím zabraňuje chybám a zabezpečuje bezpečnosť typov.
• Lepšia čitateľnosť: Protokol jasne deklaruje dátový typ, s ktorým pracuje, čím je predvídateľnejší.

Deklaruje sa pomocou kľúčového slova associatedtype.

Príklad:

protocol Container {
    associatedtype Item // Súčlenený typ Item
    var items: [Item] { get set }
    mutating func append(_ item: Item)
}

struct IntContainer: Container {
    // Jasná deklarácia typu Item (voliteľná, Swift ho môže odvodiť)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift odvodiť, že Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

K spojeniu s typom môžu byť pridané obmedzenia, napríklad požiadavka, aby zodpovedal inému protokolu:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element musí byť typu Comparable
    var elements: [Element] { get set }
}