[Template] fonctions template de classe template et spécialisation partielle

Bonjour à tous,

Quelqu'un saurait-il comment réaliser (si c'est possible) une spécialisation partielle de fonction template de classe template du type :

Code:

---

1 2	template <class T2, template<class T> class T1> void f(const T1<T2>&)

---

Si je souhaite par exemple spécialiser partiellement f pour 2 containers de la std, je pensais pouvoir faire :

Code:

---

1 2 3

template <class T2, template<class T> class vector> void f(const vector<T2>&) template <class T2, template<class T> class list> void f(const list<T2>&)

---

mais mon compilateur (g++ (GCC) 4.2.3 (Ubuntu 4.2.3-2ubuntu7)) ne voit manifestement pas la différence entre ces deux spécialisations car à la compilation il me met un message d'erreur de type redéclaration de fonctions...

Merci beaucoup pour votre aide !

Finalement j'ai résolu mon problème tout seul.

Je dis peut-être une connerie, mais il me semble que les spécialisations partielles de fonction templates dans des classes templates sont comme les spécialisations partielles de fonctions templates libres: Impossibles en C++98.

Oui, il faut utiliser SFINAE à la place.

En fait pour specialiser partiellement la fonction f pour la classe template vector, il ne fallait pas écrire :

Code:

---

1 2	template <class T2, template<class T> class vector> void f(const vector<T2>&)

---

mais tout simplement :

Code:

---

1 2	template <class T> void f(const vector<T>&)

---

et tout semble bien fonctionner à la compilation, linkage et execution.