Discussion :

[zenetcalme]

Bonjour,

J'ai un petit doute.
dans la FAQ c++ : http://cpp.developpez.com/faq/cpp/?p...S_constructeur

Il est écrit à la fin du topic que le destructeur n'est pas appelé si on a une exception dans le constructeur.

J'utilise Borland C++ builder 2009, et j'ai l'impression que mon destructeur est appelé quand même.
mon constructeur ressemble a çà:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
MaClass::MaClass
{
     try
     {
          ....
     }
     catch( MonExecption &Erreur)
     {
           Netoyage
           affichage de la valeur de this dans un msg de débug
           throw
     }
}

et mon destructeur:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
MaClass::~MaClass
{
    Netoyage
    affichage de la valeur de this dans un msg de débug
}

ben la, j'arrive a avoir une exception ET un destructeur avec la même valeur de this...
Est ce que j'aurais mal compris quelque chose?

Merci d'avance

[JolyLoic]

Il faudrait voir le programme complet pour en être certain, mais effectivement, tu ne devrais pas avoir d'appel du destructeur dans ce cas.

[zenetcalme]

Alors j'ai continué mes analyses.
La classe MaClass hérite en fait d'une autre classe.

Et c'est le destructeur de celle ci (la classe mère) qui est appelé!

à première vue, c'est pas complétement incohérent.
suis je sur la bonne voie?

[JolyLoic]

Ah, dans ce cas, c'est normal. Tout ce qui a fini d'être construit a son destructeur appelé. Les données membre, la classe de base. Seule la classe elle même, pas complètement construite, n'a pas de destructeur appelé.

[zenetcalme]

ok, merci.

J'avais commencé a m'en douter...
Par contre, est ce qu'une précision ou un "warning" pourrait être ajouter à la FAQ?

[Klaim]

Ah, dans ce cas, c'est normal. Tout ce qui a fini d'être construit a son destructeur appelé. Les données membre, la classe de base. Seule la classe elle même, pas complètement construite, n'a pas de destructeur appelé.

Juste pour clarifier :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
{
   A a;
   B b;
   C c;
}

Si dans le constructeur de A on lance une exception, ni a ni b ni c n'auront leurs destructeurs d'appelés. A n'est pas construit tant qu'il ne finis pas d'executer son constructeur donc le lancement de l'exception interrompt la construction et a n'est pas considéré comme construit. Les autres n'ont même pas commencé a être construits donc forcément ils ne sont pas détruits.

Si dans le constructeur de B on lance une exception, a, qui a été construit, sera détruit donc son destructeur sera appelé. b et c n'ayant pas été construits (b n'a pas fini sa construction), leurs destructeurs ne seront pas appelés.

Si dans le constructeur de C on lance une exception, seul c n'est pas encore construit, donc seul c n'aura pas son destructeur appelé, tandis que a et b auront bien leurs destructeurs appelés.

[zenetcalme]

Oui c'est bien ce qu'on a dit.
mais je parle du problème d'héritage, qui est a mon avis pas assez explicité dans la FAQ.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Class A
{
     A()
     {
          code
     }
}
 
Class B: public A
{
     B():A()
     {
          code 
          exception
     }
}

dans ce cas la, le destructeur de B n'est pas appelé. mais celui de A si!
C'est bien ce cas que je ne trouve pas assez explicit, ni dans la FAQ...