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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 446 — #484
✐
Capítulo 15. Polimorfismo y Funciones virtuales
de una sola vez con la sentencia:
call word ptr [bx+4]
Finalmente, se retrocede el puntero de la pila para limpiar los argumentos que se
pusieron antes de la llamada. En código ensamblador de C y de C++ se ve a menudo
la instrucción para limpiar la lista de argumentos pero puede variar dependiendo
del procesador o de la implementación del compilador.
15.5.4. Instalar el vpointer
Debido a que el VPTR determina el comportamiento virtual de las funciones en
un objeto, es crítico que el VPTR siempre esté apuntando a la VTABLE apropiada.
No tendría sentido hacer una llamada a una función virtual antes de que esté inicializado
apropiadamente a su correspondiente VTABLE. Por supuesto, el lugar donde
se puede garantizar esta inicialización es en el constructor, pero ninguno de los ejemplos
Instrument tiene constructor.
Aquí es donde la creación del constructor por defecto es esencial. En los ejemplos
Instrument, el compilador crea un constructor por defecto que no hace nada más
que inicializar el VPTR. Este constructor es, obviamente, llamado autormáticamente
por todos los objetos Instrument antes de que se pueda hacer nada con ellos, lo
que asegura el buen comportamiento con las llamadas a funciones virtuales.
Las implicaciones de la inicialización automática del VPTR dentro de un constructor
se discute en un sección posterior.
15.5.5. Los objetos son diferentes
Es importante darse cuenta de que el upcasting sólo maneja direcciones. Si el
compilador tiene un objeto, sabe su tipo concreto y además (en C++) no se usará
la ligadura dinámica para ninguna de las llamadas a funciones - o como mínimo el
compilador no necesitará usar la ligadura dinámica. Por cuestiones de eficiencia, la
mayoría de los compiladores usarán la ligadura estática cuando esten haciendo una
llamada a una función virtual de un objeto porque saben su tipo concreto. Aquí hay
un ejemplo:
//: C15:Early.cpp
// Early binding & virtual functions
#include
#include
using namespace std;
class Pet {
public:
virtual string speak() const { return ""; }
};
class Dog : public Pet {
public:
string speak() const { return "Bark!"; }
};
int main() {
446
✐
✐
✐
✐