[template][surcharge] surchage d'une méthode template

bonsoir.

J'ai la classe suivante:

Code:

---

1 2 3 4 5 6 7 8 9

template<class T1> class A { A<T1> methode(A<T1> arg);   template<class T2> A<T1> methode(A<T2> arg);   }

---

J'ai en effet dû faire cela car je ne pouvais spécialiser la seconde méthode pour T1.

La question est: comment savoir laquelle des méthodes sera appelée si je fait quelque-chose du genre A<T1>.methode(A<T1>())...


merci

Il faudrait demander aux gourous mais je dirais la première car il y a correspondance exacte dans les types des paramètres.

Bah, il faut faire un simple test :

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

#include <iostream>   template<class T1> class A { public: void methode(A<T1> arg) { std::cout << "1" << std::endl;}   template<class T2> void methode(A<T2> arg) { std::cout << "2" << std::endl;}   };   int main() { A<int> a_int; A<char> a_char;   a_int.methode(a_int); a_int.methode(a_char);   return 0; }

---

Effectivement, on a :

Citation:

---

1
2

---

comme sortie d'écran.

Poukill > un test n'est pas une preuve. Ca montre juste qu'avec ton compilateur, sur ta machine et avec l'alignement de la lune actuel, ca marche comme bien comme cela.


Il faudrait aller fouiller la norme ou un livre de référence (p-e C++ The template Guide) mais je n'ai pas le temps.

Ben là, ta surcharge, c'est comme si tu avais spécialisé methode pour T1.

Le compilateur cherche la version qui est la plus "spécialisée" pour la faire correspondre ensuite.

Citation:

---

Envoyé par Alp

Ben là, ta surcharge, c'est comme si tu avais spécialisé methode pour T1.

Le compilateur cherche la version qui est la plus "spécialisée" pour la faire correspondre ensuite.

---

Merci alp, ça m'aide bien car il est justement impossible de faire une spécialisation partielle d'une méthode template d'une classe template.


sinon, je note la référence de david, je sent que je vais en avoir besoin.


merci à tous