Wat is het verschil tussen een virtuele tabel en een getuigen tabel?

De virtuele tabel (vtable) wordt gebruikt om polymorfisme te implementeren in objectgeoriënteerde programmeertalen, inclusief Swift voor klassen. Het bevat pointers naar functies (methoden) van de klasse, die kunnen worden overschreven in subklassen. Wanneer een methode wordt aangeroepen via een pointer naar de basisklasse, kijkt het systeem in de vtable van het object om te bepalen welke implementatie van de methode moet worden aangeroepen (die van de basisklasse of die overschreven in de subklasse).

De witness table wordt in Swift gebruikt voor protocollen. Het bevat pointers naar de implementaties van de vereisten van het protocol (eigenschappen, methoden, geassocieerde typen) voor een specifiek type dat aan dat protocol voldoet. Wanneer een functie die een argument van het protocoltype accepteert wordt aangeroepen, gebruikt het systeem de witness table die aan het doorgegeven object is gekoppeld om toegang te krijgen tot de specifieke implementaties van de vereisten van het protocol voor dat type. De witness table stelt Swift in staat om dynamisch dispatching uit te voeren voor protocollen zonder de overhead die gepaard gaat met de vtable voor klassen, en ondersteunt de flexibiliteit van protocollen.

Belangrijkste verschillen:

Kenmerk	Virtuele tabel (vtable)	Witness table
Toegepast op	Klassen	Protocollen
Bevat	Pointers naar klassenmethoden	Pointers naar de implementaties van de vereisten van het protocol voor het type
Mechanisme	Overerving	Conformiteit aan protocollen
Polymorfisme	Polymorfisme van subtypen	Polymorfisme van protocollen