Protocol Extension w Swift: co to jest i jak używać

Co to jest Protocol Extension?

Protocol Extension — to sposób na dodanie implementacji metod i właściwości obliczanych do istniejącego protokołu. Bez extension protokół definiuje tylko wymagania, a każdy typ implementuje je samodzielnie.

Protocol Extension rozwiązuje problem duplikacji kodu: jeśli pięć struktur przyjmuje ten sam protokół i implementuje identyczną metodę, extension dostarcza domyślną implementację raz.

Według Swift Evolution proposal SE-0186, protocol extensions są jedną z kluczowych możliwości, które przesądziły o sukcesie POP. Umożliwiają dodawanie wspólnego zachowania bez tworzenia klas bazowych i bez naruszania zasady jednej odpowiedzialności.

Składnia protocol extension

Protocol Extension deklaruje się jak zwykły extension, ale z nazwą protokołu zamiast typu.

protocol Greetable {
    var name: String { get }
    func greet() -> String
}

extension Greetable {
    func greet() -> String {
        return "Hello, \(name)!"
    }
}

Teraz każdy typ przyjmujący Greetable automatycznie otrzymuje implementację greet:

struct Person: Greetable {
    let name: String
}
// Person automatycznie ma greet()

let user = Person(name: "Alice")
print(user.greet()) // „Hello, Alice!“

Protocol Extension może zawierać właściwości obliczane, ale nie stored properties (protokoły nie mogą definiować pamięci). Możesz również dodawać subskrypty i typy zagnieżdżone przez extension.

Implementacja metod domyślnych

Default implementation — główne zastosowanie protocol extension. Typ może przesłonić metodę, dostarczając własną wersję.

protocol Loggable {
    func log(message: String)
}

extension Loggable {
    func log(message: String) {
        print("[Default] \(message)")
    }
}

struct ConsoleLogger: Loggable {}
// Używa domyślnej implementacji

struct FileLogger: Loggable {
    func log(message: String) {
        // Niestandardowa implementacja przesłania domyślną
        writeToFile(message)
    }
}

Ważna różnica w stosunku do dziedziczenia klas: jeśli typ sam implementuje metodę protokołu, wywoływana jest jego implementacja. Jeśli nie — używana jest domyślna z extension. To dyspozytoryzacja statyczna, decyzja podejmowana na etapie kompilacji.

Ograniczenia where w protocol extension

Where clause pozwala ograniczyć protocol extension tylko do tych typów, które spełniają dodatkowe warunki. To potężny mechanizm dodawania wyspecjalizowanego zachowania.

protocol Printable {
    var content: String { get }
}

extension Printable where Self: CustomStringConvertible {
    func debugPrint() -> String {
        return "[Printable] \(content)"
    }
}

Tutaj debugPrint jest dostępny tylko dla typów, które jednocześnie implementują Printable i CustomStringConvertible. Swift standardowa biblioteka szeroko używa tego wzorca — na przykład extension dla Collection where Element.

Szczególnie przydatne są where clauses z ograniczeniem równości typu:

extension Collection where Element == String {
    func commaJoined() -> String {
        return self.joined(separator: ", ")
    }
}

let words = ["Swift", "Kotlin", "Java"]
print(words.commaJoined()) // „Swift, Kotlin, Java“

Ten mechanizm czyni protocol extension wybiórczym: metoda commaJoined jest dostępna tylko dla kolekcji łańcuchów, ale nie dla kolekcji numerycznych. Kompilator sprawdza ograniczenia statycznie.

Where constraints mogą sprawdzać:

• Zgodność z protokołem: where Self: Equatable
• Ograniczenie typu: where Element == String
• Kombinacje: where Element: Numeric, Element: Comparable

To czyni protocol extension potężnym mechanizmem dodawania wyspecjalizowanego zachowania bez zanieczyszczania ogólnej implementacji protokołu.

Protocol Extensions a dziedziczenie

Wielu programistów zadaje sobie pytanie: kiedy używać protocol extensions, a kiedy — dziedziczenia klas? Odpowiedź zależy od paradygmatu architektonicznego.

Apple zaleca zaczynanie od protocol + extension i przejście na klasy tylko wtedy, gdy potrzebny jest wspólny stan lub tożsamość (reference semantics). Protocol extensions zapewniają kompozycję zamiast dziedziczenia — bardziej elastyczne i testowalne podejście.

W praktyce protocol extensions są często używane do dodawania wygodnych metod opakowujących wymagania protokołu. Na przykład, jeśli protokół wymaga metody validate ze szczegółowym raportem, extension może dodać metodę isValid, zwracającą wartość logiczną na podstawie pełnej wersji. Upraszcza to kod kliencki bez zmiany kontraktu protokołu. Taki wzorzec nazywa się «default implementation z derived API» i jest szeroko stosowany w standardowej bibliotece Swift i popularnych zewnętrznych frameworkach. Jest to jedna z kluczowych technik programowania zorientowanego na protokoły w działaniu i podstawa elastycznej architektury.