C++Talk.NET

Benoît Sibaud · Guest

Bonjour,

je cherche à avoir pour une classe doublement template une fonction
membre avec un comportement spécialisé pour chacune des valeurs
possibles pour un des deux paramètres templates.

8<---------------------------------------
#include #include <iostream>
#include <typeinfo>
using namespace std;

template <typename T, typename U>
class A {
public:
void foo();
};

template <typename T,typename U>
void A<T,U>::foo() {
cout << typeid(T).name() << endl;
cout << typeid(U).name() << endl;
}

template void A<T,bool>::foo() {
cout << typeid(T).name() << endl;
cout << "tjs bool" << endl;
}

template <>
void A<int,double>::foo() {
cout << "tjs int" << endl;
cout << "tjs double" << endl;
}

int main() {
A A<int, double > a2;
a1.foo();
a2.foo();
}
8<---------------------------------------

Le code ne compile pas avec g++ 3.3.1, qui se plaint sur A Pour réussir à compiler, je dois rajouter

template <typename T>
class A<T,bool> {
public:
void foo();
};

Dans la pratique ça veut dire recopier pour chaque type U souhaité
toutes les fonctions membres et tous les attributs de la classe, juste
pour pouvoir spécialiser une ou deux fonctions.

Par contre une spécialisation totale A<int,double>::foo() est possible.

Y a-t-il une erreur de syntaxe dans le code précédent ?
Y a-t-il une solution plus élégante que recopier pour chaque type U ?

Merci d'avance,

--
Benoît Sibaud

drkm · Guest

Benoît Sibaud <benoit.sibaud (AT) rd (DOT) francetelecom.com.invalid> writes:

[...]