Опишите механизм generics в Swift. Как обеспечить type safety при работе с обобщёнными типами? Приведите примеры ограничения generic-типов.

Ответ.

Generics (обобщённые типы) позволяют определять гибкие и переиспользуемые функции и типы. Ключевая особенность Swift — сохранение type safety: компилятор проверяет работу с конкретными типами во время компиляции. Ограничивать generic-типы можно через where-условия, наследование от протоколов и их сочетания.

Код-пример:

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() }
}

// Ограничение по протоколу и where-условию
func compareValues<T: Equatable>(_ a: T, _ b: T) -> Bool {
    return a == b
}

---

Вопрос с подвохом.

Могут ли generic-функции выступать в роли перегруженных функций? Как компилятор выбирает нужную реализацию?

Ответ: Да, generic-функции могут быть перегружены с обычными и другими generic-функциями. Компилятор старается выбрать наиболее специфичную реализацию. Пример:

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

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

---

Примеры реальных ошибок из-за незнания тонкостей темы.

---

История

Команда написала generic-расширение массива для поиска индекса, забыв ограничить тип через Equatable. Это привело к компиляционной ошибке при попытке применить extension на массив с не Equatable-элементами.

---

История

В проекте пытались реализовать кэш generic-объектов без ограничения по типу. В результате, при попытке downcast в рантайме возникали креши — реальное безопасное использование могло быть достигнуто через протоколы с associated type и констрейнты.

---

История

Разработчики реализовали generic-класс, но при наследовании и переопределении забыли про необходимость указания полного generic-параметра наследника. Из-за этого код не компилировался и требовалась полная переделка иерархии типов.