Kas ir saistīts tips (associated type)?

Saistītais tips (associated type) ir vietturis (aizpildītāja nosaukums) tipam, kas faktiski tiks izmantots protokolā. Tas norāda, ka protokolam ir nepieciešams noteikts tips, bet tas netiek skaidri definēts līdz brīdim, kad protokols tiek pieņemts ar konkrētu tipu vai tā paplašinājumā.

Priekšrocības:

• Elastība: ļauj protokoliem palikt universāliem, strādājot ar jebkuru tipu, kas atbilst saistītā tipa prasībām.
• Stipra tipizācija: kompilators zina konkrēto tipu laikā, novēršot kļūdas un nodrošinot tipu drošību.
• Uzlabota lasāmība: protokols skaidri norāda uz datu tipu, ar kuru tas strādā, padarot tā lietošanu paredzamāku.

Tiek deklarēts ar atslēgvārdu associatedtype.

Piemērs:

protocol Container {
    associatedtype Item // Saistītais tips Item
    var items: [Item] { get set }
    mutating func append(_ item: Item)
}

struct IntContainer: Container {
    // Skaidra Item tipa norāde (neobligāti, Swift var to automātiski izvilkt)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift automātiski secina, ka Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

Var pievienot ierobežojumus saistītajam tipam, piemēram, prasīt, lai tas atbilstu citam protokolam:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element ir jābūt Comparable
    var elements: [Element] { get set }
}