En la entrada anterior introdujimos por encima las plantillas. Seguro que generó más dudas que otra cosa, así que vamos a empezar a ver chicha código.
¿Qué resuelven las plantillas?
En lenguajes como C o Pascal implementamos algo tan básico como una lista enlazada tal que así:
/* Caso 1: Lista para un tipo concreto */
struct ListaPersona
{
struct Lista* siguiente;
/* El dato almacena un elemento de la lista puede ser un puntero (suele serlo */
Persona dato;
};
/* Caso 2: Lista genérica para cualquier cosa */
struct Lista
{
struct Lista* siguiente;
void* dato;
};En el caso 1, el problema es que hay que hacer una implementación por cada tipo de dato que queramos. Esto es bastante esfuerzo y, sobre todo, mucho trabajo de mantenimiento en caso de problemas.
En el caso 2 podemos hacer cualquier cosa, lo que puede acarrear problemas. Estos problemas vendrían, principalmente, por no poder validar el tipo de los datos que almacenamos. Por ejemplo:
/* No hagáis esto en casa */
typedef void*(*crea_instancia_t)();
int i;
struct Lista* lista;
crea_instancia_t crea_instancia[3] = { crea_persona, crea_pedido, crea_cualquier_cosa_guay };
for (i = 0; i < 100; i++)
{
lista = lista_agregar(lista, crea_instancia[rand()%3]());
}
/* ¿Qué hay en cada entrada de la lista? */Vale, es muy cogido por los pelos, pero siempre puede pasarnos que nos despistemos al programar y metamos lo que no es. Y lo mejor, depura a ver qué ha pasado.
¿Cómo resolvemos esto en C++?
Esta sería la parte más sencillas de las plantillas de C++. En este caso, lo que podemos hacer es poner algo que identifique el tipo que queremos y se sustituya por el que queremos:
template<typename T>
struct Lista
{
Lista* siguiente;
T dato;
};Ya está, ahora ya podemos aprovechar las ventajas del sistema de tipos para garantizar que metemos en la lista los tipos adecuados.
Ojo, a efectos prácticos es lo mismo que hacer una versión para cada tipo que le indiquemos a la lista. El compilador genera una versión para cada tipo.
En la próxima entrada empezaremos a ver cómo se integran los tipos de plantillas para pasarlos a funciones.