bug de specialisation template avec fichiers séparés

Bonjour,
J'ai le code suivant :

Fichier.h

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

#include <iostream> struct A { template < typename Unknown > void eval ( Unknown x ) const; };   template < typename Unknown > void A :: eval ( Unknown x ) const { std::cout << "eval x = " << x () << std::endl; }   template <> void A :: eval< int > ( int x ) const { std::cout << "specialisation eval x = " << x << std::endl; }

---

Fichier.cpp

Code:

---

1 2 3 4 5 6 7 8 9

#include "Fichier.h"   int main() { A a; a.eval(2);   return 0; }

---

Lorsque je compile, j'obtiens le message suivant du compilateur :
multiple definition of `void A::eval<int>(int) const'

Cependant si je met l'intégralité de Fichier.h dans Fichier.cpp, le code compile parfaitement et se comporte parfaitement (à savoir appel du membre spécialisé).

Comment faire pour résoudre le problème en gardant les 2 fichiers?

N'y a-t-il pas un souci de déclaration #include dans ton .cpp ?...

J'ai reformulé le problème pour enlever le code inutile, j'ai donc fait une faute de frappe dans le #include, désolé.
J'ai édité le poste.

Sinon, le code compile avec le vieux hack du mot clé inline, mais il y a bien une solution ne faisant pas appel à ce hack?

Salut,

Citation:

---

Envoyé par backlash

Sinon, le code compile avec le vieux hack du mot clé inline, mais il y a bien une solution ne faisant pas appel à ce hack?

---

Ce n'est pas un hack et c'est même un objectif de ce mot clé. Je pense que Fichier.h est inclus dans plusieurs .cpp, d'où ton problème. A peu de chose près, ton problème est strictement équivalent à

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

#ifndef FICHIER_H #define FICHIER_H #include <iostream> struct A { void eval ( int x ) const; };   void A :: eval( int x ) const { std::cout << "specialisation eval x = " << x << std::endl; } #endif // FICHIER_H

---

Code:

---

#include "fichier.h" // et rien de plus dans ce .cpp

---

Code:

---

1 2 3 4 5

#include "fichier.h" int main() { return 0; }

---

Ce code provoque l'erreur de lien car la fonction void A :: eval( int x ) const se trouve définie dans plusieurs unité de compilation (.cpp), donc dans plusieurs .obj et le linker râle. LA solution est bien de passer par le mot clé inline dont l'objectif n'est pas seulement d'indiquer une préférence pour l'inlining mais aussi de dire au compilo de ne définir qu'une seule fois la fonction.

@Archi3D : J'ai l'impression que Matthieu Brucher avance le contraire.

Le post:http://www.developpez.net/forums/d58...tion-template/

Dans sa réponse, il dit qu'il faut déclarer le prototype de la méthode, cependant vu que la fonction est template, il n'est pas possible de déclarer un prototype pour les versions spécialisées, d'ailleurs en réfléchissant cela semble incensé, non?

J'ai essayé de mettre la définition de la version spécialisé dans le fichier .cpp associé au .h, mais cette fois ci le compilateur n'utilise pas la version spécialisée de la méthode template mais la version template avec résolution des types. Ce qui provoque évidemment un bug à la compilation car l'opérateur () n'est pas défini pour le type primitif int.

Le code :

Fichier.h

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

#include <iostream>   struct A { template < typename Unknown > void eval ( Unknown x ) const; };   template < typename Unknown > void A :: eval ( Unknown x ) const { std::cout << "eval x = " << x () << std::endl; }

---

Fichier.cpp

Code:

---

1 2 3 4 5 6 7

#include "Fichier.h"   template <> void A :: eval< int > ( int x ) const { std::cout << "specialisation eval x = " << x << std::endl; }

---

main.cpp

Code:

---

1 2 3 4 5 6 7 8 9

#include "Fichier.h"   int main() { A a; a.eval(2);   return 0; }

---

Et les erreurs :
In file included from ..\src\main.cpp:10:
..\src\Fichier.h: In member function 'void A::eval(Unknown) const [with Unknown = int]':
..\src\main.cpp: instantiated from here
..\src\Fichier.h: error: 'x' cannot be used as a function

Salut,

Je ne sais pas ce que pensait Mathieu, mais je ne pense pas qu'il s'agisse d'un hack.

Sinon, faut le faire à l'extérieur de la classe :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

struct A { template < typename Unknown > void eval ( Unknown x ) const; };   template < > void A :: eval<int>( int x ) const;   template < typename Unknown > void A :: eval ( Unknown x ) const { std::cout << "eval x = " << x () << std::endl; }

---

Code:

---

1 2 3 4 5 6 7

#include "fichier.h"   template <> void A :: eval< int > ( int x ) const { std::cout << "specialisation eval x = " << x << std::endl; }

---

Code:

---

1 2 3 4 5 6 7 8 9 10 11

#include "fichier.h" #include <cstdlib>   int main() { A a; a.eval(2); a.eval(rand);   return 0; }

---