Discussion :

[akirira]

Bonjour à tous,

Je rencontre une erreur de link sur un point délicat de C++ sur un projet conséquent, et j'ai du mal à comprendre cette erreur.

J'ai réécrit un ECM qui reproduit le problème, constitué de 3 fichiers:
un fichier contenant le main(), et d'une bibliothèque statique mylib.a, construite à partir de mylib.h et mylib.cpp

le main:

Code :

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

1
2
3
4
5
6
7
8
#include "mylib.hpp"
int main()
{
    std::cout << "hello world!\n";
    foo<int>();
    foo<float>();
    SomeFunc();
}

Le fichier d'en tete:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
#ifndef MYLIB_HPP
#define MYLIB_HPP
 
#include <iostream>
 
template <typename T>
void foo()
{
    std::cout << "generic foo\n";
}
void SomeFunc();
#endif

Le code de mylib.cpp associé

Code :

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

1
2
3
4
5
6
#include "mylib.hpp"
 
void SomeFunc()
{
    std::cout << "SomeFunc\n";
}

Jusque là, tout va bien... Je peux générer la bibliothèque statique, et compiler et exécuter le main().

Le problème apparaît quand j'essaie de spécialiser 'foo()': si j'ajoute dans le .h une spécialisation:

Code :

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

1
2
3
4
5
template <>
void foo<int>()
{
    std::cout << " int foo\n";
}

Alors le linker me jette au motif d'une double définition de 'foo()', dans le main.cpp et dans mylib.cpp. Or, j'ai bien les "include-guards" !
Et pourquoi ce problème apparait-il uniquement en cas de spécialisation ? Cela voudrait dire que la fonction générique n'est pas instanciée dans mylib.a, mais que la spécialisation l'est!
Je ne comprend pas pourquoi, alors que la fonction n'est pas instanciée (?) dans mylib.a

Merci pour votre sagacité à résoudre ce mystère...

[Rewpparo]

Les spécialisations totales de template vont dans le fichier .cpp, soit dans la lib soit dans le programme.
Si tu le mets dans le .h, que tu inclus le .h dans un cpp de la lib, il le compile dedans. Quand tu inclus le .h dans le main, il le recompile une autre fois. Au linkage, il a deux instances.
En fait une spécialisation de template se comporte de ce point de vue comme une définition classique de fonction.

[akirira]

En fait une spécialisation de template se comporte de ce point de vue comme une définition classique de fonction.

Bon, effectivement, si je mets la spécialisation dans mylib.cpp, l'erreur disparait.

Ce qui m'embete, c'est que du coup la définition des fonctions va être étalée dans plusieurs fichiers, les versions génériques dans le .h et les spécialisées dans le .cpp. Pas trop le choix, j'imagine...

Merci, en tout cas, ca faisait quelques jours que je bloquais là-dessus!

[Rewpparo]

Pour plus de clarté, il me semble que tu peux mettre le prototype de la spécialisation dans le .h. A vérifier.

[akirira]

Pour plus de clarté, il me semble que tu peux mettre le prototype de la spécialisation dans le .h. A vérifier.

Après vérification, c'est même indispensable !

J'avais cliqué sur "résolu" un peu vite, en fait l'erreur de build disparaissait, mais le comportement était erroné: un appel a foo<int>() executait la version générique au lieu de la spécialisée !

[Rewpparo]

Hum normalement non, il me semble que le linker résout ces liens la a la fin, donc le prototype il s'en tamponne.
A vérifier par les gourous qui hantent ces lieux.

[Klaim]

Une specialisation est comme une fonction normale, elle suit donc les memes regles :

- soit tu la declares dans le h et tu la definis dans le cpp;
- soit tu la mets dans le h et tu la marque inline;

la seconde est la plus simple, la premiere peut etre pas mal si la fonction fait beaucoup de choses.

[JolyLoic]

Hum normalement non, il me semble que le linker résout ces liens la a la fin, donc le prototype il s'en tamponne.
A vérifier par les gourous qui hantent ces lieux.

Le choix de la fonction à appeler est effectué à la phase de compilation, rien qu'en lisant les .h. A la phase de lien, le linker a juste pour tâche d'associer une adresse à la fonction qui a déjà été choisie au préalable (c'est plus compliqué, puisqu'il peut aussi faire de l'inlining, ou d'autres optimisations).

[Rewpparo]

C'est bizarre, dans mon code actuel j'ai quelque chose comme ca :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
///Window.h
class Window
{
public:
   template <unsigned RENDERSYSTEM> Window* create();
};
 
///WindowSDL.cpp
template <> Window* Window::create<RENDERSYSTEM_OPENGL>()
{
   return new WindowSDL;
}

Je n'ai pas décri la spécialisation dans le .h, c'est d'ailleurs le but. Pourtant il me créé bien une fenêtre SDL. C'est parce que je n'ai pas d'implémentation générique ? Ou est-ce parce que la définition de la fonction template de l'OP est inline ?

[JolyLoic]

Tu appelles cette fonction depuis l'extérieur de WindowSDL.cpp ?

[Rewpparo]

WindowSDL.cpp est dans une lib statique, et je l'appelle depuis le programme principal. Testé g++ et MSVC 2010.