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.