Discussion :

[Serge Iovleff]

Voici ce que je veux faire

Code :

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

1
2
3
4
5
template <class A, class B>
class C : protected A<B>
{
...
};

ce qui ne marche pas avec gcc. (v 3.4)

En pratique A est un patron de classe qui sert de container et B un type de base (char, float, ...)

Si j'utilise

Code :

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

1
2
3
4
5
template <class A, class B>
class C : protected A
{
...
};

Rien ne me dit qu'un utilisateur inattentif ne fera pas
C c<A<char>, float>;
par exemple...

[Serge Iovleff]

La question est mal formulée : je voudrais pouvoir
utiliser n'importe quel container pour dériver C.

Les containers dérivent tous d'une classe Abase et possèdent la
même interface.

actuellement ce qui est implémenté est le code suivant

Code :

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

1
2
3
4
5
template <class B>
class C : protected A<B>
{
...
}

comment ne pas faire dériver ce patron de classe de la classe A mais
de n'importe quel descendant de la classe Abase ?


[Balises CODE rajoutées par Loulou24, merci d'y penser à l'avenir]

[Laurent Gomila]

Pour les compilos ne supportant pas les templates templates, il n'y a guère mieux que ce que tu proposes :

Code :

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

1
2
3
4
5
template <class A, class B>
class C : protected A
{ };
 
C c<A<char>, char>;

Tu pourrais aussi (à la manière des conteneurs standards avec value_type) prévoir dans ABase une manière de récupérer le type de donnée stockée, ainsi tu n'as pas à le repasser lorsque instancies C et tu évites la redondance.

Mais heureusement pour les compilos récents tu peux faire ce que tu souhaites :

Code :

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

1
2
3
4
5
template <template <class> class A, class B>
class C : protected A<B>
{ };
 
C c<A, char>;

[Serge Iovleff]

Merci de ta réponse,

Je ne suis pas familier avec cette syntaxe.
Où puis je trouver de la doc et une intro sur cette manière de programmer.

(à part l'article de Loulou sur ce site) ?

Merci

[Laurent Gomila]

En fait pour ce qui est de la syntaxe ce n'est pas si compliqué, il suffit de garder en tête que les paramètres templates font partie du "type" de la classe.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
// Classe template quelconque
template <int I, class T, size_t S>
class Bop {};
 
// Classe template pouvant recevoir Bop en paramètre
template <template <int, class, size_t> class A>
class Plouf : public A<5, float, 6> {};
 
// Pour aller à l'extrême : classe template pouvant recevoir Plouf en paramètre (jamais testé, mais bon)
template <template <template <int, class, size_t> class> class A>
class Meuh : public Plouf<Bop> {};

Je ne connais pas de cours sur ce genre de syntaxe poussée sur les templates. Mon tuto sur la meta-prog ne rentre pas en détail dans la syntaxe des templates templates, mais pour le reste ça peut être un bon point de départ si cela t'interesse