Jaký je rozdíl mezi virtuální tabulkou a tabulkou svědků?

Virtuální tabulka (vtable) se používá k implementaci polymorfismu v objektově orientovaných programovacích jazycích, včetně Swift pro třídy. Obsahuje ukazatele na funkce (metody) třídy, které mohou být přepsány v podtřídách. Při volání metody přes ukazatel na základní třídu systém nahlíží do vtable objektu, aby určil, která implementace metody má být volána (z základní třídy nebo přepsaná v podtřídě).

Tabulka svědků (witness table) se používá ve Swift pro protokoly. Obsahuje ukazatele na implementace požadavků protokolu (vlastnosti, metody, přiřazené typy) pro konkrétní typ, který splňuje tento protokol. Když je volána funkce přijímající argument typu protokolu, systém používá witness table spojenou s předaným objektem, aby získal přístup ke konkrétním implementacím požadavků protokolu pro tento typ. Witness table umožňuje Swift provádět dynamické směrování (dispatching) pro protokoly bez dodatečných nákladů spojených s vtable pro třídy a podporuje flexibilitu protokolů.

Hlavní rozdíly:

Vlastnost	Virtuální tabulka (vtable)	Witness table
Používá se pro	Třídy	Protokoly
Obsahuje	Ukazatele na metody třídy	Ukazatele na implementace požadavků protokolu pro typ
Mechanismus	Dědičnost	Shoda s protokoly
Polymorfismus	Polymorfismus podtypů	Polymorfismus protokolů