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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 471 — #509
✐
15.12. Downcasting
Para simplificar sólo se ha sobrecargado el operator*. El objetivo es ser capaz de
multiplicar dos objetos Math cualquiera y producir el resultado deseado - hay que
darse cuenta que multiplicar una matriz por un vector es una operación totalmente
distinta a la de multiplicar un vector por una matriz.
El problema es que, en el main(), la expresión m1 * m2 contiene dos referencias
Math, y son dos objetos de tipo desconocido. Una función virtual es sólo capaz de
hacer una única llamada - es decir, determinar el tipo de un único objeto. Para determinar
ambos tipos en este ejemplo se usa una técnica conocida como despachado
múltiple (multiple dispatching), donde lo que parece ser una única llamada a una función
virtual se convierte en una segunda llamada a una función virtual. Cuando la
segunda llamada se ha ejecutado, ya se han determinado ambos tipos de objetos y
se puede ejecutar la actividad de forma correcta. En un principio no es transparante,
pero después de un rato mirando el código empieza a cobrar sentido. Esta materia es
tratada con más profundidad en el capítulo de los patrones de diseño en el Volumen
2 que se puede bajar de >www.BruceEckel.com.
15.12. Downcasting
Como se puede adivinar, desde el momento que existe algo conocido como upcasting
- mover en sentido ascendente por una jerarquía de herencia - debe existir el
downcasting para mover en sentido descendente en una jerarquía. Pero el upcasting
es sencillo porque al movernos en sentido ascendente en la jerarquía de clases siempre
convergemos en clases más generales. Es decir, cuando se hace un upcast siempre
se está en una clase claramente derivada de un ascendente (normalmente solo uno,
excepto en el caso de herencia múltiple) pero cuando se hace downcast hay normalmente
varias posibilidades a las que amoldarse. Mas concretamente, un Circulo es
un tipo de Figura (que sería su upcast), pero si se intenta hacer un downcast de una
Figura podría ser un Circulo, un Cuadrado, un Triángulo, etc. El problema
es encontrar un modo seguro de hacer downcast (aunque es incluso más importante
preguntarse por qué se está usando downcasting en vez de usar el polimorfismo para
que adivine automáticamente el tipo correcto. En el Volumen 2 de este libro se trata
como evitar el downcasting.
C++ proporciona un moldeado explícito especial (introducido en el capítulo 3)
llamado "moldeado dinámico" (dynamic_cast) que es una operación segura. Cuando
se usa moldeado dinámico para intentar hacer un molde a un tipo en concreto, el valor
de retorno será un puntero al tipo deseado sólo si el molde es adecuado y tiene éxito,
de otra forma devuelve cero para indicar que no es del tipo correcto. Aquí tenemos
un ejemplo mínimo:
//: C15:DynamicCast.cpp
#include
using namespace std;
class Pet { public: virtual ~Pet(){}};
class Dog : public Pet {};
class Cat : public Pet {};
int main() {
Pet* b = new Cat; // Upcast
// Try to cast it to Dog*:
471
✐
✐
✐
✐