Antwoord.

Protocol extensions zijn geïntroduceerd in Swift ter ondersteuning van de ideologie van protocol-georiënteerd programmeren: een programmeur kan standaardmethodeimplementaties direct op protokolniveau toevoegen, in plaats van via een basisafstandsklasse of globale functies. Dit vermindert codeherhaling en stelt ontwikkelaars in staat het gedrag van types flexibel aan te passen.

Probleem doet zich voor wanneer de default implementatie de noodzaak van een eigen (override) methode maskeert, of wanneer de verantwoordelijkheidslijn verwaterd raakt — vooral als een type meerdere overlappende protocollen implementeert. Bovendien is het belangrijk te onthouden: als een methode in het type zelf is geïmplementeerd, overschrijft deze altijd de implementatie vanuit de extension.

Oplossing — gebruik protocol extensions alleen voor algemeen gedrag, en implementeer in specifieke gevallen de methode expliciet binnen het type. Het is wenselijk om overbelasting van dezelfde methode in twee extensions voor één protocol te vermijden.

Voorbeeldcode:

protocol Flyer {
    func fly()
}
extension Flyer {
    func fly() {
        print("Standaard vliegen")
    }
}

struct Bird: Flyer {}
let sparrow = Bird()
sparrow.fly() // Geeft: Standaard vliegen

Belangrijke kenmerken:

Stellen in staat om algemene functionaliteit te bieden en codeherhaling te verminderen zonder inheritance.
De default implementatie werkt alleen als het type zijn eigen methode niet expliciet heeft gedefinieerd.
Stellen in staat om generieke en where constraints te gebruiken voor het verduidelijken van gedrag voor specifieke types.

Vragen met een addertje onder het gras.

Kan een protocol extension een opgeslagen eigenschap aan een protocol toevoegen?

Nee, alleen berekende eigenschappen en methoden kunnen worden toegevoegd in protocol extensions. Opgeslagen eigenschappen zijn niet toegestaan.

Wat gebeurt er als er verschillende implementaties van een methode met dezelfde naam in het protocol en in het type zijn? Welke zal worden aangeroepen?

Bij directe aanroep van het type zal de implementatie van het type worden aangeroepen, bij aanroep via een referentie van het protocoltype zal de implementatie van de protocol extension worden aangeroepen.

protocol Greeter {
    func greet()
}
extension Greeter {
    func greet() { print("Hallo vanuit de extension") }
}
struct Person: Greeter {
    func greet() { print("Hallo vanuit het type") }
}

let person = Person()
person.greet()            // Hallo vanuit het type
let greeter: Greeter = person
greeter.greet()           // Hallo vanuit de extension

Kan ik in een protocol extension where constraints gebruiken voor restricties?

Ja. Dit is een van de krachtige mogelijkheden — een protocol kan worden uitgebreid alleen voor specifieke types.

extension Collection where Element: Equatable {
    func allEqual() -> Bool {
        guard let first = self.first else { return true }
        return allSatisfy { $0 == first }
    }
}

Typische fouten en anti-patronen

Het implementeren van gedrag met behulp van protocol extensions, in de verwachting dat er een override in specifieke types zal zijn: protocol extensions ondersteunen geen override, dit is geen klasse.
Het overschrijven van een methode in het type en een methode in de extension (verschillende handtekeningen of bedrijfslogica) kan leiden tot onverwacht polymorf gedrag.

Voorbeeld uit het leven

** Negatief geval

In het team werd besloten om foutlogging te implementeren via protocol extensions, zonder rekening te houden met het feit dat elke service een specifiek formaat wil toevoegen. Uiteindelijk roepen verschillende services de functie aan via protokolreferenties, en de gedragslogica komt niet overeen met de verwachtingen.

Voordelen:

Weinig code, eenvoudig om de basisimplementatie te onderhouden.

Nadelen:

Verassingen bij runtime-polymorfisme, discrepantie tussen intentie en uitvoering, bugs in productie.

** Positief geval

Protocols worden alleen uitgebreid voor gevallen waarin het gedrag altijd algemeen is. Voor speciale gevallen — expliciete implementatie van methoden in het type, er is code review op conflictueuze plaatsen.