¿Cuándo se crea VTable en C++?

Question

Me gustaría saber cuándo se creó un vtable? Si está en el código de inicio antes de main() o está en otro momento?

Answer 1

A vtable no es un concepto de C++ por lo que si se usan y cuándo se crean, si se usan dependerán de la implementación.

Normalmente, vtables son estructuras creadas en tiempo de compilación (porque pueden determinarse en tiempo de compilación). Cuando se crean objetos de un tipo particular en tiempo de ejecución, tendrán un vptr que se inicializará para apuntar a vtable estática en tiempo de construcción.

Answer 2

El vtable se crea en tiempo de compilación. Cuando se crea un objeto nuevo durante el tiempo de ejecución, el puntero vtable oculto se establece para que apunte a la variable vtable.

Tenga en cuenta, sin embargo, que no puede hacer un uso confiable si las funciones virtuales hasta que el objeto está completamente construido. (No hay funciones virtuales de llamada en el constructor.)

EDIT Pensé en responder a las preguntas en los comentarios.

Como se ha señalado, los detalles exactos de cómo se crea y usa el vtable se dejan a la implementación. La especificación C++ solo proporciona comportamientos específicos que deben ser garantizados, por lo que hay mucho margen de maniobra para la implementación. No tiene que usar tablas virtuales (aunque la mayoría lo hace). En general, no necesita saber esos detalles. Solo necesita saber que cuando llama a una función virtual, hace lo que espera independientemente de cómo lo hace.

Dicho esto, aclararé un par de puntos acerca de una implementación típica. Una clase con funciones virtuales tiene un puntero oculto (lo llamaremos vptr) que apunta al vtable para esa clase. Supongamos que tenemos una clase de empleado:

class Employee { 
public: 
    virtual work(); 
}; 

Esta clase tendrá un VPTR en su estructura, lo que en realidad puede tener este aspecto:

class Employee { 
public: 
    vtble *vptr; // hidden pointer 
    virtual work(); 
}; 

Cuando derivamos de esta clase, sino que también tendrá un vptr, y debe estar en el mismo lugar (en este caso, al principio). De esta forma, cuando se llama a una función, independientemente del tipo de clase derivada, siempre utiliza el vptr al principio para encontrar el vtable correcto.