Problème de conception : Héritage et template

Bonjour,

Je suis actuellement géné par un problème d'héritage.

J'ai une classe template "Hierarchy" que je voudrais faire hériter à certains objets. Cela permettrai à un objet qui en hérite d'avoir la possibilité d'ajout de fils.
Je vais essayer d'illustrer un peu mes propos :
J'ai une classe Hierarchy comme suis.

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

template <typename T> class Hierarchy { public:   Hierarchy (); ~Hierarchy(){};   void setParent(T * parent){ ... }; // set le pere T * parent(){ return _parent;}; // retourne le pere   void addChild(T * child){ ...}; // ajoute un fils std::list<T*> & children() {...}; // retourne la liste de fils   protected: std::list <T*> _children; T * _parent; };

---

Et voudrais qu'un objet, par exemple "Item", qui en hérite puisse avoir une liste de fils et la possibilité d'avoir un père.
Le tout en faisant un simple héritage, sans surcharger ou réimplémenter aucune fonction, du style :

Code:

---

1 2 3 4 5 6 7

class Item : public Hierarchy { public:   Item () : Hierarchy(); ~Item(){}; };

---

En pratique ça donnerai :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

Item * pere = new Item(); Item * fils1 = new Item(); Item * fils2 = new Item();   pere->addChild(fils1); pere->addChild(fils2);   for (int i = 0; pere->children().size; i++) { Item * currentChild = pere->children().at(i); //Sans devoir faire de cast }

---

Avec la méthode que j'ai fait je suis obligé de caster un objet de type T en un objet Item avant de m'en servir, ou encore réimplémenter les fonctions dans la classe Item. Je voudrais éviter cette étape.

Merci à ceux qui pourront m'éclairer sur la façon dont il faut faire.

Salut,

Cela compile, avec le code que tu donnes :question:

En toute logique, tu devrais déjà avoir un refus du compilateur au niveau de

Code:

---

class Item : public Hierarchy

---

sous prétexte que le nombre d'arguments template ne correspond pas (aucun passé alors qu'un est attendu)

De même, il manque les accolades et la précision du type devant spécialiser Hierarchy pour le constructeur de Item

Si tu corriges déjà ce seul point en utilisant le CRTP, tout rentrera dans l'ordre :D

Code:

---

1 2 3 4 5 6 7 8 9

class Item : public Hierarchy<Item> { public: /* NOTA: pas obligatoire étant donné qu'il y a un constrcteur   * par défaut pour Hierarchy   */ Item():Hierarchy<Item>(){} /* virual */ ~Item(){} };

---

NOTA: N'oublie pas que tout objet qui dérive de Item pourra effectivement être utilisé, mais que si tu crées une autre classe (Item2 :question:) qui hérite de Hierarchy<Item2>, Item et Item2 ne pourront pas cohabiter au sens polymorphe du terme ;)

Merci beaucoup !

J'ai codé les classes Hierarchy et Item et tout compile et fonctionne.

Vos indications m'ont permis de voir où est vraiment mon erreur. En fait ma classe Hierarchy devait déjà fonctionner. Je pensais que mon problème de cast venait de la manière de l'implémenter.

J'ai donc découvert que mon problème se situait ailleurs :

- j'ai un "SousItem" qui dérive d'Item. L'ennuie c'est que l'appelle de la fonction parent() me renvoie un objet de type Item, ce qui est normal vu la manière dont les classes sont faites.

Alors ma question est : comment faire pour que chaque objet héritant d'Item puisse me retourner leur type et non celui de la classé hérité ?

Illustration :

Code:

---

1 2 3 4 5 6

class SousItem1 : public Item { public: SousItem1():Item(){}; ~SousItem1(){}; };

---

Code:

---

1 2 3 4 5 6 7 8

SousItem1 * sousItem1_Parent = new SousItem1(); SousItem1 * sousItem1_Child = new SousItem1();   sousItem1_Parent->addChild(sousItem1_Child);   // L'instruction ci-dessous ne fonctionne pas: // sousItem1_Child->parent() renvoie un Item SousItem 1 * sousItem_Temp = sousItem1_Child->parent()

---

A l'heure actuelle sousItem1_Child->parent() me retourne un Item, alors que je voudrais que cela soit un SousItem1.
Est-t-il possible de faire ça sans caster quoique ce soit ?

Merci.

En attendant je vais refaire un tour sur la FAQ de template au cas où j'aurais un déclic...

Je ne vois que 2 façons de faire ça (mais je peux me tromper) :
- SousItem1 implémente la fonction parent()
- SousItem1 n'étend pas Item mais Hierarchy<SousItem1> (si c'est bien elle qui implémente la fonction parent() )

