Discussion :

[backlash]

Bonjour,
J'ai le code suivant :

Fichier.h

Code :

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

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 :

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

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?

[oodini]

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

[backlash]

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?

[3DArchi]

Salut,

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 fichier.h :

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

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 toto.cpp :

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

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

Code main.cpp :

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

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.

[backlash]

@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 :

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

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 :

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

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 :

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

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

[3DArchi]

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 fichier.h :

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

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 fichier.cpp :

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

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 main.cpp :

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

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;
}