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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 484 — #522
✐
Capítulo 16. Introducción a las Plantillas
contenedor que maneje un tipo en concreto, se hacen un par de llamadas a macros.
Desafortunadamente, esta aproximación era confusa para toda la literatura existente
de Smalltalk y para la experiencia de programación, y era un poco inmanejable.
Básicamente, nadie la entendía.
Mientras tanto, Stroustrup y el equipo de C++ de los Laboratorios Bell habían
modificado su aproximación de las macros, simplificándola y moviéndola del dominio
del preprocesador al compilador. Este nuevo dispositivo de sustitución de código
se conoce como template 4 (plantilla), y representa un modo completamente diferente
de reutilizar el código. En vez de reutilizar código objeto, como en la herencia
y en la composición, un template reutiliza código fuente. El contenedor no maneja una
clase base genérica llamada Object, si no que gestiona un parámetro no especificado.
Cuando se usa un template, el parámetro es sustituido por el compilador, parecido
a la antigua aproximación de las macros, pero más claro y fácil de usar.
Ahora, en vez de preocuparse por la herencia o la composición cuando se quiera
usar una clase contenedora, se usa la versión en plantilla del contenedor y se crea
una versión específica para el problema, como lo siguiente:
Contenedor
de Figuras
Figura
Figura
Figura
Figura 16.3: Contenedor de objetos Figura
El compilador hace el trabajo por nosotros, y se obtiene el contenedor necesario
para hacer el trabajo, en vez de una jerarquía de herencia inmanejable. En C++, el
template implementa el concepto de tipo parametrizado. Otro beneficio de la aproximación
de las plantillas es que el programador novato que no tenga familiaridad o
esté incómodo con la herencia puede usar las clases contenedoras de manera adecuada
(como se ha estado haciendo a lo largo del libro con el vector).
16.3. Sintaxis del Template
La palabra reservada template le dice al compilador que la definición de clases
que sigue manipulará uno o más tipos no especificados. En el momento en que el
código de la clase actual es generado, los tipos deben ser especificados para que el
compilador pueda sustituirlos.
Para demostrar la sintaxis, aquí está un pequeño ejemplo que produce un array
con límites comprobados:
//: C16:Array.cpp
#include "../require.h"
#include
using namespace std;
template
4 La inspiración de los templates parece venir de los generics de ADA
484
✐
✐
✐
✐