Héritage privé et polymorphisme

Bonjour,

je suis tombé sur un test C++ avec la question suivante :
Qu'affiche le code suivant :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

class A { public : virtual void f() {printf("A");} };   class B : A { public : void f() {printf("B");} };   A* a = new B(); a->f();

---

Et la réponse est... ne compile pas.

En fait on ne peut pas faire

Code:

---

A* a = new B()

---

car B hérite de A en privé.

Mais j'aimerais comprendre pourquoi l'héritage privé interdit ceci puisque je pensais tout ce que faisait l'héritage privé, c'était de mettre tous les attributs et méthodes de A en privé dans B ?

Merci de m'éclairer :)

Peut-être tu aurais oublié public
comme ceci

class B : public A
{
public : void f() {printf("B");}
};

Citation:

---

Envoyé par Lawyer666

Mais j'aimerais comprendre pourquoi l'héritage privé interdit ceci puisque je pensais tout ce que faisait l'héritage privé, c'était de mettre tous les attributs et méthodes de A en privé dans B ?

---

Ca permet de dissocier un héritage de type IS-A (publique) d'un héritage de type IS-IMPLEMENTED-IN-TERM-OF. Le premier est une relation très forte entre les classes parents et dérivées (cf LSP) alors que le second est 'un détail' d'implémentation et peut souvent être changé en composition. Cf F.A.Q. Quand dois-je faire un héritage public ? protégé ? privé ? et suivants.

Il ne l'a pas oublié, c'est une question d'un test ...

Lorsque tu fais A* a = new B(); tu indique au compilateur de traiter le pointeur retourner par new comme un pointeur sur un A, alors que c'est un pointeur sur un B.

Pour faire ceci le compilateur à besoin de pouvoir convertir le pointeur sur B en pointeur sur A, et pour ceci A doit être une base accessible de B, ce qui n'est pas le cas car l'héritage est privé et donc à part la classe personne ne sais que A est une base de B.

Si tu fais ton cas dans une fonction membre de la classe B ca marche par contre.

3DArchi t'a donné les raison OO (orienté objet, ie non spécifiquement lié au C++) de cette impossibilité, ce que je viens de te décrire et le mécanisme choisie par le C++ pour que ca fonctionne comme l'on s'y attend (héritage privé c'est implémenté-en-terme-de, et publique est-un). H. Sutter à écrit deux article sur l'héritage, ils sont très instructif.

arthurik >> Non justement, comme l'indique le titre du thread, c'est une question sur l'héritage privé ! :)

3DArchi >> Merci pour ces renseignements, mais je connais déjà tout ça en fait... je pose la question uniquement pour comprendre ce qui se passe. Pourquoi cette erreur de compil : "error C2243: 'type cast' : conversion from 'B *' to 'A *' exists, but is inaccessible"

Flob90 >> Je t'avoue que je ne suis pas sur de comprendre ton explication... je vais y réfléchir et faire un petit test. Merci en tout cas.

edit : OK, j'ai fait le test, le cast de B* en A* est effectivement accessible pour les méthodes de B, comme le dit Flob90.
Et si j'ai bien compris, comme l'héritage est privé, on "ignore" dans le reste du code que B dérive de A, ce qui empêche ce cast !

Un héritage privée consiste à dire en gros que seul l'enfant connait son parent, ni les petits enfants, ni le programme appelant ne peux savoir que B est un A. Seul B le sais! et il a accès au membre public et protected du parent uniquement.

Pour un héritage public, tout le monde sait que B est le fils de A. Son fils n'a accès que aux méthodes public et protected

Pour un héritage protected, c'est pareil que en privée. B a accès au membres public et protected de A mais il permet, contrairement à l'héritage privé, aux petits enfants de connaitre leur grand-parent A.

Ici, l'héritage étant privée, tu ne peux instancier un B fils de A dans un A car personne ne sais que B est un A.