Méthode et héritage

Version imprimable

20/10/2011, 16h28
Kaluza

Méthode et héritage
Bonjour.

J'ai une question très bête concernant les méthodes et l'héritage.

Soit une classe A avec les méthodes :
Code:

1 2 3 4 5 A(); ~A(); void fonction1(); virtual void fonction2(); void fonction3A();
et une classe B dérivant de A avec les méthodes :
Code:

1 2 3 4 5 B(); ~B(); void fonction1(); virtual void fonction2(); void fonction3B();
1) Pourriez-vous me dire quels fonction est appelée dans les cas suivants () :
Code:

1 2 3 4 5 A *a = new A(); B *b = new B(); b->fonction1(); // implémentation de A ou de B ? a->fonction2(); // implémentation de A ou de B ? b->fonction2(); // implémentation de A ou de B ?
2) Maintenant, un peu plus sioux, supposons que le constructeur de A fasse appel à fonction1() (de A donc). Si le constructeur de B est laissé vide que se passera-t-il ? (est-ce que fonction1() sera appelée et si oui est-ce que ce sera l'implémentation de A ou de B)

3) Dans l'implémentation du constructeur de B, comment faire si je veux que le constructeur de A soit appelé et qu'ensuite certaines fonctions propres à B soient appelées ?

Merci
20/10/2011, 16h52
Luc Hermitte

Salut.

Il est pourtant facile de vérifier les questions que te pose ton prof, non ?

1- just do it.
NB: tu as oublié a->fonction1();

2- just do it

3- Qu'as-tu essayé de faire pour l'instant et quels sont les résultats ? Pourquoi correspondent-ils, ou pas, à ce que tu attendais/espérais ?

PS: cout, ou le débuggeur, sont tes précieux amis.
21/10/2011, 09h48
Emmanuel Deloget
Citation:

Envoyé par Luc Hermitte

Salut.

Il est pourtant facile de vérifier les questions que te pose ton prof, non ?

1- just do it.
NB: tu as oublié a->fonction1();

2- just do it

3- Qu'as-tu essayé de faire pour l'instant et quels sont les résultats ? Pourquoi correspondent-ils, ou pas, à ce que tu attendais/espérais ?

PS: cout, ou le débuggeur, sont tes précieux amis.

Sinon, pour répondre à la question et valider tes résultats :

Question 1
1/ B (puisque fonction1 dépends du type statique de la classe, vu qu'elle n'est pas virtuelle)
2/ A (puisque a est un objet de type a)
3/ B (puisque b est un objet de type b)

Et pour le cas
Code:

1 2 3 A *c = new B(); c->fonction2();
C'est le type dynamique de l'instance c qui est pris en compte (donc B), et c'est donc l'implémentaion de B qui est utilisée.

Question 2
La table des fonctions virtuelles n'est valide qu'une fois le constructeur complètement exécuté. Donc que la fonction appelée soit virtuelle ou non, c'est celle qui correspondont au type statique de l'instance qui sera utilisé.

Dans le code
Code:

1 2 3 4 5 6 7 8 9 10 11 12 A::A() { fonction1(); // non virtuelle fonction2(); // virtuelle, mais le type n'est pas encore un type dynamique } B::B() : A() { } B *b = new B();
Les fonctions A::fonction1() et A::fonction2() seront appelée. B::fonction2() ne sera pas appelée.

Question 3
Pour appeler le constructeur de A, tu n'as rien de spécial à faire : il est appelée systématiquement. Si A possède plusieurs constructeurs, ou si A ne possède pas de constructeur par défaut (ne prenant aucun paramètres), alors tu dois forcer l'appel d'un constructeur spécifique avec la syntaxe :
Code:

1 2 3 4 B::B() : A(paramètres...) { }
Le constructeur de A ne connait pas les fonctions de B. Comme dit plus haut, dans le constructeur (ainsi que dans le destructeur), aucune fonction n'est considérée comme virtuelle. Du coup, si tu veux appeler une fonction de B, tu dois le faire depuis le constructeur de B. Fort heureusement, celui-ci ne commence son exécution qu'une fois le constructeur terminé - tu as donc la garantie que l'appel des fonctions de B se fait après l'exécution du constructeur de A.
21/10/2011, 11h09
koala01

Salut,

En fait, je crois que l'objectif de Luc était de laisser Kaluza se débrouiller un peu pour qu'il apprenne, étant donné qu'il "suffit" de lancer le compilateur :P

Tu lui a bousillé son effet :D

Citation:

Envoyé par la sagesse populaire

Donne un poisson à quelqu'un, il mangera un jour
apprend lui à pêcher, il mangera toujours

;)
21/10/2011, 11h31
Emmanuel Deloget

