Что такое witness table и где она используется?

Question

Witness table — это таблица, которая связывает конкретный тип с реализациями требований протокола. Когда тип соответствует протоколу, компилятор создаёт такую таблицу. Через неё Swift понимает, какие функции вызывать при работе с протоколом. Это основной механизм вызова методов у протоколов. Он используется вместо vtable для value-типов и протоколов.

YeaHub · Accepted Answer

Swift использует witness table для реализации протоколов, чтобы обеспечить полиморфизм без классового наследования. Это особенно важно для структур и перечислений.ОпределениеWitness table — это таблица соответствия, которая содержит реализации всех требований протокола для конкретного типа.Зачем она нужнаПеред использованием списков важно понимать, что протокол не хранит реализацию, а только требования.Протокол описывает, что должно быть реализованоКонкретный тип реализует эти требованияКомпилятор создаёт witness tableПри вызове метода через протокол Swift обращается к этой таблицеПримерprotocol Flyable {
    func fly()
}

struct Bird: Flyable {
    func fly() {
        print("Bird flies")
    }
}

func makeFly(_ object: Flyable) {
    object.fly()
}
Когда fly() вызывается через Flyable, Swift:получает witness table для Birdнаходит реализацию flyвызывает еёГде используетсяПротоколыGenerics с ограничениямиValue-типы (struct, enum)Protocol-oriented programmingОтличие от vtablevtable — для классов и наследованияwitness table — для протоколов и соответствияВыводWitness table — ключевой механизм Swift для работы с протоколами. Его стоит понимать при проектировании архитектуры на основе протоколов и generics.