Объясните протокол-ориентированное программирование с помощью протоколов и расширений.

Question

IT Interview Practice · Accepted Answer

**Протокол-ориентированное программирование (POP)** — предпочтительный в Swift способ разделять поведение: вместо наследования от базового класса типы **соответствуют протоколам**, а **расширения протоколов** предоставляют переиспользуемые реализации по умолчанию. Это даёт композицию и переиспользование кода без жёсткости одиночного наследования.

## Как это работает

Протокол объявляет требования; расширение этого протокола предоставляет поведение по умолчанию, которое любой соответствующий тип наследует бесплатно.

```swift
protocol Identifiable {
    var id: String { get }          // требование
}

protocol Describable {
    var name: String { get }
}

// Реализация по умолчанию, общая для ВСЕХ соответствующих типов
extension Describable {
    func describe() -> String { "Item: \(name)" }
}

struct Product: Identifiable, Describable {   // компонует несколько протоколов
    let id: String
    let name: String
}

Product(id: "1", name: "Book").describe()     // => "Item: Book" (бесплатно)
```

## Расширения протоколов против наследования классов

- **Struct-ы и enum-ы могут соответствовать** — POP работает с типами-значениями, наследование классов — нет.
- **Множественное соответствие**: тип может принять множество протоколов; у класса один суперкласс.
- **Ограниченные расширения** добавляют поведение только там, где оно имеет смысл:

```swift
extension Collection where Element: Numeric {
    func total() -> Element { reduce(0, +) }   // только для числовых коллекций
}
[1, 2, 3].total()   // => 6
```

## Подводные камни

- **Статическая против динамической диспетчеризации:** метод, определённый *только* в расширении (не в протоколе), диспетчеризуется статически по объявленному типу переменной — поэтому его переопределение в соответствующем типе может не вызваться через ссылку с типом протокола. Объявите его в протоколе, чтобы получить динамическую диспетчеризацию.

## Почему это важно

POP — это основа стандартной библиотеки Swift (`Equatable`, `Collection`, `Codable`) и тестируемой архитектуры — вы зависите от протоколов и подменяете соответствующие типы моками. Интервьюеры прощупывают это, чтобы понять, компонуете ли вы поведение через протоколы вместо построения глубоких, хрупких иерархий классов.

Как это работает

Расширения протоколов против наследования классов

Подводные камни

Почему это важно

Похожие вопросы