Milyen diszpécseret használnak a Swift…

Az extensiókban megvalósított metódusok hívásának kezelése az extensió típusától és a hívott metódus jellegétől függ:

Dinamikus hívás (Dynamic Dispatch): Olyan metódusokra alkalmazzák, amelyeket protokollokban és ezek kiterjesztéseiben határoztak meg, amikor a metódust protokoll típusú változón keresztül hívják. Szintén alkalmazható osztálykiterjesztések esetén.
Statikus hívás (Static Dispatch): Olyan metódusokra alkalmazzák, amelyeket struktúrák és enumerációk kiterjesztéseiben határoztak meg. Az ilyen függvényhívásokat fordítási időben határozzák meg.
Vegyes hívás (Witness Table): Alapértelmezett implementációval rendelkező protokollkiterjesztésekhez. Ha a protokollt megvalósító típus már implementálja a metódust, akkor az lesz használva (dinamikus hívás). Ellenkező esetben a kiterjesztés Witness Table-jén keresztül hívódik meg (hasonló a statikus híváshoz, de protokollokra).

Példa:

// Osztály kiterjesztése - dinamikus hívás alapesetben, ha egy alaptípusú változón keresztül hívják
class BaseClass {
}

extension BaseClass {
    func virtualMethod() {
        print("BaseClass kiterjesztés")
    }
}

class DerivedClass: BaseClass {
    // A kiterjesztés metódusának felülírása lehetséges, de nem szokásos
    // override func virtualMethod() { print("DerivedClass kiterjesztés") }
}

// Strukturális kiterjesztés - statikus hívás
struct MyStruct {
}

extension MyStruct {
    func staticMethod() {
        print("MyStruct kiterjesztés")
    }
}

// Protokoll kiterjesztés
protocol MyProtocol {
    func protocolMethod()
}

extension MyProtocol {
    func protocolMethod() { // Alapértelmezett implementáció
        print("Alapértelmezett protokoll implementáció")
    }
}

struct ConformingStruct: MyProtocol {
    // Ha kikommentezed, akkor ez az implementáció lesz meghívva
    // func protocolMethod() { print("ConformingStruct implementáció") }
}

Milyen diszpécseret használnak a Swift kiterjesztéseknél (extensions)?