Spécialisation partielle d'un membre de classe

Bonjour,

J'ai un modèle de classe qui dépend de deux paramètres

Code:

---

1 2 3 4 5 6 7 8

template<typename S,typename T> class MaClasse { T DesDonnees; S DautresDonnees;   void UneFonction(void) void LaFonctionCompliquee(void) };

---

Je voudrais spécialiser partiellement, pour un type donné, une seule de mes fonctions. Donc avoir quelque chose qui me permette de définir une implémentation particulière de LaFonctionCompliquee() dans le cas où le paramètre S prend un certain type (mais en laissant T comme type variable)...

Au final, je voudrais quelque chose comme:

Code:

---

1 2	template<typename T> void MaClasse<string,T>::LaFonctionCompliquee(void)

---

sans avoir à refaire tout le reste de l'interface de ma classe. J'ai essayé plusieurs syntaxe, fouiné sur l'internet, mon compilateur reste sourd à mes demandes...

Est ce possible? Comment?

Merci d'avance
Francois

Bonjour,

En se basant sur le chapitre dédié de ce cours :
http://cpp.developpez.com/cours/cpp/...ge_14#LXIV-E-3
Tu dois pouvoir contourner le problème d'impossibilité de spécialisation partielle.

Ta méthode générique serait quelquechose comme ça :

Code:

---

1 2	template<typename S, typename T> static void LaFonctionCompliquee(void) {}

---

Et sa spécialisation serait :

Code:

---

1 2 3 4 5

template<T> static void LaFonctionCompliquee<string, T>(void) { // ton code }

---

Cordialement,
A.

Ah oui, mais non...

La fonction membre utilise les variables de l'instance de la classe, si j'en fais une fonction indépendante, je vais devoir lui passer une instance en paramètre.

Bon, en lisant le cours, j'en déduit qu'on ne peut spécialiser partiellement un "bout" de classe template. Il faut tout redéfinir. C'est cela?

Donc, suivant la complexité, soit il faut redéfinir mon template en autant de templates qu'il y a de second types possibles, soit définir tout la classe dans les spécialisations partielles.

Francois

Bonjour,
Une spécialisation d'une classe redéfinit toute la classe (et ne bénéficie pas des définitions précédentes). Donc je ne pense pas que tu puisses spécialiser partiellement une de ses méthodes. En effet, tu pourrais écrire :

Code:

---

1 2 3 4

template<typename T>class MaClasse<std::string,T> { int LaFonctionCompliquee; };

---

Ce qui serait assez perturbant pour le compilateur :mrgreen:

Effectivement... Merci de l'info. Je vais donc spécialiser ma classe en explicitant les valeurs possibles du paramètre S.

Merci beaucoup
Francois