¿Cuál es la diferencia entre una tabla virtual y una tabla de evidencias?

La tabla virtual (vtable) se utiliza para implementar el polimorfismo en lenguajes de programación orientados a objetos, incluyendo Swift para clases. Contiene punteros a funciones (métodos) de la clase, que pueden ser sobrescritos en las subclases. Cuando se llama a un método a través de un puntero a la clase base, el sistema mira en la vtable del objeto para determinar qué implementación del método debe ser llamada (la de la clase base o la sobrescrita en la subclase).

La tabla de testigos (witness table) se usa en Swift para protocolos. Contiene punteros a las implementaciones de los requisitos del protocolo (propiedades, métodos, tipos asociados) para un tipo específico que cumple con ese protocolo. Cuando se llama a una función que recibe un argumento de tipo protocolo, el sistema usa la witness table asociada con el objeto pasado para acceder a las implementaciones específicas de los requisitos del protocolo para ese tipo. La witness table permite a Swift realizar despacho dinámico para protocolos sin los costos adicionales asociados a la vtable para clases, y soporta la flexibilidad de los protocolos.

Diferencias principales:

Característica	Tabla virtual (vtable)	Tabla de testigos (witness table)
Se aplica a	Clases	Protocolos
Contiene	Punteros a métodos de la clase	Punteros a las implementaciones de los requisitos del protocolo para el tipo
Mecanismo	Herencia	Conformidad a protocolos
Polimorfismo	Polimorfismo de subtipos	Polimorfismo de protocolos