Если класс финализирован (final), но реализует метод протокола, какой тип диспетчеризации будет использоваться?

Question

Даже в final классе методы, реализующие требования протокола, могут вызываться через динамическую диспетчеризацию при работе с типом протокола. Однако компилятор Swift применяет оптимизацию и в большинстве случаев заменяет такие вызовы на статические, если тип известен на этапе компиляции.

YeaHub · Accepted Answer

Вызовы по протоколу:Когда объект хранится в переменной типа протокола, Swift использует witness table для поиска реализации.Это похоже на виртуальную таблицу, но для протоколов.Влияние final:final class гарантирует, что реализация не изменится.Компилятор может внутренне оптимизировать и при прямом доступе по конкретному типу обойти witness table.Сценарии:Переменная конкретного типа: прямой вызов статически.Переменная типа протокола: обычно вызов через witness table (динамически).Пример:protocol Greeter {
    	func greet()
}

final class EnglishGreeter: Greeter {
    	func greet() { print("Hello") }
}

let greeter: Greeter = EnglishGreeter()
greeter.greet() // через witness tableВывод:Для финальных классов Swift стремится к статической диспетчеризации, но при вызове через протокол остаётся использование механизма witness table.