Specialisation de template

Specialisation de template - C++ - Programmation

Marsh Posté le 01-05-2006 à 10:21:26    

Bonjour a tous !
 
Je me trouve face a un probleme lors de la specialisation d'un template lorsque celui ci est contenu dans un autre template.
 

Code :
  1. template <class T> struct Container
  2. {
  3. typedef T TypeData;
  5. template <TypeData data> struct elem
  6. {
  7.  static const TypeData ElemData = data;
  8. };
  10. template <class test_elem> struct test
  11. { typedef elem<0> result; };
  12. template <TypeData data> struct test<elem<data> >
  13. { typedef elem<data> result; };
  15. typedef typename test<elem<5> >::result ContResult;
  16. };
  18. struct ContainerUInt
  19. {
  20. typedef unsigned int TypeData;
  22. template <TypeData data> struct elem
  23. {
  24.  static const TypeData ElemData = data;
  25. };
  27. template <class test_elem> struct test
  28. { typedef elem<0> result; };
  29. template <TypeData data> struct test<elem<data> >
  30. { typedef elem<data> result; };
  32. typedef test<elem<5> >::result ContResult;
  33. };
  36. int main(void)
  37. {
  38. cout << Container<unsigned int>::ContResult::ElemData << endl;
  39. cout << ContainerUInt::ContResult::ElemData << endl;
  41. return 0;
  42. }


 
La sortie est :

Code :
  1. 0
  2. 5


 
Dans le template Container<T> la specialization de test<test_elem> est ignoree est la valeure de ContResult est alors 0.
Par contre si je specialise "a la main" ContainerT en ContainerUInt la valeur est bien 5.
 
Quelqu'un aurait-il une explication ?
 
Le resultat est obtenu avec VC++ 8.

Message cité 1 fois
Reply

Marsh Posté le 01-05-2006 à 10:21:26   

Reply

Marsh Posté le 01-05-2006 à 10:39:05    

y a pas de spécialisation dans les 2 cas : les paramètres ne sont pas du même type : tantôt entier, tantôt un type.


Message édité par Taz le 01-05-2006 à 10:39:23
Reply

Marsh Posté le 01-05-2006 à 10:43:38    

hum, je dirais même plus. Je ne pense que ce programme soit légal et ça explique la différence de comportement. Dans ta première classe, le paramètre de la spécialisation dépend lui-même d'un paramètre template. Enfin j'ai jamais vu ça du moins.

Reply

Marsh Posté le 01-05-2006 à 10:50:57    

Desole mais je comprends pas tres bien la.
Ce qui m'interesse c'est la specialisation de test<> dans le cas ou le parametre passe est de type elem.
 
Dans le cas 1, le tout est contenu dans le template Container<T>.
Le cas 2 est un cas particulier du cas 1 si T = unsigned int.
 
Le code est le meme dans les 2 cas.
 
je suis d'accord que les 2 types Container<unsigned int>::elem<0> et ContainerUInt::elem<0> sont different mais je passe toujours un type a test<>.

Reply

Marsh Posté le 01-05-2006 à 10:54:28    

le code est différent. les template c'est pas des macros. je maintiens ma théorie.

Reply

Marsh Posté le 01-05-2006 à 23:53:12    

FrozenPaladin a écrit :

Je me trouve face a un probleme lors de la specialisation d'un template lorsque celui ci est contenu dans un autre template. [...] Dans le template Container<T> la specialization de test<test_elem> est ignoree est la valeure de ContResult est alors 0.


 
C'est une violation de 14.7.3.18. Tu ne peux pas spécialiser une classe template si elle est imbriquée dans une classe template non spécialisé explicitement.
 

FrozenPaladin a écrit :

Par contre si je specialise "a la main" ContainerT en ContainerUInt la valeur est bien 5.


La, c'est bon.
 

FrozenPaladin a écrit :

Quelqu'un aurait-il une explication ?


Le code est normallement "ill-formed". AMHA si ça compile, ce n'est pas normal ...

Reply

Marsh Posté le 02-05-2006 à 08:23:16    

OK Merci ++fab

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed