Czym jest typ powiązany (associated type)?

Typ powiązany (associated type) to zastępczy (wypełniacz nazwy) dla typu, który faktycznie będzie używany w protokole. Wskazuje, że protokół wymaga obecności określonego typu, ale nie definiuje go jawnie aż do momentu, gdy protokół zostanie zaimplementowany przez konkretny typ lub w jego rozszerzeniu.

Zalety:

• Elastyczność: Pozwala protokołom pozostać uniwersalnymi, pracując z dowolnym typem spełniającym wymagania powiązanego typu.
• Silne typowanie: Kompilator zna konkretny typ podczas kompilacji, co zapobiega błędom i zapewnia bezpieczeństwo typów.
• Lepsza czytelność: Protokół jawnie deklaruje typ danych, z którym pracuje, czyniąc go bardziej przewidywalnym.

Definiuje się go za pomocą słowa kluczowego associatedtype.

Przykład:

protocol Container {
    associatedtype Item // Typ powiązany Item
    var items: [Item] { get set }
    mutating func append(_ item: Item)
}

struct IntContainer: Container {
    // Jawna deklaracja typu Item (opcjonalnie, Swift może go wywnioskować)
    typealias Item = Int
    var items: [Int] = []
    mutating func append(_ item: Int) {
        items.append(item)
    }
}

struct StringContainer: Container {
    var items: [String] = [] // Swift wywnioskuje, że Item = String
    mutating func append(_ item: String) {
        items.append(item)
    }
}

Można dodawać ograniczenia do powiązanego typu, na przykład wymagać, aby odpowiadał innemu protokołowi:

protocol ComparableContainer {
    associatedtype Element: Comparable // Element musi być typu Comparable
    var elements: [Element] { get set }
}