Что такое диспетчеризация?

Диспетчеризация — это процесс определения, какой конкретно метод или функция будет выполняться во время выполнения программы.

В Swift существуют три основных типа диспетчеризации:

1. Статическая (Static or Direct Dispatch): Самый быстрый тип. Компилятор точно знает, какой метод будет вызван, на этапе компиляции. Нет накладных расходов на поиск метода. Применяется для:

   • Структур (struct).
   • Перечислений (enum).
   • Методов в классах, помеченных как final или private (если нет @objc и не используется динамическая диспетчеризация через Objective-C runtime).
   • Глобальных и статических функций.
   • Расширений (extension).

2. Табличная (Table Dispatch): Используется для классов. Для каждого класса создается виртуальная таблица (vtable), содержащая указатели на реализации методов. При вызове метода происходит поиск указателя в таблице. Есть небольшие накладные расходы. Применяется для:

   • Методов экземпляров классов (class methods), не помеченных как final или private.
   • Свойств вычисляемых свойств (computed properties).

   class Animal {
       func speak() { // Table Dispatch
           print("...")
       }
   }
   
   class Dog: Animal {
       override func speak() { // Переопределенный метод, также Table Dispatch
           print("Woof")
       }
   }
   

3. Динамическая (Dynamic Dispatch): Самая медленная. Разрешение метода происходит во время выполнения через Objective-C runtime. Используется для взаимодействия с Objective-C. Имеет значительные накладные расходы. Применяется для:

   • Методов, помеченных как @objc dynamic.
   • Свойств, помеченных как @objc dynamic.
   • Key-Value Observing (KVO).
   • Key-Value Coding (KVC).

   class SomeClass: NSObject {
       @objc dynamic func performAction() { // Dynamic Dispatch
           print("Performing action")
       }
   }
   

Сводная таблица:

Выбор типа диспетчеризации важен для оптимизации производительности. Swift по умолчанию выбирает наиболее производительный тип, позволяющий сохранить гибкость полиморфизма там, где это необходимо (используя табличную диспетчеризацию для классов). Использование final или private может помочь компилятору применять статическую диспетчеризацию.