¿Qué es un tipo asociado (associated type)?

El tipo asociado (associated type) es un marcador de posición (relleno de nombre) para un tipo que en realidad se utilizará en el protocolo. Indica que el protocolo requiere la presencia de un tipo específico, pero no lo define explícitamente hasta que el protocolo es adoptado por un tipo concreto o en su extensión.

Ventajas:

• Flexibilidad: Permite que los protocolos permanezcan universales, trabajando con cualquier tipo que cumpla con los requisitos del tipo asociado.
• Tipificación fuerte: El compilador conoce el tipo concreto durante la compilación, lo que previene errores y garantiza la seguridad del tipo.
• Mejor legibilidad: El protocolo declara explícitamente el tipo de datos con el que trabaja, haciéndolo más predecible.

Se declara usando la palabra clave associatedtype.

Ejemplo:

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

struct IntContainer: Container {
    // Especificación explícita del tipo Item (opcional, Swift puede inferirlo)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

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

Se pueden agregar restricciones al tipo asociado, por ejemplo, exigir que cumpla con otro protocolo:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element debe ser Comparable
    var elements: [Element] { get set }
}