mot clef Generic et Ref

Version imprimable

Voici un autre toy code

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
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:

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:

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?

05/10/2009, 22h26
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 ?
05/10/2009, 22h35
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?
05/10/2009, 23h01
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>
05/10/2009, 23h03
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?
05/10/2009, 23h15
3DArchi

Citation:

Envoyé par Math75

mais qui définit le dogme?

Le comité de normalisation :mrgreen:
Mais qu'est ce que c'est que cette obsession des macros ?
05/10/2009, 23h22
Math75

j essaie de voir les limites de la grammaire ( ie des possibilites du language):ccool:
05/10/2009, 23h36
Alp

Citation:

Envoyé par Math75

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

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.
06/10/2009, 07h23
3DArchi

Citation:

Envoyé par Math75

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

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

Citation:

Envoyé par Alp

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++.
06/10/2009, 07h43
Math75

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

Donc ce code la:

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
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!

06/10/2009, 09h14
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:

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:mouarf: