Discussion :

[Y�Teeh]

Bonjour,

J'ai une question pour les fans de templates, mais tout d'abord, voici le code qui illustrera la question :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

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
#include <iostream>
#include <string>
 
template<typename T1, typename T2>
class A
{
public:
  void f();
  template <typename T3> void g();
};
 
template< typename T1, typename T2 >
void A<T1, T2>::f()
{
	g<T1>();
}
 
// spécialisation pour T1 = int
template< typename T1, typename T2 >
template<>
void A<T1, T2>::g<int>()
{
	std::cout << 24 << std::endl;
}
 
int main()
{
	A<int, std::string> a;
	a.f();
	return 0;
}

J'ai donc une classe qui a deux param�tres templates. Dans cette classe, la m�thode g() a un comportement sp�cifique en fonction du premier param�tre, ind�pendemment du second.

J'avais tout d'abord pens� � sp�cialiser partiellement la m�thode avec un truc du genre ;

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
template<typename T2>
void A<int, T2>::g() { ... }

mais ce n'est pas autoris�. Alors j'ai �crit le code plac� plus haut, en me disant que j'allais param�trer la m�thode g() pour ensuite la sp�cialiser ; mais l� encore, le compilateur fait la t�te :

test_template.cpp:20: erreur: invalid explicit specialization before �>� token
test_template.cpp:20: erreur: fermetures de patrons de classe ne sont pas explicitement sp�cialis�es
test_template.cpp:21: erreur: template-id �g<int>� for �void A<T1, T2>::g()� does not match any template declaration
test_template.cpp:21: erreur: d�claration de fonction invalide

Je crois comprendre qu'il ne veut pas que je sp�cialise une m�thode d'une classe template si je ne sp�cialise pas la classe elle-m�me.

Alors maintenant je suis un peu � court d'id�es, je m'en remet donc � vous. Avez-vous une id�e pour m'aider � obtenir ce que je veux ?

Merci

[JolyLoic]

On ne peut pas faire de sp�cialisation partielle de fonction.

Dans ton exemple, j'ai un peu l'impression que le plus simple est de faire de g une fonction ne faisant pas partie de A. Me trompe-je ?

[Y�Teeh]

Dans ton exemple, j'ai un peu l'impression que le plus simple est de faire de g une fonction ne faisant pas partie de A. Me trompe-je ?

Dans l'exemple, oui, mais dans la r�alit� la m�thode g() a besoin de modifier des membres de la classe.

En fait j'ai r�ussi � m'en passer parce que, finalement, la structure des classes a un peu chang�e. Mais je laisse quand m�me le post pour voir vos id�es.

[Laurent Gomila]

Dans l'exemple, oui, mais dans la r�alit� la m�thode g() a besoin de modifier des membres de la classe

Dans ce cas tu peux mixer les deux solutions : garder une fonction membre g(), qui ne ferait qu'appeler une fonction amie prenant en param�tre une r�f�rence sur l'instance de la classe.

[Jean-Marc.Bourguet]

On ne peut pas faire de sp�cialisation partielle de fonction.

Mais on peut surcharger ce qui permet souvent -- mais pas toujours -- d'avoir l'effet d�sir�.