Spécialisation partielle d'une fonction membre d'une classe template

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 <vector>
#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 <typename T>
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<int, bool > a1;
A<int, double > a2;
a1.foo();
a2.foo();
}
8<---------------------------------------

Le code ne compile pas avec g++ 3.3.1, qui se plaint sur A<T,bool>::foo().
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