Какие механизмы Swift обеспечивают статическую диспетчеризацию методов?

Статическая диспетчеризация (или прямое связывание) означает, что компилятор определяет точный адрес вызываемого метода на этапе компиляции. Это приводит к более быстрому вызову и позволяет проводить агрессивные оптимизации (например, встраивание).

Конструкции Swift, гарантирующие статическую диспетчеризацию:

1. Ключевое слово final:

   • Для класса: запрещает наследование.
   • Для метода: запрещает переопределение в подклассах.

     final class NetworkManager {
     func fetchData() { ... } // Вызов всегда статический
     }

2. Статические и классовые методы (static, class без @objc dynamic):

   struct Math {
       static func pi() -> Double { 3.14159 } // Статическая диспетчеризация
   }

3. Приватные и файлприватные методы (private, fileprivate):

   • Компилятор знает все возможные реализации, так как они не видны за пределами области видимости.

4. Методы в расширениях (extension):

   • Методы, добавленные через extension, не могут быть переопределены для классов (если это не @objc), поэтому диспетчеризуются статически.

     extension String {
     func customHelper() -> String { ... } // Статическая диспетчеризация
     }

5. Локальные функции и замыкания:

   • Их реализация известна компилятору в точке вызова.

Сравнение с динамической диспетчеризацией:

• Динамическая (через таблицу виртуальных методов или objc_msgSend) используется для переопределяемых методов в классах и @objc-методах. Она гибче, но медленнее.
• Совет: Помечайте классы и методы как final по умолчанию, чтобы включить статическую диспетчеризацию и оптимизации, и убирайте final только когда необходимо наследование и полиморфизм.