Protocol у Swift — що це, синтаксис і можливості

Що таке Protocol у Swift?

Protocol — це абстрактний інтерфейс, що визначає, що повинен уміти тип, але не як він це робить. У Swift протокол — аналог інтерфейсів з Java або Go, але з додатковими можливостями.

Протокол може вимагати:

• Методи екземпляра та типу (статичні)
• Властивості із зазначенням { get } або { get set }
• Ініціалізатори
• Subscripts
• Асоційовані типи (дженерики на рівні протоколу)

За даними WWDC 2015, Apple представила Protocol-Oriented Programming як фундаментальний підхід до архітектури Swift-додатків. На відміну від ООП, де успадкування класів створює жорсткі ієрархії, POP пропонує композицію протоколів. Це дає гнучкість: один тип може відповідати кільком протоколам, отримуючи їхні вимоги та реалізації через extensions.

Синтаксис оголошення протоколів

Protocol оголошується ключовим словом protocol з іменем і тілом.

protocol Drawable {
    func draw(context: CGContext)
    var boundingBox: CGRect { get }
}

Тип приймає протокол через двокрапку після імені:

struct Circle: Drawable {
    let center: CGPoint
    let radius: CGFloat

    func draw(context: CGContext) {
        context.addArc(center: center, radius: radius, ...)
    }

    var boundingBox: CGRect {
        CGRect(x: center.x - radius, y: center.y - radius,
               width: radius * 2, height: radius * 2)
    }
}

Один тип може прийняти кілька протоколів через кому: struct MyType: ProtocolA, ProtocolB. Компілятор перевіряє, що всі вимоги кожного протоколу виконані.

Вимоги методів і властивостей

Вимоги властивостей вказуються з ключовим словом var і специфікаторами доступу { get } або { get set }.

protocol UserProtocol {
    var name: String { get }
    var age: Int { get set }
    static var maxAge: Int { get }
    mutating func updateName(_ newName: String)
}

Ключове слово mutating у протоколі означає, що метод може змінювати self. Структури повинні реалізувати такий метод як mutating, класи — можуть опустити. Вимоги методів вказуються з повною сигнатурою, включаючи мітки параметрів.

Успадкування протоколів

Protocol може успадковувати інший протокол, додаючи нові вимоги. Це створює ієрархію контрактів без жорсткої прив’язки до класів.

protocol Vehicle {
    var speed: Double { get set }
    func move()
}

protocol Flyable: Vehicle {
    var altitude: Double { get set }
    func takeOff()
}

Тип, що приймає Flyable, повинен виконати вимоги обох протоколів — і Vehicle, і Flyable. Swift підтримує множинне успадкування протоколів: protocol A: B, C.

Protocol Composition

Protocol Composition — механізм, що дозволяє вказати, що тип повинен відповідати кільком протоколам одночасно, без створення нового протоколу-комбінації.

func render(_ item: Drawable & Animatable) {
    item.draw(context: ...)
    item.animate(duration: 0.3)
}

Composition (&) працює в параметрах функцій, змінних і generic-обмеженнях. Компілятор перевіряє, що переданий тип одночасно задовольняє всі протоколи. Composition часто використовується в SwiftUI: some View — це generic із composition.

Protocol Composition є кращим за створення ієрархії успадкування: замість protocol A: B, C можна прийняти B & C безпосередньо. Це дає гнучкість і знижує зв’язаність. Composition особливо зручний у параметрах функцій і generic-обмеженнях, де потрібно тимчасово об’єднати вимоги без створення проміжного протоколу. Це знижує кількість допоміжних типів у коді.

Protocol як тип

Protocol може використовуватися як тип змінної, параметра функції або елемента колекції. Це називається existential type.

var drawableItem: Drawable
let items: [Drawable] = [Circle(...), Rectangle(...)]

func process(drawables: [any Drawable]) {
    for item in drawables {
        item.draw(context: ...)
    }
}

Ключове слово any (Swift 5.6+) явно вказує на existential. Без any компілятор видає попередження. Swift також підтримує some (opaque types) для приховування конкретного типу за протоколом — це стандартний прийом у SwiftUI.

Типові помилки з протоколами

При роботі з протоколами розробники часто допускають кілька повторюваних помилок.

• Забули про mutating — метод у протоколі позначений як mutating, а структура реалізує його без ключового слова
• Protocol as type замість generic — використання Drawable замість <T: Drawable> там, де потрібен конкретний тип
• Циклічне посилання протоколу — протокол, що посилається сам на себе через асоційований тип, без коректного вирішення
• Class-only protocol — використання AnyObject без необхідності, що виключає struct та enum