Aký je rozdiel medzi virtuálnou tabuľou a tabuľou svedkov?

Virtuálna tabuľka (vtable) sa používa na implementáciu polymorfizmu v objektovo orientovaných programovacích jazykoch, vrátane Swift pre triedy. Obsahuje ukazovatele na funkcie (metódy) triedy, ktoré môžu byť prepísané v podtriedach. Pri volaní metódy cez ukazovateľ na základnú triedu systém pozrie do vtable objektu, aby určil, ktorá implementácia metódy má byť volaná (z základnej triedy alebo prepísaná v podtriede).

Tabuľka svedkov (witness table) sa používa v Swift pre protokoly. Obsahuje ukazovatele na implementácie požiadaviek protokolu (vlastnosti, metódy, priradené typy) pre konkrétny typ, ktorý spĺňa tento protokol. Keď sa volá funkcia, ktorá prijíma argument typu protokolu, systém používa witness table spojenú s odovzdaným objektom na prístup ku konkrétnym implementáciám požiadaviek protokolu pre tento typ. Witness table umožňuje Swift-u vykonávať dynamické dispatching pre protokoly bez nákladov spojených s vtable pre triedy a podporuje flexibilitu protokolov.

Hlavné rozdiely:

Charakteristika	Virtuálna tabuľka (vtable)	Witness tabuľka
Použitie pre	Triedy	Protokoly
Obsahuje	Ukazovatele na metódy triedy	Ukazovatele na implementácie požiadaviek protokolu pre typ
Mechanizmus	Dedičstvo	Zhodnosť s protokolmi
Polymorfizmus	Polymorfizmus podtypov	Polymorfizmus protokolov