Como é implementada a gestão de métodos adicionados através de Extensões em protocolos?

Os métodos adicionados através de uma extensão nos protocolos Swift são implementados usando despacho estático. Isso significa que a chamada desses métodos é determinada na fase de compilação, e não em tempo de execução. Ao contrário dos métodos declarados diretamente no protocolo (que usam despacho dinâmico através da tabela de métodos virtuais), os métodos de extensão não podem ser sobrescritos em tipos específicos e são chamados diretamente pelo tipo, conhecido na fase de compilação.

Por exemplo, se você tem um protocolo e uma extensão com um método, e depois um tipo que implementa esse protocolo, a chamada ao método da extensão sempre usará a implementação da extensão, mesmo que o tipo implemente um método com o mesmo nome. Isso ocorre porque as extensões não adicionam métodos à tabela de chamadas virtuais do protocolo.

protocol MyProtocol {}

extension MyProtocol {
    func greet() {
        print("Olá da extensão")
    }
}

struct MyStruct: MyProtocol {
    func greet() {
        print("Olá do MyStruct")
    }
}

let obj: MyProtocol = MyStruct()
obj.greet() // Vai imprimir: Olá da extensão

let obj2 = MyStruct()
obj2.greet() // Vai imprimir: Olá do MyStruct

Portanto, os métodos de extensões de protocolos são chamados de forma estática, o que é importante considerar ao projetar a arquitetura.