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.

[Jean-Marc.Bourguet]

@koala: Normalement non :

C'est pas ce que j'aurais cite (on pourrait avoir plusieurs definitions du template tout en ne permettant qu'une instantiation).

Le fait est que les instantiations ont lieu logiquement pendant l'edition de liens (en phase 8), meme si en pratique le plus souvent elles ont lieu pour chaque unite de compilation et l'editeur de liens ignore les doublons.

[koala01]

ouppsss... au temps pour moi...

Il me semblait pourtant avoir déjà été confronté à des erreurs de l'éditeur de liens lorsque les fonctions templates n'étaient pas inlinées (que ce soit de manière implicite ou explicite).

Je viens de vérifier avec un exemple simple, et cela marche en effet tout à fait correctement

[Jean-Marc.Bourguet]

ouppsss... au temps pour moi...

Il me semblait pourtant avoir déjà été confronté à des erreurs de l'éditeur de liens lorsque les fonctions templates n'étaient pas inlinées (que ce soit de manière implicite ou explicite).

Je viens de vérifier avec un exemple simple, et cela marche en effet tout à fait correctement

Avec des bibliotheques dynamiquement liees peut-etre? (J'ai jamais eu de probleme sous Unix dans ce cas, mais la gestion des bibliotheques dynamiques varie deja pas mal entre les differents Unix ca me semble donc etre la source la plus vraisemblable d'un probleme de ce genre)

[koala01]

Avec des bibliotheques dynamiquement liees peut-etre? (J'ai jamais eu de probleme sous Unix dans ce cas, mais la gestion des bibliotheques dynamiques varie deja pas mal entre les differents Unix ca me semble donc etre la source la plus vraisemblable d'un probleme de ce genre)

Ce n'est pas du tout exclu ...

[oodini]

Merci à tous pour votre participation !
C'est dorénavant beaucoup plus clair.