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é.