Citation:

Envoyé par koala01

Salut,

En fait, je crois que l'objectif de Luc était de laisser Kaluza se débrouiller un peu pour qu'il apprenne, étant donné qu'il "suffit" de lancer le compilateur :P

Tu lui a bousillé son effet :D

;)

Ah mais en lançant le compilateur, il peut voir l'effet, mais comprendra-t-il les causes ?

Et je préfère celle là:

Citation:

Envoyé par popular wisdom

Give a man fire and he'll be warm till the end of day.
Set a man on fire and he'll be warm till the end of his life

:aie:
21/10/2011, 11h42
Luc Hermitte

Certes, mais eut-il fallut qu'il revienne vers nous après observations avec ses hypothèses et ses questions, à lui. Et pas celles de son prof.
Là, tu as fait le grep qu'il aurait dû faire dans son cours.
21/10/2011, 14h47
Emmanuel Deloget

Citation:

Envoyé par Luc Hermitte

Certes, mais eut-il fallut qu'il revienne vers nous après observations avec ses hypothèses et ses questions, à lui. Et pas celles de son prof.
Là, tu as fait le grep qu'il aurait dû faire dans son cours.

Je n'avais pas saisi qu'il s'agissait d'un DM :oops:

Désolé :oops:
21/10/2011, 16h31
Luc Hermitte

Rien ne garantit qu'il s'agisse de cela. Mais vu la formulation des questions, cela ne ressemble pas du tout à des interrogations personnelles.
Et l'OP n'étant pas venu démentir, ni râler, ma foi...
22/10/2011, 10h15
3DArchi
Salut,

Citation:

Envoyé par Emmanuel Deloget

La table des fonctions virtuelles n'est valide qu'une fois le constructeur complètement exécuté. Donc que la fonction appelée soit virtuelle ou non, c'est celle qui correspondont au type statique de l'instance qui sera utilisé.

En fait, c'est un comportement imposé par la norme et non lié à une implémentation via des vtables. La norme dit que l'appel d'une fonction virtuelle dans le constructeur (ou destructeur) appelle la fonction du constructeur/destructeur en cours d'exécution (enfin, la most derived du constructeur en cours d'exécution) et non de l'objet en cours de construction/destruction. Ce qui permet d'ailleurs aux compilateurs de ne pas utiliser la vtable dans les constructeurs/destructeurs puisque la résolution peut complètement se faire à la compilation.
(nb : le comportement est indéfini pour une fonction virtuelle pure).
cf X. Une vision plus avancée des appels de fonctions virtuelles dans les constructeurs et destructeurs
Citation:
Envoyé par Kaluza

1) Pourriez-vous me dire quels fonction est appelée dans les cas suivants () :

Code:

1 2 3 4 5 A *a = new A(); B *b = new B(); b->fonction1(); // implémentation de A ou de B ? a->fonction2(); // implémentation de A ou de B ? b->fonction2(); // implémentation de A ou de B ?

2) Maintenant, un peu plus sioux, supposons que le constructeur de A fasse appel à fonction1() (de A donc). Si le constructeur de B est laissé vide que se passera-t-il ? (est-ce que fonction1() sera appelée et si oui est-ce que ce sera l'implémentation de A ou de B)

3) Dans l'implémentation du constructeur de B, comment faire si je veux que le constructeur de A soit appelé et qu'ensuite certaines fonctions propres à B soient appelées ?

Merci
cf Les fonctions virtuelles en C++