Quale dispatch viene utilizzato per le estensioni in Swift?

La gestione della dispatch per i metodi implementati nelle estensioni dipende dal tipo di estensione e dalla natura del metodo chiamato:

• Dispatch dinamico (Dynamic Dispatch): Viene utilizzato per i metodi definiti nei protocolli e nelle estensioni di questi protocolli, quando il metodo viene chiamato tramite una variabile di tipo protocollo. Si applica anche ai metodi di estensione delle classi.

• Dispatch statico (Static Dispatch): Viene usato per i metodi definiti nelle estensioni di strutture ed enumerazioni. La chiamata a tali funzioni viene determinata in fase di compilazione.

• Dispatch misto (Witness Table): Per le estensioni ai protocolli con implementazione di default. Se il tipo che implementa il protocollo già fornisce l'implementazione del metodo, questa verrà usata (dispatch dinamico). Altrimenti, verrà chiamata l'implementazione dall'estensione tramite la Witness Table (simile al dispatch statico, ma per i protocolli).

Esempio:

// Estensione di una classe - dispatch dinamico quando chiamato tramite una variabile di tipo base
class BaseClass {
}

extension BaseClass {
    func virtualMethod() {
        print("Estensione di BaseClass")
    }
}

class DerivedClass: BaseClass {
    // Sovrascrivere il metodo di estensione è possibile, ma non è pratica comune
    // override func virtualMethod() { print("Estensione di DerivedClass") }
}

// Estensione di una struttura - dispatch statico
struct MyStruct {
}

extension MyStruct {
    func staticMethod() {
        print("Estensione di MyStruct")
    }
}

// Estensione di un protocollo
protocol MyProtocol {
    func protocolMethod()
}

extension MyProtocol {
    func protocolMethod() { // Implementazione di default
        print("Implementazione di default del protocollo")
    }
}

struct ConformingStruct: MyProtocol {
    // Se si decommenta, verrà chiamata questa implementazione
    // func protocolMethod() { print("Implementazione di ConformingStruct") }
}