Τι είναι ένας συσχετισμένος τύπος (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 }
}