Hériter d'une classe template non définie

Bonjour

Je souhaiterai savoir si il est possible de faire un truc du genre :

Code:

---

1 2 3 4 5

template <class T> class C : public T { ... };

---

et même mieux (si possible) : s'assurer que T dérive bien d'une classe donnée. Je fonctionne aujourd'hui avec un define qui permet de créer la classe, mais je me demandais si je pouvais troquer ce define contre un template...

Salut,

Normalement, tu peux le faire... Cela s'apparente à du CRTP ;)

Et cela peut mener à quelques trucs sympa, du genre de

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33

template<class T> class C { public: C(T const & v):val(v){} void print()const { cout<<"I'm a C and my value is "<<val<<endl; } T const & value() const{return val;} private: T val; }; template <class T> class C2 : public T { public: C2( T const & t):T(t){} void otherPrint()const { cout<<"I'm a C2 and my C value is " <<this->value()<<endl; } }; int main() { C2<C<int> > c(2); // (*) c.print(); c.otherPrint(); C2<C<std::string> > s(std::string("Hello")); s.print(); return 0; }

---

(*) Pour l'instant, il faut "juste" veiller à bien laisser un espace entre deux > lorsque l'on ferme la liste des types paramétrés, pour éviter que le compilateur ne confonde la fermeture avec l'opérateur >> (appliqués sur les i*stream ou comme décalage de bits)...

Dans la prochaine norme, ce problème est normalement résolut ;)

Salut,
Aucun problème pour hériter d'un paramètre classe générique:

Code:

---

1 2 3 4 5

template <class T> class C : public T { ... };

---

Pour vérifier que T dérive bien d'une classe donnée, le plus simple est d'utiliser Boost.Type Trait et Boost.Static assert, ou si tu as un compilateur C++0x, ces deux fonctions peuvent y être intégrer de base.
Si tu es allergique à Boost, Visual propose __is_base_of mais ce n'est pas standard.

J'en oubliais le dernier point qui consiste à vérifier si le type sélectionné dérive d'une classe donnée...

Il y a, normalement, moyen de faire cette vérification de manière statique (comprend: à la compilation), mais elle met en oeuvre une série de trait de politiques qu'il serait fort long de détailler ici (ou du moins que je n'ai pas le courage de détailler ici)...

Merci pour ces réponses.
en fait je peinais car il faut mettre this-> pour pouvoir acces à une méthode de la classe parente, sinon, ça ne compile pas.

Citation:

---

Envoyé par jfouche

Merci pour ces réponses.
en fait je peinais car il faut mettre this-> pour pouvoir acces à une méthode de la classe parente, sinon, ça ne compile pas.

---

Oui, c'est effectivement l'un des rares cas (pour ne pas dire le seul) dans lequel l'utilisation de this-> est requise...

Citation:

---

Envoyé par 3DArchi

Salut,
Aucun problème pour hériter d'un paramètre classe générique:

Code:

---

1 2 3 4 5

template <class T> class C : public T { ... };

---

Pour vérifier que T dérive bien d'une classe donnée, le plus simple est d'utiliser Boost.Type Trait et Boost.Static assert, ou si tu as un compilateur C++0x, ces deux fonctions peuvent y être intégrer de base.
Si tu es allergique à Boost, Visual propose __is_base_of mais ce n'est pas standard.

---

VC++ et gcc proposent std::tr1::is_base_of<_Base,_Derived> dans <type_traits>, qui sont déjà plus standard (et qui bougent dans std pour le prochain standard).

Et si tu ne souhaite pas utiliser le TR1, Réimplémenter is_base_of<> est "relativement simple" - cf Etude du C++ Technical Report 1 - type_traits sur mon blog.

Citation:

---

Envoyé par jfouche

Merci pour ces réponses.
en fait je peinais car il faut mettre this-> pour pouvoir acces à une méthode de la classe parente, sinon, ça ne compile pas.

---

Tu peux aussi utiliser using... (je crois que le débat continue sur ce qui est bon ou non..)