Какво е асоцииран тип (associated type)?

Свързаният тип (associated type) е заместител (запълнител на име) за тип, който ще бъде използван в протокола. Той показва, че протоколът изисква наличието на определен тип, но не го дефинира явно, докато протоколът не бъде приет от конкретен тип или в неговото разширение.

Предимства:

• Гъвкавост: Позволява на протоколите да остават универсални, работейки с всеки тип, който отговаря на изискванията на свързания тип.
• Силна типизация: Компилаторът знае конкретния тип по време на компилация, което предотвратява грешки и осигурява безопасност на типовете.
• Подобрена четливост: Протоколът явно заявява типа данни, с който работи, правейки го по-предсказуем.

Декларира се с ключовата дума associatedtype.

Пример:

protocol Container {
    associatedtype Item // Свързан тип Item
    var items: [Item] { get set }
    mutating func append(_ item: Item)
}

struct IntContainer: Container {
    // Явно указване на типа Item (по желание, Swift може да го извлече)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift извежда, че Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

Могат да се добавят ограничения към свързания тип, например, да се изисква да отговаря на друг протокол:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element трябва да бъде Comparable
    var elements: [Element] { get set }
}