Discussion :

[Math75]

voici le "toy" code suivant:

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
32
33
34
35
36
37
38
39
40
 
 
template< int n=2> 
struct C{
 
	int F () {return -n;}
};
 
 
template< int n=2> 
struct A{
 
	int F () {return n;}
};
 
template< int n=2> 
struct B:public A<n>{
 
	int F () {return n+1;}
};
 
template< class T> 
struct H{
 
	int h () { T a; return a.F();}
};
 
 
int main()
{
	H<A<> > u_a;
	H<B<> > u_b;
	H<C<> > u_c;   
 
	int a = u_a.h();
	int b = u_b.h();
	int c = u_c.h();  
 
	return 0;
}

je souhaiterai, si c'est possible, qu ' à la compiliation l'instantiation

Code :

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

1
2
3
 
	H<C<> > u_c;   
	int c = u_c.h();

envoie une erreur.

Le but est de restreindre la portée de l 'argument template de H pour seule les classes dérivées de A soient permises et cela sans toucher aux classes A,B ou C.

Merci encore
Mathieu

[Alp]

Je te conseille de regarder du côté de boost.type_traits, en particulier :
http://www.boost.org/doc/libs/1_40_0...s_base_of.html
Il te suffit d'utiliser is_base_of<A, ton_paramètre_template>::value dans un endroit qui provoque une erreur de compilation si ça évalue à false. Typiquement : char foo[is_base_of<A, T>::value ? 1 : -1];
Ou plus simple, un BOOST_STATIC_ASSERT ou similaire.

[Math75]

Je viens de regarder ta proposition.
Il n'y a donc pas une synthaxe c++ qui empèche certaines instantiations.
Il faut avoir recours à Boosts ,que je ne peux pas insérer dans ma librairie de travail

Au secours!

[Alp]

Sinon, tu as des petits hacks si tu veux détecter ce genre de choses à la compilation.

Je verrais bien, par exemple, quelque chose de ce genre (à vérifier, mais l'idée est là) :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
struct true_type { char c; }
struct false_type { };
 
true_type f(const A& a) { return true_type(); }
 
template <typename t>
false_type f(const T& t) { return false_type(); }
 
// ... dans H< T >
char foo[sizeof(f(T()) != sizeof(false_type) ? 1 : -1];

Quelque chose de ce genre en tout cas. Je devrais pouvoir mieux t'éclairer d'ici 2 ou 3 cafés...

[Math75]

ok j attends l effet de la caféine alors. Si tu veux aller plus vite, prends du guarana ou emphetamine, c est assez efficace aussi

[3DArchi]

Un Kfé bien serré :

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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
template< int n=2> 
struct C{
 
	int F () {return -n;}
};
 
 
template< int n=2> 
struct A{
	int F () {return n;}
};
 
template< int n=2> 
struct B:public A<n>{
 
	int F () {return n+1;}
};
 
 
struct true_type { char c; };
struct false_type {true_type t[2]; };// je préfère faire dépendre de true_type pour être sur qu'ils ont vraiment une taille différente
 
template<int n> true_type f_check(A<n>const&);
false_type f_check(...);
 
template<bool ,class> struct enable_if;
template<class T> struct enable_if<true,T>{typedef T type;};
 
template< class T> 
struct H{
   typedef typename enable_if<(sizeof(f_check(T()))== sizeof(true_type)),T>::type check_type;
	int h () {
      T a; return a.F();
   }
};
 
int main()
{
	H<A<> > u_a;
	H<B<> > u_b;
	H<C<> > u_c;   
   u_a.h();
   u_b.h();
   u_c.h();
 
	return 0;
}

Il existe __is_base_of( base , derived) qui est du Visual spécifique mais que je ne vois pas trop comment appliquer avec une classe de base template sans connaître les paramètres génériques utilisés pour l'héritage.

[Goten]

La même que 3Darchi pour moi, le tout bien encapsulé dans une structure, histoire de cacher les détails d'implémentation.
Y'a juste le coup du T(), si le type n'est pas default-constructible c'est fichu, donc je préfère passer par une fonction helper (juste la signature, on se fiche de la définition ;

Code :

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

T makeT(); // pas la peine de la définir puisqu'elle sera juste évalué par sizeof().

[3DArchi]

Y'a juste le coup du T(), si le type n'est pas default-constructible c'est fichu, donc je préfère passer par une fonction helper (juste la signature, on se fiche de la définition ;

Code :

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

T makeT(); // pas la peine de la définir puisqu'elle sera juste évalué par sizeof().

bien vu