C++

Specialisation de template

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Specialisation de template

FrozenPaladin

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 :

template <class T> struct Container
{
typedef T TypeData;
template <TypeData data> struct elem
{
static const TypeData ElemData = data;
};
template <class test_elem> struct test
{ typedef elem<0> result; };
template <TypeData data> struct test<elem<data> >
{ typedef elem<data> result; };
typedef typename test<elem<5> >::result ContResult;
};
struct ContainerUInt
{
typedef unsigned int TypeData;
template <TypeData data> struct elem
{
static const TypeData ElemData = data;
};
template <class test_elem> struct test
{ typedef elem<0> result; };
template <TypeData data> struct test<elem<data> >
{ typedef elem<data> result; };
typedef test<elem<5> >::result ContResult;
};
int main(void)
{
cout << Container<unsigned int>::ContResult::ElemData << endl;
cout << ContainerUInt::ContResult::ElemData << endl;
return 0;
}

La sortie est :

Code :

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

Publicité

Taz

bisounours-codeur

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

Taz

bisounours-codeur

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.

FrozenPaladin

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

Taz

bisounours-codeur

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

++fab

victime du syndrome IH

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

FrozenPaladin

OK Merci ++fab

FORUM HardWare.fr

Programmation

C++

Specialisation de template

Sujets relatifs
Vecteur sans template	[C++] Template... erreur tte bete surement...
erreur de spécialisation d'un template ...	[resolu] [perl] problème "lib text::template" suite migration server
Utilisation template	Problème avec un template: balise boddy déséquilibrée
Specialisation de template et erreur de link... [presque resolu]	spécialisation de fonctions membres (template) d'une classe template
Probleme spécialisation de template	Spécialisation template & Pétage de plomb
Plus de sujets relatifs à : Specialisation de template

Page générée en 0.064 secondes