რა არის დაკავშირებული ტიპი (associated type)?

დაკავშირებული ტიპი (associated type) არის სახელის გამსაზღვრელი (placeholder) ტიპისთვის, რომელიც რეალურად გამოიყენება პროტოკოლში. იგი მიუთითებს, რომ პროტოკოლს სჭირდება გარკვეული ტიპის არსებობა, მაგრამ ის არ განსაზღვრავს მას პირდაპირ, სანამ პროტოკოლი არ მიიღება კონკრეტული ტიპის მიერ ან მისი გაფართოებაში.

უპირატესობები:

• საკონტროლო: საშუალებას აძლევს პროტოკოლებს დარჩნენ უნივერსალურები, მუშაობენ ნებისმიერ ტიპთან, რომელიც აკმაყოფილებს დაკავშირებული ტიპის მოთხოვნებს.
• მტკიცე ტიპიზაცია: კომპილატორი იცის კონკრეტული ტიპი დროს, რაც თავიდან აცილებს შეცდომებს და უზრუნველყოფს ტიპების უსაფრთხოებას.
• მჯობესია წაკითხვადობა: პროტოკოლი აშკარად აცხადებს მონაცემთა ტიპს, რომლისთანაც მუშაობს, რაც მას უფრო წინასწარმეტყველს ხდის.

იგი გამოაცხადება 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 }
}