Ի՞նչ է կապված տիպը (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 }
}