Discussion :

[xwindoo]

Bonjour à tous,

Je rencontre un problème avec les fonctions template de classes exportées. J'ai fais pas mal de recherches mais rien ne correspond à mon cas. Je vous expose le problème :

Je souhaite exporter une classe (non template) contenant des fonctions template, comme ceci :

Code :

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

1
2
3
4
5
class __declspec(dllexport) MaClasse
{
public:
    template <class T> void MaFonction(T Param) { ... }
};

Le problème, c'est que les fonctions template ne peuvent pas être exportées.
Lorsque j'essaie d'utiliser la fonction, j'obtiens cette erreur à la compilation :

Code :

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

error LNK2001: unresolved external symbol "__declspec(dllimport) public: class void MaClasse::MaFonction(int)" ...

J'en conclu que le comilateur (Microsoft Visual C++ 6) cherche la fonction dans la dll.

Comment peut-on alors spécifier au compilateur de ne pas chercher cette fonction dans la dll, mais de la compiler directement à partir du fichier, sachant qu'elle est forcément inlinée ? Tout en gardant le __declspec(dllexport) devant le nom de la classe.

J'espère que j'ai été assez clair, si vous voulez plus de précision, n'hésitez pas à me demander.

Merci d'avance.

[Biozic]

sachant qu'elle est forcément inlinée

Il me semble que c'est pas forcé, mais que le compilateur décide. Mais ça change rien au problème.

Es-tu sûr que tout est bien configuré dans ta compilation? Parce que ça devrait marcher; en tout cas ça marche chez moi dans une situation similaire, avec VC++2005.

Désolé de pas être plus utile.

[xwindoo]

Merci pour ta réponse Biozic.

Moi j'ai appris que les fonctions templates doivent forcément être inlinées. Tout du moins, avec MSVC6. Mais je me trompe peut-être, je ne connais pas tout.

Es-tu sûr que tout est bien configuré dans ta compilation? Parce que ça devrait marcher; en tout cas ça marche chez moi dans une situation similaire, avec VC++2005.

j'ai pensé également que ça pouvait venir du compilateur, car MSVC6 à pas mal de problèmes avec les templates.
Qu'est ce que je devrais changer dans les configurations pour pallier à ce problème ? Je ne vois pas trop.

Merci.

[Biozic]

Bon, concernant les templates, ils ne sont pas forcément inlinés, puisqu'on a besoin de mettre "inline" devant pour le faire (ou alors le corps de la fonction template est dans la déclaration de la classe, ce qui est ton cas). Mais en plus le compilo est pas obligé de les inliner me semble-t-il.

Bref, ton problème est peut-être un problème de MSVC6 en effet, parce que sous VC++2005, il n'y a justement rien de spécial à configurer pour que ça marche . A moins que ce soit une erreur bête du genre oublié de linker avec le lib, etc.

[NiamorH]

J'ai cependant une question.

Si ici la fonction f() n'est pas inline, pourquoi son utilisation dans plusieurs unités de compilation ne provoque pas d'erreur (chez moi) ?

Code :

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

1
2
3
4
5
6
7
8
template <typename T>
struct Test
{
  void f();
};
 
template <typename T>
void Test<T>::f() { }

Il me semble que l'ODR (one-definition rule) n'est pourtant pas respectée.

J'ai mal fait mon test ?

[koala01]

Salut,

En fait, les fonctions template doivent être inlinées, mais c'est à charge du programmeur que de s'en assurer...

En effet, si tu vois une fonction template prenant la forme de

Code :

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

1
2
3
4
5
6
 
tepmlate <class T>
T Min(const T& a, const T& b)
{
    return (a<b ? a:b);
}

il manque une information capitale pour pouvoir créer le code machine: le type de donnée utilisé.

Car, à bien y réfléchir, ce code fonctionnera tout aussi bien pour un char , un short, un int, un réel, voire, meme pour tout type utilisateur ayant définit l'opérateur <...

Or, le compilateur ne disposera de cette information que... quand il rencontrera l'utilisation de la fonction

Maintenant, pour ce qui est de savoir ce que le compilateur décidera de faire... ca reste de son seul recours, car il peut tout aussi bien décider, comme pour toute fonction demandée inline par le programmeur, de l'inliner effectivement... ou non...

Pour completer la réponse, on peut rappeler qu'il y a deux maniières de demander l'inlining d'une fonction au sein d'une classe:
Soit, on définit la fonction directement au sein de la définition de la classe

Code :

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

1
2
3
4
5
6
7
8
9
10
class LaClass
{
    public:
        /*...*/
        void laFonction()
        {
             /* demande implicite d'inliner la fonction */
        }
        /*...*/
};

soi on demande explicitement de le faire, mais à ce moment là, la définition de la fonction inlinée doit, au minimum au travers du jeu des inclusion, se retrouver dans le fichier d'en-tête

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
class LaClass2
{
    public:
        /*...*/
        void laFonction();
};
inline void LaClass2::laFonction()
{
    /* inlining explicitement demandé grace au mot clé inline */
}

[Jean-Marc.Bourguet]

J'ai cependant une question.

Si ici la fonction f() n'est pas inline, pourquoi son utilisation dans plusieurs unités de compilation ne provoque pas d'erreur (chez moi) ?

Il me semble que l'ODR (one-definition rule) n'est pourtant pas respectée.

Parce que l'ODR est un peu plus complexe que cela. Sa description prend deux pages ou on trouve le paragraphe suivant:

There can be more than one definition of [...] a class template, non static function template, static data member of a class template, member function template or template specialization for which some template parameters are not specified in a program provided that each definition appears in a different translation unit and provided the definitions satisfy the following requirements.[...]

