specialisation partielle de fonctions templates au sein d'une struct template

Bonjour,
Je m'excuse par avance de la juniorité de ma question mais j essaie de faire fonctionner le toy code suivant qui consiste à spécialiser, par un template, une fonction au sein même d'une structrure template.

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33

template <int U> struct A { A(int a):a_(a){}     template< int I > void f( int x) { return x+a_+I+U; }   template<> void f<2>(int x) { return x+a_; }   int a_; };       int main(void){     A<2> h(6); int b =h.f<3>(2); int c =h.f<2>(2);   return 0;   }

---

Encore un fois, pardon pour l'ingénuité de ma question mais google et/ou mon vieux compilateur ne m'aident pas beaucoup :cry:

Tu ne peux pas faire ce que tu veux... Une solution est de définir la méthode dans une structure.

Salut,

tout d'abord un petit mot pour dire que tes fonctions doivent retourner int et non void.

Voilà le mieux que j'ai pu faire:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46

#include <iostream> using std::cout; using std::endl;   template <int U> struct A { A(int a):a_(a){} int a_;   enum {Value = U}; };   template <int i> struct F { template <class T> int f(const T &b, int x) { return b.Value + i + x + b.a_; } };   template <> struct F <2> { template <class T> int f(const T &b, int x) { return x + b.a_; } };     int main(void){     A<2> h(6); int b = (F<3>()).f(h, 2); int c = (F<2>()).f(h, 2);   cout << b << " " << c << endl;   return 0;   }

---

Avec mon compilateur, on ne peut pas préciser des objets (des classes instanciées) en spécification de template pour des fonctions, je ne sais rien pour les compilateur plus récents.

Je te conseille de lire ceci pour te renseigner un peu sur l'usage des templates et des spécifications.

C est exactement la mécanique que je cherchais
Merci encore