Dériver un patron de classe à partir du patron ?

Voici ce que je veux faire

Code:

---

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) :evil:

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

Si j'utilise

Code:

---

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

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:

---

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]

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

Code:

---

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:

---

1 2 3 4 5

template <template <class> class A, class B> class C : protected A<B> { };   C c<A, char>;

---

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

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:

---

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