Compléments sur la Généricité en C++ : Définition de fonctions génériques

• Une fonction générique est, en quelque sorte, un modèle de code.
• Tant que ce modèle de code n'est pas utilisé dans votre programme, aucun code n'est produit à la compilation.
• Dès lors que le modèle est utilisé, le compilateur cherche à produire une fonction utilisant les types proposés pour l'appel.
• Ou les types sont compatibles et la fonction est produite.
• Ou les types ne sont pas compatibles et une erreur est produite.
• Une fonction générique ne produit pas de code : c'est sa première utilisation qui le fera.
• On place donc le code d'une fonction générique dans un .h

• Le langage C++ : Les compléments - 1999 .. 2023

• <numéro>

Notes:

Comme il est dit ci-dessus, un code générique doit obligatoirement être déclaré et implémenté dans un .h. La lecture du template ne fait que de déclarer une définition de fonction générique (ou une méthode générique d'ailleurs) au sein du compilateur. La production du code machine pour le(s) type(s) considéré(s) n'étant réalisée qu'à l'utilisation du type générique. Il faut donc qu'au moment de l'utilisation du template on en connaisse son contenu, d'où la localisation dans un .h.

En conséquence, si vous avez accès à la STL (Standard Template Library), vous avez accès à la totalité de son code (étant donnée qu'elle est 100% générique).