Quelle est la différence entre une table virtuelle et une table de témoins?

La table virtuelle (vtable) est utilisée pour implémenter le polymorphisme dans les langages de programmation orientés objet, y compris Swift pour les classes. Elle contient des pointeurs vers des fonctions (méthodes) de la classe, qui peuvent être redéfinis dans les sous-classes. Lorsqu'une méthode est appelée via un pointeur vers la classe de base, le système regarde dans la vtable de l'objet pour déterminer quelle implémentation de la méthode doit être appelée (celle de la classe de base ou celle redéfinie dans la sous-classe).

La table de témoins (witness table) est utilisée en Swift pour les protocoles. Elle contient des pointeurs vers les implémentations des exigences du protocole (propriétés, méthodes, types associés) pour un type spécifique qui respecte ce protocole. Lorsqu'une fonction prenant un argument de type protocole est appelée, le système utilise la witness table associée à l'objet transmis pour accéder aux implémentations spécifiques des exigences du protocole pour ce type. La witness table permet à Swift d'effectuer une dispatching dynamique pour les protocoles sans les coûts supplémentaires liés à la vtable pour les classes, et supporte la flexibilité des protocoles.

Principales différences:

Caractéristique	Table virtuelle (vtable)	Table de témoins (witness table)
Appliqué à	Classes	Protocoles
Contient	Pointeurs vers les méthodes de la classe	Pointeurs vers les implémentations des exigences du protocole pour le type
Mécanisme	Héritage	Conformité au protocole
Polymorphisme	Polymorphisme de sous-types	Polymorphisme de protocoles