Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 442 — #480
✐
Capítulo 15. Polimorfismo y Funciones virtuales
clase con funciones virtuales el compilador coloca de forma secreta un puntero llamado
vpointer (de forma abreviada VPTR), que apunta a la VTABLE de ese objeto.
Cuando se hace una llamada a una función virtual a través de un puntero a la clase
base (es decir, cuando se hace una llamada usando el polimorfismo), el compilador
silenciosamente añade código para buscar el VPTR y así conseguir la dirección de
la función en la VTABLE, con lo que se llama a la función correcta y tiene lugar la
ligadura dinámica.
Todo esto - establecer la VTABLE para cada clase, inicializar el VPTR, insertar
código para la llamada a la función virtual - sucede automáticamente sin que haya
que preocuparse por ello. Con las funciones virtuales, se llama a la función apropiada
de un objeto, incluso aunque el compilador no sepa el tipo exacto del objeto.
15.5.1. Almacenando información de tipo
Se puede ver que no hay almacenada información de tipo de forma explícita en
ninguna de las clases. Pero los ejemplos anteriores, y la simple lógica, dicen que debe
existir algún tipo de información almacenada en los objetos; de otra forma el tipo no
podría ser establecido en tiempo de ejecución. Es verdad, pero la información de tipo
está oculta. Para verlo, aquí está un ejemplo que muestra el tamaño de las clases que
usan funciones virtuales comparadas con aquellas que no las usan:
//: C15:Sizes.cpp
// Object sizes with/without virtual functions
#include
using namespace std;
class NoVirtual {
int a;
public:
void x() const {}
int i() const { return 1; }
};
class OneVirtual {
int a;
public:
virtual void x() const {}
int i() const { return 1; }
};
class TwoVirtuals {
int a;
public:
virtual void x() const {}
virtual int i() const { return 1; }
};
int main() {
cout