Ποια είναι η διαφορά μεταξύ ενός εικονικού πίνακα και ενός πίνακα μαρτύρων;

Η εικονική πίνακας (vtable) χρησιμοποιείται για την υλοποίηση πολυμορφισμού σε αντικειμενοστραφείς γλώσσες προγραμματισμού, συμπεριλαμβανομένου του Swift για κλάσεις. Περιέχει δείκτες σε λειτουργίες (μεθόδους) της κλάσης, που μπορούν να υπερισχύσουν σε υποκλάσεις. Όταν καλείται μια μέθοδος μέσω δείκτη στην βασική κλάση, το σύστημα κοιτάζει στον vtable του αντικειμένου για να καθορίσει ποια υλοποίηση της μεθόδου πρέπει να κληθεί (αυτή της βασικής κλάσης ή αυτή που έχει υπερισχύσει στην υποκλάση).

Ο πίνακας μαρτύρων (witness table) χρησιμοποιείται στο Swift για πρωτόκολλα. Περιέχει δείκτες στις υλοποιήσεις των απαιτήσεων του πρωτοκόλλου (ιδιότητες, μέθοδοι, συσχετισμένοι τύποι) για έναν συγκεκριμένο τύπο που πληροί αυτό το πρωτόκολλο. Όταν καλείται μια λειτουργία που δέχεται ένα όρισμα τύπου πρωτοκόλλου, το σύστημα χρησιμοποιεί τον witness table που συνδέεται με το μεταδιδόμενο αντικείμενο για να αποκτήσει πρόσβαση στις συγκεκριμένες υλοποιήσεις των απαιτήσεων του πρωτοκόλλου για αυτόν τον τύπο. Ο witness table επιτρέπει στο Swift να πραγματοποιεί δυναμική διαχείριση αποστολής (dispatching) για πρωτόκολλα χωρίς τα έξοδα που σχετίζονται με τον vtable για τις κλάσεις, και υποστηρίζει την ευελιξία των πρωτοκόλλων.

Βασικές διαφορές:

Χαρακτηριστικό	Εικονικός πίνακας (vtable)	Πίνακας μαρτύρων (witness table)
Εφαρμόζεται σε	Κλάσεις	Πρωτόκολλα
Περιέχει	Δείκτες σε μεθόδους κλάσης	Δείκτες στις υλοποιήσεις των απαιτήσεων του πρωτοκόλλου για τον τύπο
Μηχανισμός	Κληρονομικότητα	Συμμόρφωση σε πρωτόκολλα
Πολυμορφισμός	Πολυμορφισμός υποτύπων	Πολυμορφισμός πρωτοκόλλων