Discussion :

[guillaume07]

http://cpp.developpez.com/cours/cpp/?page=page_14#LXIV

"Enfin, ce qui est le plus grave, c'est que les instances des template sont en multiples exemplaires dans les fichiers objets générés par le compilateur"


Si dans un projet on utilise dans 2 fonction un std::vector<int> v; , dans le binaire cette classe sera présente 2 fois ?

[koala01]

http://cpp.developpez.com/cours/cpp/?page=page_14#LXIV

"Enfin, ce qui est le plus grave, c'est que les instances des template sont en multiples exemplaires dans les fichiers objets générés par le compilateur"


Si dans un projet on utilise dans 2 fonction un std::vector<int> v; , dans le binaire cette classe sera présente 2 fois ?

Le risque est effectivement présent, surtout si tu utilise un std::vector<int> dans deux unités de compilation séparées.

[jblecanard]

Hello

Voilà qui est intéressant. Que se passe-t-il dans le cas où deux unités de compilation s'échangent via des méthodes des std::vector ? Il y a aura deux classes dans le binaire, mais strictement identiques ?

[screetch]

en general, le code n'est pas dupliqué dans l'executable final. La plupart des linker fusionnent les méthodes dont le code généré est identique.
ce qui les conduit même parfois a fusionner std::vector<int> et std::vector<float>, et std::vector<A*> et std::vector<B*>

[jblecanard]

Je me disais aussi... ça ferait trop gonfler l'empreinte pour rien.

[screetch]

bah oui
ca poserait aussi d'enormes problèmes pour les variables statiques des classes templates; il n'y en aurait pas une pour le programme mais une par module, donc deux modules ne parleraient pas à la même variable... "woups!"

[guillaume07]

ce qui les conduit même parfois a fusionner std::vector<int> et std::vector<float>, et std::vector<A*> et std::vector<B*>

TU aurais un peu plus de détails ?

[screetch]

Si le code généré est abolument identique pourquoi en avoir plusieurs versions (une copie en quelques sortes?)
Certains linker fusionnent donc les methodes qui ont exactement le meme code assembleur généré.
vector<int> et vector<float> pourraient en faire partie, par exemple. A part gérer des données de 32 bits de long, y'a pas de code spécialisé.

[koala01]

C'est, en réalité, beaucoup plus comlexe que cela...

Ce dont on est sur tient en plusieurs points:

1. Le code d'une classe template est, a priori, inliné car le compilateur ne peux créer le code binaire correspondant qu'une fois qu'il sait quel est le type du (des) paramètre(s) template
2. Le compilateur oublie, d'une unité de compilation à l'autre, ce qu'il a pu faire
3. Le compilateur reste seul juge de l'opportunité d'inliner (ou non) une fonction déclarée (de manière implicite ou explicite) inline
4. Si le code d'une fonction (membre d'une classe) template est utilisé, il est très certainement généré au niveau binaire, ce qui ne veut pas dire (tout dépend du compilateur) que l'ensemble des fonctions de la classe template (s'il échoit) le sera d'office

A partir de là, on peut être tenté de tirer quelques conclusions, qui peuvent parfaitement s'avérer non fondées, telles que:

• Le code binaire ne sera peut être généré pour l'ensemble d'une classe que pour les instances de celle-ci (par opposition aux références / pointeurs sur les instances de la classe), dans le fichiers où les dites instances sont créées
• Il n'est pas exclu que l'appelle d'une fonction donnée occasionne l'inlining de celle-ci, et donc sa présence à l'intérieur du binaire, à la place où elle est appelée
• ...

Là dessus, il faut aussi prendre l'éventualité de l'instanciation explicite, entre autres pour les types primitifs.

Il n'est donc pas exclu, malgré tout, que l'ensemble de std::vector<int> se trouve dans libstdxx.a (sous gcc) et que le code ne soit pas forcément inliné chaque fois que l'on a une variable de ce type.

Et ce n'est qu'un aperçu rapide du problème qu'il peut y avoir à donner une réponse par trop affirmative