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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 486 — #524
✐
Capítulo 16. Introducción a las Plantillas
16.3.1. Definiciones de función no inline
Por supuesto, hay veces en las que se querrá tener definición de funciones no
inline. En ese caso, el compilador necesita ver la declaración del template antes
que la definición de la función miembro. Aquí está el ejemplo anterior, modificado
para mostrar la definición del miembro no inline.
//: C16:Array2.cpp
// Non-inline template definition
#include "../require.h"
template
class Array {
enum { size = 100 };
T A[size];
public:
T& operator[](int index);
};
template
T& Array::operator[](int index) {
require(index >= 0 && index < size,
"Index out of range");
return A[index];
}
int main() {
Array fa;
fa[0] = 1.414;
} ///:~
Cualquier referencia al nombre de una plantilla de clase debe estar acompañado
por la lista de argumentos del template, como en Arrayoperator[]. Se puede
imaginar que internamente, el nombre de la clase se rellena con los argumentos de
la lista de argumentos de la plantilla para producir un nombre identificador único
de la clase for cada instanciación de la plantilla.
Archivos cabecera
Incluso si se crean definiciones de funciones no inline, normalmente se querrá
poner todas las declaraciones y definiciones de un template en un archivo cabecera.
Esto parece violar la regla usual de los archivos cabecera de «No poner nada que
asigne almacenamiento», (lo cual previene múltiples errores de definición en tiempo
de enlace), pero las definiciones de plantillas son especial. Algo precedido por
template significa que el compilador no asignará almacenamiento en ese
momento, sino que se esperará hasta que se lo indiquen (en la instanciación de una
plantilla), y que en algún lugar del compilador y del enlazador hay un mecanismo
para eliminar las múltiples definiciones de una plantilla idéntica. Por lo tanto casi
siempre se pondrá toda la declaración y definición de la plantilla en el archivo
cabecera por facilidad de uso.
Hay veces en las que puede ser necesario poner las definiciones de la plantilla
en un archivo cpp separado para satisfacer necesidades especiales (por ejemplo,
forzar las instanciaciones de las plantillas para que se encuentren en un único archivo
dll de Windows). La mayoría de los compiladores tienen algún mecanismo para
486
✐
✐
✐
✐