Таблица свидетелей (Witness Table) — это структура данных, используемая в реализации виртуальных функций в некоторых языках и компиляторах (например, Swift) для поддержки динамического диспетчеризации и протоколов.

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

Таким образом, Witness Table обеспечивает:

Связь между интерфейсом (протоколом) и конкретной реализацией методов
Поддержку полиморфизма и динамического вызова методов

Пример: если класс реализует протокол с методами A и B, таблица свидетелей будет содержать указатели на конкретные функции A и B этого класса. При вызове через протокол система использует эту таблицу для вызова нужной реализации.

Объясните принцип работы таблицы свидетелей (Witness Table) в контексте реализации виртуальных функций в объектно-ориентированном программировании.