Qual è la differenza tra una tabella virtuale e una tabella delle testimonianze?

La tabella virtuale (vtable) viene utilizzata per implementare il polimorfismo nei linguaggi di programmazione orientati agli oggetti, incluso Swift per le classi. Contiene puntatori a funzioni (metodi) della classe, che possono essere sovrascritti nelle sottoclassi. Quando si chiama un metodo tramite un puntatore alla classe base, il sistema guarda nella vtable dell'oggetto per determinare quale implementazione del metodo deve essere chiamata (quella della classe base o quella sovrascritta nella sottoclasse).

La tabella delle testimonianze (witness table) viene usata in Swift per i protocolli. Contiene puntatori alle implementazioni dei requisiti del protocollo (proprietà, metodi, tipi associati) per un tipo specifico che soddisfa quel protocollo. Quando si chiama una funzione che accetta un argomento di tipo protocollo, il sistema utilizza la witness table associata all'oggetto passato per accedere alle implementazioni specifiche dei requisiti del protocollo per quel tipo. La witness table permette a Swift di eseguire il dispatching dinamico per i protocolli senza i costi aggiuntivi associati alla vtable per le classi, e supporta la flessibilità dei protocolli.

Principali differenze:

Caratteristica	Tabella virtuale (vtable)	Tabella delle testimonianze (witness table)
Applicata a	Classi	Protocollo
Contiene	Punteri ai metodi della classe	Punteri alle implementazioni dei requisiti del protocollo per il tipo
Meccanismo	Ereditarietà	Conformità ai protocolli
Polimorfismo	Polimorfismo di sottotipi	Polimorfismo di protocolli