Методы, добавленные через Extension в протоколы Swift, реализованы с помощью статической диспетчеризации. Это значит, что вызов таких методов определяется на этапе компиляции, а не во время выполнения. В отличие от методов, объявленных в самом протоколе (которые используют динамическую диспетчеризацию через таблицу виртуальных методов), методы из extension не могут быть переопределены в конкретных типах и вызываются напрямую по типу, известному на этапе компиляции.

Например, если у вас есть протокол и расширение с методом, а затем тип, который реализует этот протокол, вызов метода из extension всегда будет использовать реализацию из extension, даже если тип реализует метод с таким же именем. Это связано с тем, что extension не добавляют методы в таблицу виртуальных вызовов протокола.

protocol MyProtocol {}

extension MyProtocol {
    func greet() {
        print("Hello from extension")
    }
}

struct MyStruct: MyProtocol {
    func greet() {
        print("Hello from MyStruct")
    }
}

let obj: MyProtocol = MyStruct()
obj.greet() // Выведет: Hello from extension

let obj2 = MyStruct()
obj2.greet() // Выведет: Hello from MyStruct

Таким образом, методы из extension протоколов вызываются статически, что важно учитывать при проектировании архитектуры.

Как реализована диспетчеризация методов, добавленных через Extension в протоколы?