Можно ли добиться статической диспетчеризации у классов и как именно?

Question

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

YeaHub · Accepted Answer

Хотя классы по умолчанию используют динамическую диспетчеризацию, Swift может оптимизировать этот механизм.Использование finalОпределение: final запрещает наследование или переопределение.final class Logger {
    func log() {
        // реализация
    }
}
Компилятор знает, что метод не может быть переопределён.Приватные методыМетоды с private или fileprivate:недоступны для переопределения вне файламогут быть статически задиспетчеризированыclass Service {
    private func helper() {
        // реализация
    }
}
Отсутствие наследованияЕсли компилятор видит:класс не наследуетсяметод не переопределяетсяон может применить devirtualization.Ограниченияне гарантировано без finalзависит от оптимизаций компилятораменее прозрачно для разработчикаКраткий выводДля гарантированной статической диспетчеризации у классов следует использовать final. Остальные способы — оптимизация, а не контракт.