Aký dispatcher sa používa pre rozšírenia (extensions) v Swift?

Riadenie volaní pre metódy implementované v rozšíreniach závisí od typu rozšírenia a charakteru volanej metódy:

• Dynamické riadenie (Dynamic Dispatch): Používa sa pre metódy definované v protokoloch a rozšíreniach týchto protokolov, keď je metóda volaná cez premennú typu protokol. Platí aj pre metódy rozšírení tried.

• Statické riadenie (Static Dispatch): Používa sa pre metódy definované v rozšíreniach štruktúr a enumov. Volanie takýchto funkcií je určené počas kompilácie.

• Zmiešané riadenie (Witness Table): Pre rozšírenia protokolov s predvolenou implementáciou. Ak typ, ktorý implementuje protokol, už implementuje metódu, bude použitá jeho implementácia (dynamické riadenie). Inak bude volaná implementácia z rozšírenia cez tabuľku svedkov (podobne ako pri statickom riadení, ale pre protokoly).

Príklad:

// Rozšírenie triedy - dynamické riadenie pri volaní cez premennú základného typu
class BaseClass {
}

extension BaseClass {
    func virtualMethod() {
        print("Rozšírenie BaseClass")
    }
}

class DerivedClass: BaseClass {
    // Prepisovanie metódy rozšírenia je možné, ale nie je bežné
    // override func virtualMethod() { print("Rozšírenie DerivedClass") }
}

// Rozšírenie štruktúry - statické riadenie
struct MyStruct {
}

extension MyStruct {
    func staticMethod() {
        print("Rozšírenie MyStruct")
    }
}

// Rozšírenie protokolu
protocol MyProtocol {
    func protocolMethod()
}

extension MyProtocol {
    func protocolMethod() { // Predvolená implementácia
        print("Predvolená implementácia protokolu")
    }
}

struct ConformingStruct: MyProtocol {
    // Ak odkomentujete, bude volaná táto implementácia
    // func protocolMethod() { print("Implementácia ConformingStruct") }
}