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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 458 — #496
✐
Capítulo 15. Polimorfismo y Funciones virtuales
Derived1 d1;
int x = d1.f();
d1.f(s);
Derived2 d2;
x = d2.f();
//! d2.f(s); // string version hidden
Derived4 d4;
x = d4.f(1);
//! x = d4.f(); // f() version hidden
//! d4.f(s); // string version hidden
Base& br = d4; // Upcast
//! br.f(1); // Derived version unavailable
br.f(); // Base version available
br.f(s); // Base version abailable
} ///:~
La primera cosa a resaltar es que en Derived3, el compilador no permitirá cambiar
el tipo de retorno de una función sobreescrita (lo permitiría si f() no fuera virtual).
ésta es una restricción importante porque el compilador debe garantizar que
se pueda llamar de forma "polimórfica" a la función a través de la clase base, y si la
clase base está esperando que f() devuelva un int, entonces la versión de f() de la
clase derivada debe mantener ese compromiso o si no algo fallará.
La regla que se enseño en el capítulo 14 todavía funciona: si se sobreescribe una
de las funciones miembro sobrecargadas de la clase base, las otras versiones sobrecargadas
estarán ocultas en la clase derivada. En el main() el código de Derived4
muestra lo que ocurre incluso si la nueva versión de f() no está actualmente sobreescribiendo
una función virtual existente de la interfaz - ambas versiones de f() en
la clase base estan ocultas por f(int). Sin embargo, si se hace un upcast de d4 a B-
ase, entonces únicamente las versiones de la clase base estarán disponibles (porque
es el compromiso de la clase base) y la versión de la clase derivada no está disponible
(debido a que no está especificada en la clase base).
15.9.1. Tipo de retorno variante
La clase Derived3 de arriba viene a sugerir que no se puede modificar el tipo
de retorno de una función virtual cuando es sobreescrita. En general es verdad, pero
hay un caso especial en el que se puede modificar ligeramente el tipo de retorno. Si
se está devolviendo un puntero o una referencia a una clase base, entonces la versión
sobreescrita de la función puede devolver un puntero o una referencia a una clase
derivada. Por ejemplo:
//: C15:VariantReturn.cpp
// Returning a pointer or reference to a derived
// type during ovverriding
#include
#include
using namespace std;
class PetFood {
public:
virtual string foodType() const = 0;
};
458
✐
✐
✐
✐