[Jean-Marc.Bourguet]

En fait, les fonctions template doivent être inlinées, mais c'est à charge du programmeur que de s'en assurer...

Non. Il y a deux sens a inline:
- un sens de technique de compilation: le code genere ne comprend pas d'appel de fonction mais le code de celle-ci est place a l'endroit ou il y aurait eu des appels;
- un sens C++, la definition de la fonction apparait dans la declaration de la classe ou est accompagnee du mot-cle inline. Formellement, ca permet d'avoir plusieurs definitions de la fonction sous certaines conditions. Informellement, ca demande au compilateur d'appliquer le premier sens.

Les fonctions template ne sont inline ni dans un sens ni dans l'autre. (Edit: Mais un compilateur peut rendre n'importe quelle fonction, y compris template, inline dans le premier sens s'il le veut).

[NiamorH]

Parce que l'ODR est un peu plus complexe que cela. Sa description prend deux pages ou on trouve le paragraphe suivant:

Ok merci pour la précision.

Non. Il y a deux sens a inline:
- un sens de technique de compilation: le code genere ne comprend pas d'appel de fonction mais le code de celle-ci est place a l'endroit ou il y aurait eu des appels;
- un sens C++, la definition de la fonction apparait dans la définition de la classe ou est accompagnee du mot-cle inline. Formellement, ca permet d'avoir plusieurs definitions de la fonction sous certaines conditions. Informellement, ca demande au compilateur d'appliquer le premier sens.

Ok.

Les fonctions template ne sont inline ni dans un sens ni dans l'autre.

Quoi ? De base tu veux dire (sans spécifier le mot clef inline) ? Sinon je comprends plus rien.

[Jean-Marc.Bourguet]

De base tu veux dire (sans spécifier le mot clef inline) ? Sinon je comprends plus rien.

Oui. Sinon naturellement elle le sont dans le second. Et aussi, le compilateur peut inliner tout ce qu'il veut sans qu'on lui demande et le fait que la definition soit accessible aide le compilateur a le faire (c'est une des raisons pour lesquelles le inline du C++ permet d'avoir plusieurs definitions).

[Davidbrcz]

Question stupide mais essentiel à mes yeux.

Comment peut ton créer une DLL de fonction template ?

Ceci me parait un non sens puisque par définition les templates sont intimement lié à la phase de compilation alors qu'au contraire, les DLL sont faites pour être chargé dynamiquement lors de l'exécution.

[Jean-Marc.Bourguet]

Question stupide mais essentiel à mes yeux.
Comment peut ton crée une DLL d e fonction template ?

Non (du moins en C++, dans d'autres langages ayant d'autres contraintes -- en particulier pas de specialisation explicite -- c'est envisageable/possible) . Tu peux mettre des instantiations dans une DLL.

[Davidbrcz]

Merci.
C'est bien ce que je pensais.

[xwindoo]

Merci pour toutes vos réponses.

Si ici la fonction f() n'est pas inline, pourquoi son utilisation dans plusieurs unités de compilation ne provoque pas d'erreur (chez moi) ?

Code :

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

1
2
3
4
5
6
7
8
template <typename T>
struct Test
{
  void f();
};
 
template <typename T>
void Test<T>::f() { }

Dans ce cas, c'est la structure qui est template et non la fonction f(), donc il n'y a pas de problème.

Question stupide mais essentiel à mes yeux.
Comment peut ton créer une DLL de fonction template ?

Justement, on ne peux pas, comme l'a précisé Jean-Marc.Bourguet. La seule chose que l'on peux faire est de créer des spécialisations avec différents types, comme ceci par exemple :

Code :

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

1
2
3
4
5
template <class T>
class c {};
 
typedef c<int> ci;
...

Dans mon cas, ce n'est pas un problème d'inlining, mais d'exportation/importation. Je met mes fonctions template inline, justement parce qu'on ne peux pas les inclure dans la dll. Le compilateur devra alors compiler ces fonctions avec les types utilisés par le programmeur.

Le compilateur pense qu'il doit aller chercher le code de la fonction dans la dll :

Code :

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

error LNK2001: unresolved external symbol "__declspec(dllimport) public: class void MaClasse::MaFonction(int)" ...

Alors que la fonction est non seulement template mais inline.

Voila, j'espère que je ne vous ai pas embrouillés

[NiamorH]

La seule chose que l'on peux faire est de créer des spécialisations avec différents types, comme ceci par exemple :

Code :

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

1
2
3
4
5
template <class T>
class c {};
 
typedef c<int> ci;
...

Un typedef ne crée aucune instance du template.

[Alp]

Non. Il y a deux sens a inline:
- [...]
- un sens C++, la definition de la fonction apparait dans la declaration de la classe ou est accompagnee du mot-cle inline. Formellement, ca permet d'avoir plusieurs definitions de la fonction sous certaines conditions.

Tu aurais un exemple pour le coup de "plusieurs définitions" s'il te plaît ?

[NiamorH]

typiquement :

Code :

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

1
2
3
4
5
6
7
// unit1.cpp
 
inline
int func()
{
  return 3;
}

Code :

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

1
2
3
4
5
6
7
// unit2.cpp
 
inline
int func()
{
  return 3;
}

devrait compiler

[Alp]

Mais on peut donc modifier le corps de func sans que le compilo ne se doute de rien ?
Et toutes les fonctions et classes qui utilisent func dans l'une de ces unités de compilation va se servir de la func qui y est définie ?

[NiamorH]

Si tu modifies leur corps, ca devient un comportement indéfini. (d'après C++ templates the complete guide)

Il appellent ça : la "Cross-Translation Unit Equivalence Constraints"

[Alp]

J'irai voir. Merci pour l'info.