Jaka jest różnica między tabelą wirtualną a tabelą świadectw?

Tablica wirtualna (vtable) jest używana do implementacji polimorfizmu w językach programowania obiektowego, w tym Swift dla klas. Zawiera wskaźniki na funkcje (metody) klasy, które mogą być nadpisywane w podklasach. Przy wywołaniu metody przez wskaźnik na klasę bazową, system patrzy do vtable obiektu, aby określić, która implementacja metody powinna zostać wywołana (z klasy bazowej lub nadpisana w podklasie).

Tablica świadectw (witness table) jest używana w Swift dla protokołów. Zawiera wskaźniki na implementacje wymagań protokołu (właściwości, metody, typy powiązane) dla konkretnego typu, który spełnia ten protokół. Gdy funkcja przyjmuje argument typu protokołu i jest wywoływana, system korzysta z powiązanej z przekazanym obiektem witness table, aby uzyskać dostęp do specyficznych implementacji wymagań protokołu dla tego typu. Witness table pozwala Swift na wykonywanie dynamicznego dispatchu dla protokołów bez narzutów związanych z vtable dla klas i wspiera elastyczność protokołów.

Główne różnice:

Cecha	Tablica wirtualna (vtable)	Tablica świadectw (witness table)
Dotyczy	Klas	Protokołów
Zawiera	Wskaźniki na metody klasy	Wskaźniki na implementacje wymagań protokołu dla typu
Mechanizm	Dziedziczenie	Zgodność z protokołem
Polimorfizm	Polimorfizm podtypów	Polimorfizm protokołów