Kāds dispečera mehānisms tiek piemērots, izsaucot metodi, kas ir definēts protokolā, kas tika paplašināts ar Extension?

Swift, ja metode ir protokolā ir definēts, un pēc tam protokols tiek paplašināts ar Extension, kurā ir šī metode realizēta, tad, izsaucot metodi caur atsauci uz protokolu, tiek izmantota statiskā izplatīšana (static dispatch). Tas nozīmē, ka metodes izsaukums tiks virzīts uz protokola paplašinājuma realizāciju, nevis uz konkrētā tipa realizāciju, pat ja tips to pārdefinē.

Citādi sakot, metodes, kas realizētas protokola paplašinājumos, neatbalsta dinamisko izplatīšanu (dynamic dispatch), atšķirībā no obligātajām protokola metodēm, kas realizētas tipos.

Piemērs:

protocol MyProtocol {
    func requiredMethod()
}

extension MyProtocol {
    func requiredMethod() {
        print("Noklusējuma realizācija paplašinājumā")
    }
}

struct MyStruct: MyProtocol {
    func requiredMethod() {
        print("Realizācija MyStruct")
    }
}

let instance: MyProtocol = MyStruct()
instance.requiredMethod() // Izvadīs "Noklusējuma realizācija paplašinājumā"

Tas ir saistīts ar to, ka protokola paplašinājumu metodes nav iekļautas virtuālo izsaukumu tabulā (vtable) un tiek izsauktas tieši.