Explique el concepto de tabla virtual y su papel en la implementación del polimorfismo en la programación orientada a objetos.

La tabla virtual (vtable) es una estructura de datos utilizada en lenguajes de programación orientados a objetos para soportar el polimorfismo dinámico (en tiempo de ejecución). Contiene punteros a funciones (métodos) que pueden ser sobrescritos en clases derivadas.

Cuando un objeto llama a un método virtual, el programa, a través de la vtable, determina qué implementación del método llamar, ya sea la de la clase base o la sobrescrita en la heredada. Esto permite usar una misma interfaz para diferentes tipos de objetos, proporcionando flexibilidad y extensibilidad al código.

Ejemplo: si hay una clase base Animal con un método virtual sound(), y las clases Dog y Cat sobrescriben este método, entonces al llamar a sound() a través de un puntero a Animal, se llamará al método correspondiente de la subclase gracias a la vtable.