Какие типы диспетчеризации (method dispatch) существуют в Swift?

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

1. Статическая диспетчеризация (Static / Direct Dispatch)

• Как работает: Компилятор напрямую определяет адрес функции для вызова на этапе компиляции. Это самый быстрый метод.
• Когда используется:
  • Для всех методов структур (struct) и перечислений (enum).
  • Для методов и свойств, помеченных как final в классе.
  • Для static методов и свойств.
  • Для методов, объявленных с модификатором private или fileprivate (часто оптимизируются до статических).
• Пример:

  struct Calculator {
      // Статическая диспетчеризация
      func add(_ a: Int, _ b: Int) -> Int {
          return a + b
      }
  }
  let calc = Calculator()
  calc.add(5, 3) // Адрес функции `add` известен на этапе компиляции

2. Динамическая диспетчеризация через таблицу (Table / VTable Dispatch)

• Как работает: Каждый класс имеет скрытую таблицу виртуальных методов (vtable), содержащую указатели на реализации его методов. Вызов метода — это поиск по индексу в этой таблице.
• Когда используется: По умолчанию для нефинальных (non-final) методов классов, которые могут быть переопределены.
• Пример:

  class Vehicle {
      func move() { print("Vehicle moves") } // Запись в vtable
  }
  class Car: Vehicle {
      override func move() { print("Car drives") } // Перезапись в vtable Car
  }
  let myVehicle: Vehicle = Car()
  myVehicle.move() // Во время выполнения: поиск в vtable для Car -> вызов Car.move()

3. Диспетчеризация сообщений (Message Dispatch)

• Как работает: Использует механизм рантайма Objective-C (objc_msgSend). Выполняется динамический поиск метода по его имени, что позволяет таким возможностям, как Method Swizzling.
• Когда используется:
  • Для методов и классов, помеченных @objc.
  • Для классов, наследующих от NSObject.
  • Для методов, объявленных с помощью dynamic.
• Пример:

  import Foundation
  @objc class Observer: NSObject {
      @objc func observeValue() { print("Observing") } // Message dispatch
  }

4. Диспетчеризация через таблицу свидетелей (Witness Table Dispatch)

• Как работает: Аналогична vtable, но для протоколов. Каждый тип, conforming к протоколу, имеет свою witness table, которая сопоставляет требования протокола с конкретными реализациями для этого типа.
• Когда используется: Для вызовов методов через переменную типа протокола.
• Пример:

  protocol Drawable {
      func draw() // Требование протокола
  }
  struct Circle: Drawable {
      func draw() { print("Drawing a circle") } // Реализация -> запись в witness table Circle
  }
  let shape: Drawable = Circle()
  shape.draw() // Во время выполнения: поиск в witness table для Circle

Влияние на производительность: Static > Table/Witness > Message. Использование final, private и предпочтение структур там, где это уместно, позволяет компилятору применять статическую диспетчеризацию и проводить агрессивные оптимизации.