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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 456 — #494
✐
Capítulo 15. Polimorfismo y Funciones virtuales
int main() {
Pet p("Alfred");
Dog d("Fluffy", "sleep");
describe(p);
describe(d);
} ///:~
La función describe() recibe un objeto de tipo Pet por valor. Después llama a
la función virtual description() del objeto Pet. En el main(), se puede esperar
que la primera llamada produzca "This is Alfred", y que la segunda produzca "Fluffy
likes to sleep". De hecho, ambas usan la versión description() de la clase base.
En este programa están sucediendo dos cosas. Primero, debido a que describe-
() acepta un objeto Pet (en vez de un puntero o una referencia), cualquier llamada
a describe() creará un objeto del tamaño de Pet que será puesto en la pila y
posteriormente limpiado cuando acabe la llamada. Esto significa que si se pasa a d-
escribe()un objeto de una clase heredada de Pet, el compilador lo acepta, pero
copia únicamente el fragmento del objeto que corresponda a una Pet. Se deshecha
el fragmento derivado del objeto:
Figura 15.5: Object slicing
Ahora queda la cuestión de la llamada a la función virtual. Dog::description()
hace uso de trozos de Pet (que todavía existe) y de Dog, ¡el cual no existe
porque fue truncado!. Entonces, ¿Qué ocurre cuando se llama a la función virtual
El desastre es evitado porque el objeto es pasado por valor. Debido a esto, el compilador
conoce el tipo exacto del objeto porque el objeto derivado ha sido forzado a
transformarse en un objeto de la clase base. Cuando se pasa por valor, se usa el constructor
de copia del objeto Pet, que se encarga de inicializar el VPTR a la VTABLE
de Pet y copia sólo las partes del objeto que correspondan a Pet. En el ejemplo no
hay un constructor de copia explícito por lo que el compilador genera uno. Quitando
interpretaciones, el objeto se convierte realmente en una Pet durante el truncado.
El Object Slicing quita parte del objeto existente y se copia en un nuevo objeto,
en vez de simplemente cambiar el significado de una dirección cuando se usa un
puntero o una referencia. Debido a esto, el upcasting a un objeto no se usa a menudo;
de hecho, normalmente, es algo a controlar y prevenir. Hay que resaltar que en este
ejemplo, si description() fuera una función virtual pura en la clase base (lo cual
es bastante razonable debido a que realmente no hace nada en la clase base), entonces
el compilador impedirá el object slicing debido a que no se puede "crear" un objeto
de la clase base (que al fin y al cabo es lo que sucede cuando se hace un upcast
por valor). ésto podría ser el valor más importante de las funciones virtuales puras:
prevenir el object slicing generando un error en tiempo de compilación si alguien lo
456
✐
✐
✐
✐