Какво разпределение се използва за разширения…

Управлението на извикванията за методи, реализирани в разширения, зависи от типа на разширението и характера на извиквания метод:

Динамично управление (Dynamic Dispatch): Използва се за методи, дефинирани в протоколи и разширения към тях, когато методът се извиква чрез променлива от тип протокол. Също така се прилага за методи на разширения към класове.
Статично управление (Static Dispatch): Използва се за методи, дефинирани в разширения към структури и изброявания. Викащата функция се определя по време на компилация.
Смесено управление (Witness Table): За разширения към протоколи с подразбираща се реализация. Ако типът, който реализира протокола, вече имплементира метода, ще бъде използвана неговата реализация (динамично управление). В противен случай, ще бъде извикана реализацията от разширението чрез таблицата на свидетелите (подобно на статичното управление, но за протоколи).

Пример:

// Разширение към клас - динамично управление при извикване чрез променлива от базов тип
class BaseClass {
}

extension BaseClass {
    func virtualMethod() {
        print("Разширение към BaseClass")
    }
}

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

// Разширение към структура - статично управление
struct MyStruct {
}

extension MyStruct {
    func staticMethod() {
        print("Разширение към MyStruct")
    }
}

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

extension MyProtocol {
    func protocolMethod() { // По подразбиране
        print("По подразбиране за протокол")
    }
}

struct ConformingStruct: MyProtocol {
    // Ако се коментира, ще бъде извикана тази реализация
    // func protocolMethod() { print("Реализация на ConformingStruct") }
}

Какво разпределение се използва за разширения (extensions) в Swift?