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

Question

В Swift можно влиять на выбор диспетчеризации через типы, ключевые слова и контекст использования метода. Классы обычно используют virtual table dispatch, протоколы — witness table, а @objc dynamic — Objective-C message dispatch. Также на выбор влияет использование final, generics и конкретных типов вместо протоколов. Компилятор старается выбрать самый быстрый способ, если это возможно. Разработчик может помочь компилятору, явно ограничивая динамику.

YeaHub · Accepted Answer

Swift поддерживает несколько механизмов диспетчеризации, и в большинстве случаев компилятор сам выбирает оптимальный вариант. Однако разработчик может осознанно влиять на этот выбор.Основные способы влиянияПеред тем как перейти к пунктам, важно понимать, что цель — либо повысить производительность, либо сохранить гибкость.finalЗапрещает переопределение метода или классаПозволяет использовать static dispatchfinal class Logger {
    func log() { }
}
Использование конкретного типа вместо протоколаУбирает необходимость witness tablefunc process(_ service: NetworkService) { }
Generics вместо existential (any Protocol)Позволяют компилятору знать тип на этапе компиляцииfunc process<T: Service>(_ service: T) {
    service.run()
}
@objc dynamicПринудительно включает Objective-C message dispatchИспользуется для KVO и runtime-фич@objc dynamic func update() { }
Наследование и overrideВключает virtual table dispatchНеизбежно при полиморфизмеПрактическое применениеДля производительного кода — final, generics, конкретные типыДля гибкой архитектуры — протоколыДля runtime-возможностей — @objc dynamicВыводНа диспетчеризацию можно влиять осознанно, выбирая между гибкостью и производительностью. Хороший Swift-код обычно минимизирует динамику там, где она не нужна.