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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 430 — #468
✐
Capítulo 14. Herencia y Composición
El fichero es idéntico a InheritStack.cpp, excepto que un objeto Stack es alojado en
StringStack y se utilizan las funciones miembros para llamarlo. No se consume tiempo
o espacio porque el subobjeto tiene el mismo tamaño y todas las comprobaciones
de tipos han ocurrido en tiempo de compilación.
Sin embargo, esto tiende a confusión, podría también utilizar la herencia privada
para expresar "implementado en términos de". Esto también resolvería el problema
de forma adecuada. Un punto importante es cuando la herencia múltiple puede ser
garantizada. En este caso, si observa un diseño en que la composición pueda utilizarse
en vez de la herencia, debe eliminar la necesidad de utilizar herencia múltiple.
14.10.4. FIXME Upcasting de punteros y referencias
En Instrument.cpp, la conversión ocurre durante la llamada a la función - un objeto
Wind fuera de la función se toma como referencia y se convierte en una referencia
Instrument dentro de la función. La conversión puede también ocurrir durante una
asignación a un puntero o una referencia.
Wind w;
Instrument* ip = &w; // Upcast
Instrument& ir = w; // Upcast
Como en la llamada a la función, ninguno de estos casos requiere una conversión
explicita.
14.10.5. Una crisis
Por supuesto, cualquier conversión pierde la información del tipo sobre el objeto.
Si dice
Wind w;
Instrument* ip = &w;
el compilador puede utilizar ip solo como un puntero a Instrumento y nada mas.
Esto es, éste no puede conocer que ip realmente esta apuntando a un objeto Wind.
Entonces cuando llame a la función miembro play() diciendo
ip->play(middleC);
el compilador solo puede conocer que la llamada a play() es de un puntero a
Instrument y llamara a la versión de la clase base Instrument::play() en vez de lo
que debería hacer, que es llamar a Wind::play(). Así, no conseguirá una conducta
adecuada.
esto es un problema importante; es resulto en el Capitulo 15, introducción al tercer
pilar de la programación orientada a objetos: poliformismo (implementado en
C++ con funciones virtuales).
430
✐
✐
✐
✐