Discussion :

[Math75]

Voici un autre 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
21
22
23
24
25
26
 
 
struct A{ 
	int F (){ return 1; } 
};
 
template<bool ,class> struct enable_if{};
template<class T> struct enable_if<true,T>{typedef T type;};
 
template< class T,int n=3> 
struct H{
	template<int m>
	int h () 
	{
		typedef typename enable_if< m<=n ,H>::type check_type;
		T a; return a.F();
   }
};
 
int main()
{
	H<A > u_a;
	int t = u_a.h<1>();
 	//t = u_a.h<6>();
	return 0;
}

Grace a ce que vous m'avez appris je permet un erreur de compilation si m> n ( ligne en commentaire).
Cependant si j essoie de rentrer la definition de enable à l interieur de la fonction h:

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
 
struct A{ 
	int F (){ return 1; } 
};
 
template< class T,int n=3> 
struct H{
	template<int m>
	int h () 
	{
		template<bool ,class> struct enable_if{};
		template<class T> struct enable_if<true,T>{typedef T type;};
		typedef typename enable_if< m<=n ,H>::type check_type;
		T a; return a.F();
   }
};

Ca provoque une erreur C2951. J ai appiqué ce qui est recommandé par le message d erreur mais ca ne marche pas mieux!

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
 
struct A{ 
	int F (){ return 1; } 
};
 
template< class T,int n=3> 
struct H{
	template<int m>
	int h () 
	{
		generic<bool ,class> ref struct enable_if{};
		generic<class T> ref struct enable_if<true,T>{typedef T type;};
		typedef typename enable_if< m<=n ,H>::type check_type;
		T a; return a.F();
   }
};

Je dois certainement mal m y prendre n est ce pas?

[Alp]

Tu définis souvent des structures (qui plus est templates) (et qui plus est, qui sont indépendantes en fait, et qui sont faites pour être réutilisées !) à l'intérieur de la définition de tes fonctions ?

Quoiqu'il arrive, ce que tu essayes de faire n'est pas une bonne pratique, et même si je n'ai pas la norme sous les yeux, je pense que c'est le genre de situation qui peut poser des problèmes.

Pourquoi veux-tu absolument mettre cela dans ta fonction h ?

[Goten]

En tout les cas le mot clef généric ça existe pas en C++ :p. Et sinon +1 avec alp, pour vouloir faire une struct in class alors que c'est un composant réutilisable?

[Math75]

voici le message qui m a interpelé:
http://msdn.microsoft.com/en-us/libr...ed(VS.80).aspx

et par curiosite je cherche àsavoir le sens des ces 2 mots

J ai pas beasoin de rentrer les 2 ligne de enable_if dans le h mais je voulais juste voir si c etait possible.

Le but c est d empecher des instantiations de type h<6>

[Math75]

ah oui le fait de le definir dans la fonction h c ets pour pouvoir faire une macro. C est pas orthodoxe? mais qui définit le dogme?

[3DArchi]

mais qui définit le dogme?

Le comité de normalisation
Mais qu'est ce que c'est que cette obsession des macros ?

[Math75]

j essaie de voir les limites de la grammaire ( ie des possibilites du language)

[Alp]

j essaie de voir les limites de la grammaire ( ie des possibilites du language)

Dans la mauvaise direction... en général on essaye de trouver les limites qui nous permettent de faire des choses pratiques, mais là ...

Par ailleurs, le mot clé generic, s'il existe vraiment en Visual C++ ou C++/CLI, n'est pas standard quoiqu'il arrive.

Pour Le but c est d empecher des instantiations de type h<6>, c'est déjà fait, cf ton autre sujet.

[3DArchi]

j essaie de voir les limites de la grammaire ( ie des possibilites du language)

C"est louable, mais je ne vois pas le rapport avec les macros ? A mon avis, tu pars dans une mauvaise direction.

Par ailleurs, le mot clé generic, s'il existe vraiment en Visual C++ ou C++/CLI, n'est pas standard quoiqu'il arrive.

C'est pour que le .Net sache faire avec les templates. Ca reste du C++/CLI ou du C# mais pas du C++.

[Math75]

ah ok c ets pas du c++, bon maintenant je sais que je n etais trop ignorant.
Merci.

[Math75]

Donc ce code la:

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
 
struct A{ 
	int F (){ return 1; } 
};
 
template<bool ,class> struct enable_if{};
template<class T> struct enable_if<true,T>{typedef T type;};
 
template< class T,int n=3> 
struct H{
	template<int m>
	int h () 
	{
		typedef typename enable_if< m<=n ,H>::type check_type;
		T a; return a.F();
   }
};
 
int main()
{
	H<A > u_a;
	int t = u_a.h<1>();
 	//t = u_a.h<6>();
	return 0;
}

est raisonnable comme astuce!

[3DArchi]

Salut,
Tu n'as même pas besoin de définir enable_if dans le cas par défaut. La déclaration suffit :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
template<bool ,class> struct enable_if;
template<class T> struct enable_if<true,T>{typedef T type;};

[EDIT] : tu peux jeter un coup d'oeil à Boost.Enable if mais surtout Boost.MPL pour voir comment on torture le langage