Welke dispatcher wordt gebruikt voor extensies…

De dispatch voor methoden geïmplementeerd in extensies hangt af van het type extensie en de aard van de opgeroepen methode:

Dynamische dispatch (Dynamic Dispatch): Gebruikt voor methoden gedefinieerd in protocollen en extensies van deze protocollen, wanneer de methode wordt aangeroepen via een variabele van het protocoltype. Toegepast op methoden van klasse-extensies.
Statische dispatch (Static Dispatch): Gebruikt voor methoden gedefinieerd in extensies van structuren en enumeraties. De aanroep van dergelijke functies wordt tijdens compilatie bepaald.
Gemengde dispatch (Witness Table): Voor extensies van protocollen met standaardimplementatie. Als het type dat het protocol implementeert de methode al heeft geïmplementeerd, wordt die implementatie gebruikt (dynamische dispatch). Anders wordt de implementatie uit de extensie via de Witness Table aangeroepen (vergelijkbaar met statische dispatch, maar voor protocollen).

Voorbeeld:

// Extensie van een klasse - dynamische dispatch bij aanroep via een variabele van het basistype
class BaseClass {
}

extension BaseClass {
    func virtualMethod() {
        print("BaseClass extensie")
    }
}

class DerivedClass: BaseClass {
    // Het overschrijven van de extensiemethode is mogelijk, maar niet gebruikelijk
    // override func virtualMethod() { print("DerivedClass extensie") }
}

// Extensie van een structuur - statische dispatch
struct MyStruct {
}

extension MyStruct {
    func staticMethod() {
        print("MyStruct extensie")
    }
}

// Extensie van een protocol
protocol MyProtocol {
    func protocolMethod()
}

extension MyProtocol {
    func protocolMethod() { // Standaard implementatie
        print("Standaard protocolimplementatie")
    }
}

struct ConformingStruct: MyProtocol {
    // Als je deze decommentarieert, wordt deze implementatie gebruikt
    // func protocolMethod() { print("ConformingStruct implementatie") }
}

Welke dispatcher wordt gebruikt voor extensies (extensions) in Swift?