Rendre "parent" virtuel et utiliser le covariance.

Tu peux aussi encore utiliser le concept de CRTP (si ta hiérachie n'est pas encore plus profonde) :

Code:

---

1 2 3 4 5 6

template< typename T > class Item : public Hierarchy<T> ...   class SousItem : public Item<SousItem> ...

---

Tout dépend de ton cas d'utilisation (entre

La question que je me poserais en priorité, c'est

Citation:

---

es tu sur que la fonction parent d'un SousItem1 renverra effectivement un SouItem1:question:

---

Ce sera peut être effectivement le cas, mais, comme la fonction parent est définie (grâce au fait que Item hérite de Hierarchie<Item>) pour le type Item, tu dois t'attendre à ce que l'objet renvoyé par la fonction parent soit... de n'importe quel type dérivé de Item :aie:

Si tu veux avoir la certitude que la fonction parent de SousItem1 renvoie effectivement un SousItem1 et non un autre type dérivé de Item, pourquoi faire hériter SousItem1 de Item et non de... Hierarchy<SousItem1> :question:

N'oublie pas que l'héritage est la relation la plus forte qui puisse exister entre deux objet dans le sens où elle représente une relation "EST-UN" à prendre dans toute la sémantique du terme.

Elle implique que partout où tu attend un objet du type de base, tu peux passer un objet du type dérivé, mais également que, à partir du moment où tu récupère un objet du type de base, tu n'aie aucune certitude a priori quant au fait qu'il s'agisse d'un type dérivé donné ;)

Merci à tous, j'ai réglé mon problème en prennant la méthode CRTP.

Mon idée c'était d'avoir une classe Item qui hérite de Hierarchy afin d'y trouver des fonctions propres à chacun des objets :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

class Item : public Hierarchy <Item> { public: Item();   //Fonction d'Item void fonctionItemA(); void fonctionItemB();   //Fonction de hierarchy void setParent(T * parent){ ... }; // set le pere T * parent(){ return _parent;}; // retourne le pere   void addChild(T * child){ ...}; // ajoute un fils std::list<T*> & children() {...}; // retourne la liste de fils //... };

---

Mais je voulais que les SousItem1 ai toujours ces fonctions + ses propres fonctions comme :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

class SousItem1: public Item { public: SousItem1(); //Fonction de SousItem1 void fonctionSousItem1A(); void fonctionSousItem1B(); //Fonction d'Item void fonctionItemA(); void fonctionItemB(); //Fonction de hierarchy void setParent(T * parent){ ... }; // set le pere T * parent(){ return _parent;}; // retourne le pere void addChild(T * child){ ...}; // ajoute un fils std::list<T*> & children() {...}; // retourne la liste de fils //... };

---

Du coup j'ai réglé mon problème en faisant une classe intermédiaire Item0 dont hériterait Item.

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

class Item0: { public: //Fonction d'Item void fonctionItemA(); void fonctionItemB();   };   template <typename T> class Hierarchy: { public: //Fonction de hierarchy void setParent(T * parent){ ... }; // set le pere T * parent(){ return _parent;}; // retourne le pere   void addChild(T * child){ ...}; // ajoute un fils std::list<T*> & children() {...}; // retourne la liste de fils //... };   template <class T> class Item: public Item0, public Hierarchy<T> { public: Item : Item0(), public Hierarchy<T>(){}   };   class SousItem1: public Item<SousItem1> { public: SousItem1: Item<SousItem1>(){} };

---

Pour faire simple Item0 est un objet précis.
Item est le même objet qui peut être parenté avec ses semblable grâce à Hierarchy.
Et SousItem1 hérite simplement d'Item et je peux y ajouté les fonctions que je veux. Tout ça sans la moindre redéfinition de fonction ou de cast.

C'est parfait, encore merci à tous !