Какая диспетчеризация используется для расширений (extensions) в Swift?

Диспетчеризация для методов, реализованных в расширениях, зависит от типа расширения и характера вызываемого метода:

• Виртуальная диспетчеризация (Dynamic Dispatch): Используется для методов, определенных в протоколах и расширениях к этим протоколам, когда вызывается метод через переменную типа протокола. Также применяется для методов расширений к классам.

• Статическая диспетчеризация (Static Dispatch): Используется для методов, определенных в расширениях к структурам и перечислениям. Вызов таких функций определяется на этапе компиляции.

• Смешанная диспетчеризация (Witness Table): Для расширений к протоколам с реализацией по умолчанию (default implementation). Если тип, соответствующий протоколу, уже имплементирует метод, будет использована его реализация (виртуальная диспетчеризация). В противном случае будет вызвана реализация из расширения через Witness Table (аналогично статической диспетчеризации, но для протоколов).

Пример:

// Расширение к классу - виртуальная диспетчеризация при вызове через переменную базового типа
class BaseClass {
}

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

class DerivedClass: BaseClass {
    // Переопределение метода расширения возможно, но не является обычной практикой
    // override func virtualMethod() { print("DerivedClass extension") }
}

// Расширение к структуре - статическая диспетчеризация
struct MyStruct {
}

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

// Расширение к протоколу
protocol MyProtocol {
    func protocolMethod()
}

extension MyProtocol {
    func protocolMethod() { // Default implementation
        print("Default protocol implementation")
    }
}

struct ConformingStruct: MyProtocol {
    // Если раскомментировать, будет вызвана эта реализация
    // func protocolMethod() { print("ConformingStruct implementation") }
}

Диспетчеризация в расширениях к классам также может быть явно указана с помощью атрибута @objc и @nonobjc для взаимодействия с Objective-C рантаймом и управления виртуальной таблицей.