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

Таблицата на свидетелите (Witness Table) е структура от данни, използвана при реализирането на виртуални функции в някои езици и компилатори (например Swift), за поддръжка на динамично разпределение и протоколи.

Тя съдържа указатели към реализации на методи, които клас или структура предоставя за определен интерфейс или протокол. При извикване на виртуален метод чрез интерфейс, системата се обръща към таблицата на свидетелите, за да намери правилната реализация.

По този начин, таблицата на свидетелите осигурява:

• Връзка между интерфейса (протокола) и конкретната реализация на методите
• Поддръжка на полиморфизъм и динамично извикване на методи

Пример: ако клас реализира протокол с методи A и B, таблицата на свидетелите ще съдържа указатели към конкретните функции A и B на този клас. При извикване чрез протокол, системата използва тази таблица, за да извика необходимата реализация.