В чем разница между static, virtual table и witness table диспетчеризацией?

Question

В Swift есть несколько способов вызова методов. Static dispatch выполняется во время компиляции и самый быстрый. Virtual table dispatch используется для классов и поддерживает полиморфизм. Witness table dispatch применяется при работе с протоколами. Разные виды диспетчеризации нужны для разных задач и имеют разную стоимость.

YeaHub · Accepted Answer

В Swift вызов метода — это не всегда прямой переход к функции. Способ вызова зависит от типа и контекста.Общая идея диспетчеризацииДиспетчеризация — это способ, которым runtime определяет, какую реализацию метода вызвать.Static dispatchStatic dispatch — это вызов, определяемый на этапе компиляции.Используется когда:метод finalметод структуры (struct)extension без требований протоколаОсобенности:самый быстрыйнет накладных расходовне поддерживает переопределениеПример:struct A {
    func foo() {}
}
Virtual table dispatchVirtual table dispatch используется для классов и наследования.Как работает:у класса есть таблица методовво время runtime выбирается нужная реализацияИспользуется когда:метод не finalиспользуется полиморфизмОсобенности:поддерживает overrideчуть медленнее staticнеобходим для OOPWitness table dispatchWitness table dispatch применяется при работе с протоколами.Как работает:протокол описывает требованияконкретный тип предоставляет реализациютаблица связывает требования и методыИспользуется когда:метод вызывается через протоколважна абстракцияОсобенности:самый гибкийдороже по производительностиключевой для протокол-ориентированного подходаПочему это важно на практикеfinal ускоряет кодпротоколы дают гибкость, но имеют ценуосознанный выбор влияет на производительностьВыводРазные виды диспетчеризации — это компромисс между скоростью, гибкостью и архитектурой, и сильный разработчик понимает, где какой механизм уместен.