Šta je povezani tip (associated type)?

Povezani tip (associated type) je zamenski (popunjavački ime) za tip koji će se zapravo koristiti u protokolu. On ukazuje da protokol zahteva prisustvo određenog tipa, ali ga ne definiše eksplicitno dok se protokol ne prihvati od strane konkretnog tipa ili u njegovom proširenju.

Prednosti:

• Fleksibilnost: Omogućava protokolima da ostanu univerzalni, radeći sa bilo kojim tipom koji ispunjava zahteve povezane vrste.
• Snažno tipiziranje: Kompajler poznaje konkretan tip tokom kompajliranja, čime se sprečavaju greške i osigurava sigurnost tipova.
• Poboljšana čitljivost: Protokol eksplicitno navodi tip podataka sa kojim radi, čineći ga predvidljivijim.

Deklariše se pomoću ključne reči associatedtype.

Primer:

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

struct IntContainer: Container {
    // Ekslicitno navođenje tipa Item (opciono, Swift može da izvede)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift izvede da je Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

Mogu se dodati ograničenja na povezani tip, na primer, zahtevajući da odgovara drugom protokolu:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element mora biti Comparable
    var elements: [Element] { get set }
}