Байланыштуу түр (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 }
}