« Programmation C++/Les templates » : différence entre les versions

 

Exemple avec un patron de fonction calculant la valeur maximale d'un tableau de données (le type étant le paramètre du patron de fonction) :

template<class T>

T max(T array[], int length)

return vmax;

}

Le type <code>class</code> utilisé pour le paramètre <code>T</code> est en fait un type de données, pas forcément une classe.

La norme a introduit plus tard le mot clé <code>typename</code> qui peut venir se substituer à <code>class</code> dans ce cas-là.

 

Exemple d'utilisation :

int values[]={ 100, 50, 35, 47, 92, 107, 84, 11 };

 

cout << max(values, 8);

Le compilateur crée une fonction max à partir du type des arguments, en remplaçant le paramètre <code>T</code> par le type <code>int</code> dans le cas précédent.

Après remplacement le compilateur génère la fonction suivante :

int max(int array[], int length)

{

return vmax;

}

Si on utilise la fonction <code>max</code> avec différents types (<code>int</code>, <code>double</code>, ...), le compilateur générera autant de fonctions.

Les patrons permettent donc d'éviter d'écrire plusieurs fonctions pour chaque type de donnée traité. Quand on sait que la duplication inutile de code est source d'erreur, on comprend l'intérêt de mettre en facteur plusieurs fonctions potentielles dans un même patron de fonction.

 

Exemple d'une classe gérant un tableau de données :

template<class T,int maxsize>

class CDataArray

int length;

};

L'implémentation du constructeur et des méthodes de la classe exige une syntaxe un peu plus complexe.

Par exemple, pour le constructeur :

template<class T,int maxsize>

CDataArray<T,maxsize>::CDataArray()

: length(0) // Liste d'initialisation des données membres

{}

La première ligne rappelle qu'il s'agit d'un patron de classe.

Le nom du constructeur est précédé du nom de la classe suivi des paramètres du patron de classe, afin que le compilateur détermine de quelle classe il s'agit.

 

Les méthodes sont implémentées de manière identique :

template<class T,int maxsize>

int CDataArray<T,maxsize>::getSize()

return true;

}

Contrairement aux patrons de fonctions, l'instanciation d'un patron de classe exige la présence de la valeur des paramètres à la suite du nom de la classe.

 

Exemple :

CDataArray<int,100> listeNumeros;

 

 

cout << listeNumeros.getSize() << endl;

Le compilateur génère une classe pour chaque ensemble de valeurs de paramètres d'instanciation différent.