Discussion :

[TNT89]

Bonjour,

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

Code :

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

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!

[Davidbrcz]

Code :

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

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 :

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

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 :

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

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
{/*...*/};

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

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

template<typename T> B<T,D>

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

[Davidbrcz]

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 :

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

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 :

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

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

[Alp]

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 :

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

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 ?

[Davidbrcz]

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 ?

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

[TNT89]

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

[Davidbrcz]

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 :

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

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.
{};