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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 483 — #521
✐
16.2. Un vistazo a las plantillas
Figura 16.1: Contenedores
Debido a que C++ suporta múltiples jerarquías independientes, la jerarquía basada
en objetos de Smalltalk no funciona tan bien.
La solución parace obvia. Si se pueden tener múltiples jerarquías de herencia,
entonces hay que ser capaces de heredar de más de una clase: La herencia múltiple
resuelve el problema. Por lo que se puede hacer lo siguiente (un ejemplo similar se
dió al final del Capítulo 15).
Figura 16.2: Herencia múltiple
Ahora OShape tiene las características y el comportamiento de Shape, pero como
también está derivado de Object puede ser insertado en el contenedor. La herencia
extra dada a OCircle, OSquare, etc. es necesaria para que esas clases puedan hacer
upcast hacia OShape y puedan mantener el comportamiento correcto. Se puede ver
como las cosas se están volviendo confusas rápidamente.
Los vendedores de compiladores inventaron e incluyeron sus propias jerarquías y
clases contenedoras, muchas de las cuales han sido reemplazadas desde entonces por
versiones de templates. Se puede argumentar que la herencia múltiple es necesaria
para resolver problemas de programación general, pero como se verá en el Volumen
2 de este libro es mejor evitar esta complejidad excepto en casos especiales.
16.2.1. La solución de la plantilla
Aunque una jerarquía basada en objetos con herencia múltiple es conceptualmente
correcta, se vuelve difícil de usar. En su libro 3 , Stroustrup demostró lo que el
consideraba una alternativa preferible a la jerarquía basada en objetos. Clases contenedoras
que fueran creadas como grandes macros del preprocesador con argumentos
que pudieran ser sustituidos con el tipo deseado. Cuando se quiera crear un
3 The C++ Programming Language by Bjarne Stroustrup (1ª edición, Addison-Wesley, 1986)
483
✐
✐
✐
✐