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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 11 — #49
✐
1.6. Objetos intercambiables gracias al polimorfismo
la parte de frío del nuevo objeto. La interfaz del nuevo objeto se ha extendido, y el
sistema existente no conoce nada excepto la interfaz original.
Tesmostato controla Sistema de frío
temperaturaMínima( ) frío( )
Aire Acondicionado
frío( )
Bomba de calor
frío( )
calor( )
Figura 1.7: Relaciones
Por supuesto, una vez que vea este diseño queda claro que la clase base «sistema
de frío» no es bastante general, y se debería renombrar a «sistema de control de temperatura»,
además también puede incluir calor, en este punto se aplica el principio
de sustitución. Sin embargo, el diagrama de arriba es un ejemplo de lo que puede
ocurrir en el diseño y en el mundo real.
Cuando se ve el principio de sustitución es fácil entender cómo este enfoque (sustitución
pura) es la única forma de hacer las cosas, y de hecho es bueno para que sus
diseños funcionen de esta forma. Pero verá que hay ocasiones en que está igualmente
claro que se deben añadir nuevas funciones a la interfaz de la clase derivada. Con
experiencia, ambos casos puede ser razonablemente obvios.
1.6. Objetos intercambiables gracias al polimorfismo
Cuando se manejan jerarquías de tipos, se suele tratar un objeto no como el tipo
específico si no como su tipo base. Esto le permite escribir código que no depende
de los tipos específicos. En el ejemplo de la figura, las funciones manipulan figuras
genéricas sin preocuparse de si son círculos, cuadrados, triángulos, etc. Todas las
figuras se pueden dibujar, borrar y mover, pero estas funciones simplemente envían
un mensaje a un objeto figura, sin preocuparse de cómo se las arregla el objeto con
cada mensaje.
Semejante código no está afectado por la adición de nuevos tipos, y añadir nuevos
tipos es la forma más común de extender un programa orientado a objetos para
tratar nuevas situaciones. Por ejemplo, puede derivar un nuevo subtipo de figura llamado
pentágono sin modificar las funciones que tratan sólo con figuras genéricas.
Esta habilidad para extender un programa fácilmente derivando nuevos subtipos es
importante porque mejora enormemente los diseños al mismo tiempo que reduce el
coste del mantenimiento del software.
11
✐
✐
✐
✐