Protocol Extension ve Swiftu: co to je a jak používat

Co je Protocol Extension?

Protocol Extension — je způsob, jak přidat implementaci metod a vypočítávaných vlastností k existujícímu protokolu. Bez extensions protokol definuje pouze požadavky a každý typ je implementuje samostatně.

Protocol Extension řeší problém duplicity kódu: pokud pět struktur přijme stejný protokol a implementuje stejnou metodu, extension poskytuje výchozí implementaci jednou.

Podle Swift Evolution proposal SE-0186 jsou protocol extensions jednou z klíčových funkcí, které předurčily úspěch POP. Umožňují přidávat společné chování bez vytváření základních tříd a bez porušení principu jedné odpovědnosti.

Syntaxe protocol extension

Protocol Extension se deklaruje jako běžný extension, ale s názvem protokolu místo typu.

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

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

Nyní každý typ, který přijme Greetable, automaticky získá implementaci greet:

struct Person: Greetable {
    let name: String
}
// Person má automaticky greet()

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

Protocol Extension může obsahovat vypočítávané vlastnosti, ale ne stored properties (protokoly nemohou definovat úložiště). Můžete také přidat subscripts a vnořené typy prostřednictvím extension.

Implementace výchozích metod

Default implementation — hlavní použití protocol extension. Typ může metodu přepsat tím, že poskytne vlastní verzi.

protocol Loggable {
    func log(message: String)
}

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

struct ConsoleLogger: Loggable {}
// Používá výchozí implementaci

struct FileLogger: Loggable {
    func log(message: String) {
        // Vlastní implementace přepisuje výchozí
        writeToFile(message)
    }
}

Důležitý rozdíl oproti dědicnosti tříd: pokud typ sám implementuje metodu protokolu, je volána jeho implementace. Pokud ne — je použita výchozí z extension. Jedná se o statický dispatch, rozhodnutí se přijímá při kompilaci.

Omezení where v protocol extension

Where clause umožňuje omezit protocol extension pouze na ty typy, které splňují další podmínky. Jedná se o mocný mechanismus pro přidávání specializovaného chování.

protocol Printable {
    var content: String { get }
}

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

Zde je debugPrint k dispozici pouze typům, které současně implementují Printable a CustomStringConvertible. Standardní knihovna Swiftu tento vzor hojně využívá — například extension pro Collection where Element.

Obzvláště užitečné jsou where clauses s omezením rovnosti typu:

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

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

Tento mechanismus činí protocol extension selektivním: metoda commaJoined je k dispozici pouze pro kolekce řetězců, ale ne pro číselné kolekce. Kompilátor kontroluje omezení staticky.

Where constraints mohou kontrolovat:

• Shodu s protokolem: where Self: Equatable
• Omezení typu: where Element == String
• Kombinace: where Element: Numeric, Element: Comparable

To činí z protocol extension mocný mechanismus pro přidávání specializovaného chování bez znečištění obecné implementace protokolu.

Protocol Extensions vs dědicnost

Mnoho vývojářů si klade otázku: kdy používat protocol extensions a kdy — dědicnost tříd? Odpověď závisí na architektonickém paradigmatu.

Apple doporučuje začít s protocol + extension a přejít na třídy pouze tehdy, když je potřeba sdílený stav nebo identita (reference semantics). Protocol extensions poskytují kompozici místo dědicnosti — flexibilnější a lépe testovatelný přístup.

V praxi jsou protocol extensions často používány k přidávání pohodlných obalových metod nad požadavky protokolu. Například, pokud protokol vyžaduje metodu validate s podrobnou zprávou, extension může přidat metodu isValid, která vrací booleovskou hodnotu na základě plné verze. To zjednodušuje klientský kód, aniž by se měnila smlouva protokolu. Tento vzor se nazývá «default implementation s derived API» a je široce používán ve standardní knihovně Swiftu a populárních frameworkových třetích stran. Jedná se o jednu z klíčových technik protokolově orientovaného programování v akci a základ flexibilní architektury.