Ce este un tip asociat (associated type)?

Tipul asociat (associated type) este un substituent (completator de nume) pentru un tip care va fi utilizat efectiv în protocol. El indică faptul că protocolul necesită prezența unui anumit tip, dar nu îl definește explicit până când protocolul este adoptat de un tip concret sau în extensia sa.

Avantaje:

• Flexibilitate: Permite protocoalelor să rămână universale, lucrând cu orice tip care îndeplinește cerințele tipului asociat.
• Tipizare puternică: Compilatorul cunoaște tipul concret în timpul compilării, prevenind erorile și asigurând siguranța tipurilor.
• Citire îmbunătățită: Protocolul declară în mod explicit tipul de date cu care lucrează, făcându-l mai previzibil.

Este declarat folosind cuvântul cheie associatedtype.

Exemplu:

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

struct IntContainer: Container {
    // Specificație explicită a tipului Item (opțional, Swift poate deduce)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift deduce că Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

Se pot adăuga restricții la tipul asociat, de exemplu, cerând ca acesta să corespundă altui protocol:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element trebuie să fie Comparable
    var elements: [Element] { get set }
}