Когда отрабатывает Static Dispatch?

Static Dispatch в iOS/Swift

Static Dispatch (или статическая диспетчеризация) отрабатывает на этапе компиляции, когда компилятор точно знает, какой конкретный метод или функция будет вызвана. Это один из двух основных механизмов диспетчеризации в Swift (второй — Dynamic Dispatch).

Когда именно он применяется?

1. Для value-типов (структур и перечислений)

Поскольку структуры не поддерживают наследование, компилятор всегда может определить точный тип и вызвать соответствующий метод напрямую.

struct Point {
    var x, y: Double
    
    func distance() -> Double {
        return sqrt(x * x + y * y)
    }
}

let p = Point(x: 3, y: 4)
p.distance() // Static Dispatch — компилятор точно знает реализацию

2. Для final классов и методов

Ключевое слово final запрещает дальнейшее наследование или переопределение, позволяя компилятору "заинлайнить" вызов.

final class Logger {
    func log(message: String) {
        print("[INFO]: \(message)")
    }
}

let logger = Logger()
logger.log(message: "App started") // Static Dispatch благодаря final

3. Для private и fileprivate методов в классах

Если метод не виден за пределами текущей области видимости, компилятор гарантирует отсутствие переопределения.

class DataProcessor {
    private func validate() { /* ... */ } // Static Dispatch
    fileprivate func normalize() { /* ... */ } // Также static
}

4. При использовании протоколов с where Self: ограничениями

В расширениях протоколов, где методы доступны только для конкретных типов.

protocol Drawable {}
extension Drawable where Self: UIView {
    func render() { /* ... */ } // Static Dispatch для UIView
}

5. Для глобальных и локальных функций

Обычные функции всегда используют статическую диспетчеризацию.

func calculateSum(_ a: Int, _ b: Int) -> Int {
    return a + b
}

let result = calculateSum(5, 3) // Прямой вызов функции

Ключевые преимущества Static Dispatch

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

Сравнение с Dynamic Dispatch

class Animal {
    func makeSound() { print("Some sound") } // Dynamic Dispatch (виртуальная таблица)
    final func sleep() { print("Sleeping") } // Static Dispatch благодаря final
}

class Dog: Animal {
    override func makeSound() { print("Bark") } // Dynamic Dispatch
}

Важное замечание для Swift

Swift стремится к максимальному использованию Static Dispatch для оптимизации производительности. Поэтому по умолчанию:

• Методы в структурах — статические.
• Методы в классах — динамические (через vtable).
• Методы в протоколах — динамические (через witness table), кроме случаев, описанных выше.

Оптимизатор модуля компиляции (Whole Module Optimization) может дополнительно заменять динамическую диспетчеризацию на статическую в случаях, когда анализ потока управления доказывает возможность такого изменения (например, если класс не имеет наследников в рамках модуля).

Таким образом, Static Dispatch — это механизм, применяемый компилятором всегда, когда может быть гарантирована однозначность вызываемого метода на этапе компиляции, что является ключевым для производительности Swift-кода.