Perché Swift ha bisogno delle tabelle dei testimoni?

Sto cercando di leggere i dettagli di implementazione di Swift e una cosa che non riesco a definire sono le sue "tabelle dei testimoni". Sembra che siano un puntatore vtable separato usato per le strutture.

Ma perché dovresti averne bisogno? Le strutture sono copiate per valore, quindi sai già in fase di compilazione di che tipo sono. Quindi non dovresti semplicemente codificare quale metodo chiamare ed essere fatto con esso? Perché eseguire l'invio virtuale su questi metodi?

Le strutture possono implementare interfacce, chiamate protocolli in Swift. Puoi avere un parametro, una variabile o un campo / membro che è un protocollo e, poiché più strutture diverse, per non parlare delle classi, possono implementare lo stesso protocollo, una volta passato (o assegnato) una struttura a un parametro di protocollo (o variabile o campo), le specifiche di quale struttura potrebbe essere stata "persa" (re: tempo di compilazione) ed entra in gioco la tabella di controllo del protocollo (re: runtime).

Puoi saperne di più sul layout della memoria di Swift .

Simile succede in C #, con cui ho più familiarità. Una struttura passata o assegnata a una variabile di interfaccia o campo / membro viene inscatolata e la rappresentazione inscatolata della struttura corrisponde a quella delle rappresentazioni di classe, il che significa che esiste una tabella per le strutture inscatolate.

Mi aspetterei che sia C # sia Swift effettuino chiamate dirette quando l'elemento è noto al momento della compilazione come struttura e che utilizzi l'invio di vtable quando al momento della compilazione l'elemento è noto solo come interfaccia.