Care este diferența dintre o tabelă virtuală și o tabelă de mărturii?

Tabelul virtual (vtable) este utilizat pentru implementarea polimorfismului în limbajele de programare orientate pe obiect, inclusiv Swift pentru clase. Conține pointeri către funcții (metode) ale clasei, care pot fi suprascrise în subclase. Când se apelează o metodă printr-un pointer la clasa de bază, sistemul verifică în vtable-ul obiectului pentru a determina care implementare a metodei trebuie să fie apelată (cea a clasei de bază sau cea suprascrisă în subclasă).

Tabelul martor (witness table) este utilizat în Swift pentru protocoale. Conține pointeri către implementările cerințelor protocolului (proprietăți, metode, tipuri asociate) pentru un anumit tip care respectă acel protocol. Când o funcție care acceptă un argument de tip protocol este apelată, sistemul folosește witness table-ul asociat obiectului transmis pentru a accesa implementările specifice ale cerințelor protocolului pentru acel tip. Witness table-ul permite Swift să realizeze dispatching dinamic pentru protocoale fără costurile suplimentare asociate cu vtable pentru clase și sprijină flexibilitatea protocoalelor.

Diferențe principale:

Caracteristică	Tabel virtual (vtable)	Tabel martor (witness table)
Aplicabil pentru	Clase	Protocoale
Conține	Pointers la metodele clasei	Pointers la implementările cerințelor protocolului pentru tip
Mecanism	Moștenire	Conformitate la protocoale
Polimorfism	Polimorfism de subtipuri	Polimorfism de protocoale