Opisz mechanizm generics w Swift. Jak zapewnić type safety podczas pracy z typami ogólnymi? Podaj przykłady ograniczenia typów generic.

Odpowiedź.

Generics (typy ogólne) pozwalają na definiowanie elastycznych i wielokrotnego użytku funkcji oraz typów. Kluczową cechą Swift jest zachowanie type safety: kompilator sprawdza pracę z konkretnymi typami w czasie kompilacji. Ograniczać typy generic można za pomocą warunków where, dziedziczenia od protokołów i ich kombinacji.

Przykład kodu:

func swapValues<T>(_ a: inout T, _ b: inout T) {
    let temp = a
    a = b
    b = temp
}

protocol Drawable {
    func draw()
}

func drawAll<T: Drawable>(_ items: [T]) {
    for item in items { item.draw() }
}

// Ograniczenie przez protokół i warunek where
func compareValues<T: Equatable>(_ a: T, _ b: T) -> Bool {
    return a == b
}

---

Pytanie z podstępem.

Czy funkcje generic mogą być przeciążane jako funkcje zgromadzone? Jak kompilator wybiera odpowiednią implementację?

Odpowiedź: Tak, funkcje generic mogą być przeciążane z funkcjami zwykłymi i innymi funkcjami generic. Kompilator stara się wybrać najbardziej specyficzną implementację. Przykład:

func printValue(_ value: Int) { print("Int: \(value)") }
func printValue<T>(_ value: T) { print("Generic: \(value)") }

printValue(5)         // Int: 5
printValue("Swift")   // Generic: Swift

---

Przykłady rzeczywistych błędów wynikających z braku znajomości zawirowań tematu.

---

Historia

Zespół napisał genericową rozszerzenie tablicy do wyszukiwania indeksu, zapominając o ograniczeniu typu przez Equatable. Doprowadziło to do błędu kompilacji podczas próby zastosowania rozszerzenia na tablicy z elementami niezgodnymi z Equatable.

---

Historia

W projekcie próbowano wdrożyć pamięć podręczną obiektów generic bez ograniczenia typu. W rezultacie, przy próbie downcast w czasie wykonywania wystąpiły awarie — rzeczywiste bezpieczne użycie mogło być osiągnięte przez protokoły z associated type i ograniczenia.

---

Historia

Programiści wdrożyli genericową klasę, ale podczas dziedziczenia i nadpisywania zapomnieli o konieczności wskazania pełnego parametru generic dziedzica. Z tego powodu kod nie kompilował się i wymagana była całkowita przeróbka hierarchii typów.