Spécialisation Template Template

Version imprimable

Bonjour,

Peut-on écrire et si oui comment, le code suivant :

Code:

1
2
3
4
5
6
7
8
 
template< template<typename> class A>
struct A
{/*...*/};
 
template< typename T, int D>
struct B : A< template<typename T> B<T,D> >
{/*...*/};

Merci!

Code:

B<T,D>

est un type, non une classe template.
En l'état actuel des choses, ta structure A attent une classe template à un paramètre et non un type.

Regarde la différence entre ces deux codes:

Code:

1
2
3
4
5
6
7
8
 
template < class Z> //A attend un type
struct A {};
 
 
template< typename T, int D>
struct B : A< B<T,D> > // B<T,D> est un type, ca rulz
{};

Code:

1
2
3
4
5
6
7
8
9
10
11
 
 
template <class Z> struct C{};
 
template< template<typename> class A> // A attend une classe template à un paramètre
struct A
{/*...*/};
 
template< typename T, int D>
struct B : A< C > //on donne à A une classe template à un paramètre
{/*...*/};

28/07/2009, 18h03
TNT89

Merci de ta réponse!
Ok j'ai compris ce point, ce que je voulais savoir c'est si on pouvait indiquer la variation d'un unique paramètre template par :

Code:

template<typename T> B<T,D>

(Ou D est fixé et T ne l'est pas...)
28/07/2009, 21h00
Davidbrcz
Citation:

Envoyé par TNT89

Merci de ta réponse!
Ok j'ai compris ce point, ce que je voulais savoir c'est si on pouvait indiquer la variation d'un unique paramètre template par :

Code:

template<typename T> B<T,D>

(Ou D est fixé et T ne l'est pas...)

Rien compris. Tu veux faire varier ca comment ?
Car dans mon premier code, T peut varier.
Code:

1 2 3 4 //classe B du premier code. B<int,21> ba; //<=> B : A< B<int,21> > b<std::string,42> bb; //<=> B : A< B<std::string,42> >
28/07/2009, 21h42
Alp

Citation:

Envoyé par TNT89

Merci de ta réponse!
Ok j'ai compris ce point, ce que je voulais savoir c'est si on pouvait indiquer la variation d'un unique paramètre template par :

Code:

template<typename T> B<T,D>

(Ou D est fixé et T ne l'est pas...)

Autrement dit spécialiser B en fixant le deuxième paramètre à D.

Tu as essayé ton code ? ;)
28/07/2009, 21h54
Davidbrcz

Citation:

Envoyé par Alp

Autrement dit spécialiser B en fixant le deuxième paramètre à D.

Tu as essayé ton code ? ;)

Ah, de la spécialisation partielle en fait ?
29/07/2009, 07h04
Alp

Oui, c'est ce qu'il me semble que l'auteur veut, et c'est autorisé pour les classes/structures. C'est souvent utilisé pour les classes de traits par exemple.
29/07/2009, 21h22
TNT89

Oui j'ai essayé ce code et... il ne fonctionne pas...

La syntaxe des spécialisation partielle est, AMHA, peu intuitive car il faut rappeler les types après la classe.
Edit: je viens de me rappeler pourquoi il faut redire les types. C'est pour éviter que le compilo ne croit qu'il s'agisse d'une redéfinition à un paramètre à la place d'une spécialisation partielle.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 template < class Z> //A attend un type struct A {}; template< typename T, int D> struct B : A< B<T,D> > // B<T,D> est un type, ca rulz {}; template< typename T> // D est fixé. struct B<T,42> : A< B<T,42> > //note ici qu'on aurait pu passer deux entiers différent //Le type envoyé à A est dérivé à partir de la premiere forme de B. {};