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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 13 — #51
✐
1.6. Objetos intercambiables gracias al polimorfismo
cuerpo de la función, usando información almacenada en el objeto (este proceso se
trata con detalle en el Capítulo 15). De este modo, cualquier objeto se puede comportar
de forma diferente de acuerdo con el contenido de este trozo especial de código.
Cuando envía un mensaje a un objeto, el objeto comprende realmente qué hacer con
el mensaje.
Es posible disponer de una función que tenga la flexibilidad de las propiedades
de la ligadura tardía usando la palabra reservada virtual. No necesita entender
el mecanismo de virtual para usarla, pero sin ella no puede hacer programación
orientada a objetos en C++. En C++, debe recordar añadir la palabra reservada virtual
porque, por defecto, los métodos no se enlazan dinámicamente. Los métodos
virtuales le permiten expresar las diferencias de comportamiento en clases de la misma
familia. Estas diferencias son las que causan comportamientos polimórficos.
Considere el ejemplo de la figura. El diagrama de la familia de clases (todas basadas
en la misma interfaz uniforme) apareció antes en este capítulo. Para demostrar
el polimorfismo, queremos escribir una única pieza de código que ignore los detalles
específicos de tipo y hable sólo con la clase base. Este código está desacoplado de la
información del tipo específico, y de esa manera es más simple de escribir y más fácil
de entender. Y, si tiene un nuevo tipo - un Hexágono, por ejemplo - se añade a través
de la herencia, el código que escriba funcionará igual de bien para el nuevo tipo de
Figura como para los tipos anteriores. De esta manera, el programa es extensible.
Si escribe una función C++ (podrá aprender dentro de poco cómo hacerlo):
void hacerTarea(Figura& f) {
f.borrar();
// ...
f.dibujar();
}
Esta función se puede aplicar a cualquier Figura, de modo que es independiente
del tipo específico del objeto que se dibuja y borra (el «&» significa «toma la dirección
del objeto que se pasa a hacerTarea()», pero no es importante que entienda los
detalles ahora). Si en alguna otra parte del programa usamos la función hacerTarea():
Circulo c;
Triangulo t;
Linea l;
hacerTarea(c);
hacerTarea(t);
hacerTarea(l);
Las llamadas a hacerTarea() funcionan bien automáticamente, a pesar del tipo
concreto del objeto.
En efecto es un truco bonito y asombroso. Considere la línea:
hacerTarea(c);
Lo que está ocurriendo aquí es que está pasando un Círculo a una función que
espera una Figura. Como un Círculo es una Figura se puede tratar como tal por
parte de hacerTarea(). Es decir, cualquier mensaje que pueda enviar hacerTarea()
a una Figura, un Círculo puede aceptarlo. Por eso, es algo completamente
13
✐
✐
✐
✐