Co je to asociovaný typ (associated type)?

Přiřazený typ (associated type) je zástupný (vyplňovač jména) pro typ, který bude skutečně použit v protokolu. Ukazuje, že protokol vyžaduje přítomnost určitého typu, ale explicitně jej neurčuje, dokud je protokol přijat konkrétním typem nebo v jeho rozšíření.

Výhody:

• Flexibilita: Umožňuje protokolům zůstat univerzální, pracovat s jakýmkoli typem splňujícím požadavky přiřazeného typu.
• Silné typování: Kompilátor zná konkrétní typ během kompilace, což zabraňuje chybám a zajišťuje bezpečnost typů.
• Lepší čitelnost: Protokol jasně deklaruje datový typ, se kterým pracuje, což jej činí předvídatelnějším.

Deklaruje se pomocí klíčového slova associatedtype.

Příklad:

protocol Container {
    associatedtype Item // Přiřazený typ Item
    var items: [Item] { get set }
    mutating func append(_ item: Item)
}

struct IntContainer: Container {
    // Explicitní určení typu Item (volitelné, Swift jej může odvodit)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

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

K přiřazenému typu lze přidat omezení, například požadavek, aby odpovídal jinému protokolu:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element musí být typu Comparable
    var elements: [Element] { get set }
}