Discussion :

[oodini]

Bonjour,

Sujet récurrent, mais j'ai du mal à choper une réponse claire dans mes recherches sur Google :

Y a-t-il des cas où il est possible d'implémenter des fonctions membres de classes template, sans avoir à les déclarer inline ?

Merci.

[Flob90]

Bonsoir,

La réponse se trouve dans les règles de l'ODR (One Definition Rules), donc dans la norme (ou un draft, elles doivent pas avoir vraiment changé au fil du temps).

Pour en résumer une partie (ca concerne plus de chose que seulement les fonctions membres) : il faut inliner les fonctions membres templates d'une classe non-template, sinon pas d'obligation d'inliner.

[oodini]

il faut inliner les fonctions membres templates d'une classe non-template, sinon pas d'obligation d'inliner.

Donc, quand on a une classe template, et que ses méthodes membres n'ont pas de paramètres template qui lui sont propres, il n'est pas obligatoire de les inliner dans le but d'éviter des soucis d'édition de lien ?

[Jean-Marc.Bourguet]

Quel est le problème? Le constructeur de Bar n'est pas inline dans

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
template <typename T> class Bar
{
public:
    Bar();
};
 
template <typename T> Bar<T>::Bar()
{
}

[koala01]

salut,

Quel est le problème? Le constructeur de Bar n'est pas inline dans

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
template <typename T> class Bar
{
public:
    Bar();
};
 
template <typename T> Bar<T>::Bar()
{
}

Non, mais, sauf erreur de ma part, l'éditeur de liens ralera si tu utilise Bar avec le meme paramètre template dans deux fichiers *.cpp différent sous prétèxte qu'il trouve un symbole défini de manière multiple

[Flob90]

@koala: Normalement non :

There can be more than one definition of a [...] member function of a class template (14.5.1.1)

Il peut y avoir plus d'une définition [Note : Dans l'ensemble du programme, dans un TU c'est toujours exactement une] [...] d'une fonction membre d'une classe template.

@oodini: A partir du moment où ta classe est template tu n'as rien à inliner, c'est quand elle n'est pas template que tu as besoin d'inliner.

Pour être exact dans le cas d'une classe non template les fonctions membres non inline ne doivent être définies qu'une seul fois, pas de problème pous les fonctions membres non template car on peut les mettre dans une fichier d'implémentation, mais avec une fonction membre template ce n'est pas vraiment possible de faire cette séparation (je passe volontairement sous silence export), ainsi le fait de la passer en inline permet de la définir plusieurs fois, et donc de la définir dans le header.