Qual é a diferença entre uma tabela virtual e uma tabela de testemunhas?

A tabela virtual (vtable) é usada para implementar o polimorfismo em linguagens de programação orientadas a objetos, incluindo Swift para classes. Ela contém ponteiros para funções (métodos) da classe, que podem ser sobrescritos em subclasses. Quando um método é chamado através de um ponteiro para a classe base, o sistema verifica na vtable do objeto para determinar qual implementação do método deve ser chamada (a da classe base ou a sobrescrita na subclasse).

A tabela de testemunhas (witness table) é usada em Swift para protocolos. Ela contém ponteiros para as implementações dos requisitos do protocolo (propriedades, métodos, tipos associados) para um tipo específico que atende a esse protocolo. Quando uma função que aceita um argumento de tipo protocolo é chamada, o sistema usa a witness table associada ao objeto passado para acessar as implementações específicas dos requisitos do protocolo para esse tipo. A witness table permite que Swift realize despacho dinâmico para protocolos sem os custos adicionais associados à vtable para classes, e suporta a flexibilidade dos protocolos.

Principais diferenças:

Característica	Tabela virtual (vtable)	Tabela de testemunhas (witness table)
Aplicada a	Classes	Protocolos
Contém	Ponteiros para métodos da classe	Ponteiros para as implementações dos requisitos do protocolo para o tipo
Mecanismo	Herança	Conformidade a protocolos
Polimorfismo	Polimorfismo de subtipos	Polimorfismo de protocolos