Cos'è un tipo associato (associated type)?

Il tipo associato (associated type) è un segnaposto (riempitore di nome) per un tipo che verrà effettivamente utilizzato nel protocollo. Indica che il protocollo richiede la presenza di un tipo specifico, ma non lo definisce esplicitamente fino a quando il protocollo non viene adottato da un tipo concreto o nella sua estensione.

Vantaggi:

• Flessibilità: Permette ai protocolli di rimanere universali, lavorando con qualsiasi tipo che soddisfi i requisiti del tipo associato.
• Tipizzazione forte: Il compilatore conosce il tipo specifico durante la compilazione, prevenendo errori e garantendo la sicurezza del tipo.
• Migliore leggibilità: Il protocollo dichiara esplicitamente il tipo di dati con cui lavora, rendendolo più prevedibile.

Viene dichiarato usando la parola chiave associatedtype.

Esempio:

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

struct IntContainer: Container {
    // Specifica esplicita del tipo Item (opzionale, Swift può inferirlo)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

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

È possibile aggiungere restrizioni al tipo associato, ad esempio, richiedendo che sia conforme ad un altro protocollo:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element deve essere Comparable
    var elements: [Element] { get set }
}