Discussion :

[Math75]

Bonjour, voici le Toy code

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
struct Y{ static int F() { return 10;} };
 
template < class T >
struct R{
	template <int m>  int F(void);
	template<>         int F<2>(void){return 6+T::F(); }
};
 
template < class T >
template <int m> int R<T>::F(void){
	return m + T::F();
}
int _tmain(int argc, _TCHAR* argv[]){
 
R<Y> r;
b= r.F<2>();
b= r.F<3>();
 
return 0;
}

Je suis parvenu à écrire le corps générique de F hors de la struct R.
Je ne parviens à faire de même avec la specialisation m=2.

la solution suivante est un echec

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
struct Y{ static int F() { return 10;} };
 
template < class T >
struct R{
	template <int m>  int F(void);
	template<>		  int F<2>(void);
};
 
template < class T >
template <int m> int R<T>::F(void){
	return m + T::F();
}
 
template<>
template < class T >
int R<T>::F<2>(void){
	return 20 + T::F();
}

J 'ai du mal à saisir pourquoi, si vous avez une suggestion

[CedricMocquillon]

Bonjour,

As-tu essayé de spécialiser uniquement en dehors de la classe?

Edit: à priori ça ne change rien

[Math75]

Non puisque le but du JEU c est de le faire dans la classe

[b Oo]

Bonsoir,
ce que tu essayes de faire n'est pas possible.

[Math75]

bonsoir,
en somme, une spécialisation partielle d'un double template ne peut se faire en dehors du corps de la classe elle même? On s'attendrait néanmoins que les 2 codes soient équivalent? Je ne comprends toujours pour la raison fondamentale de cette impossibilité. Mathieu

[b Oo]

Les deux codes que tu as postés sont invalides, avec gcc aucun ne compile. Les fonctions template ne supportent pas une spécialisation partielle.
Tu peux émuler le comportement que tu recherches en t'inspirant de cet exemple.

[Math75]

En effet c'est une alternative! J utilise visual 2008 et le code proposé compile et s'exécute comme souhaité