Désallocation de mémoire et exceptions

Question

J'ai une question concernant la désallocation de mémoire et les exceptions. lorsque j'utilise delete pour supprimer un objet créé sur le tas. Si une exception se produit avant que cette suppression soit la fuite de mémoire ou cette suppression va s'exécuter?

Answer 1

Cela dépend de l'emplacement de delete. Si c'est à l'intérieur du catch qui attrape l'exception, il peut invoquer.

try { 
    f(); // throws 
} catch(...) { 
    delete p; // will delete 
} 

Si c'est après la catch qui attire l'exception et que catch ne revient pas de la fonction (à savoir permet le flux d'exécution de procéder après le bloc catch), le delete pourrait être appelé.

try { 
    f(); // throws 
} catch(...) { 
    // execution proceeds beyond catch 
} 
delete p; // will delete 

Si le delete n'est pas dans un bloc catch ou après un bloc catch qui permet l'exécution de procéder alors delete ne sera pas appeler.

try { 
    f(); // throws 
    delete p; // will not delete 
} // ... 

Comme vous pouvez l'imaginer, dans les deux premiers cas, au-dessus du delete ne sera pas invoquée s'il y a un jet avant la delete:

try { 
    f(); // throws 
} catch(...) { 
    g(); // throws 
    delete p; // will not delete 
} 

Answer 2

Il ne sera pas appelé. C'est pourquoi vous êtes encouragé à regarder RAII. Voir Stroustrup

Answer 3

Dans le cas que vous décrivez, la mémoire va fuir.

Deux astuces pour éviter ce problème:

• utiliser des pointeurs intelligents qui ne souffrent pas du même problème (solution préférée)
  -> le pointeur intelligent dans construit sur la pile, son destructor est donc appelé, peu importe quoi, et la suppression du contenu pointu est fourni dans le destructor

• les instructions utilisent try/catch, et supprimer l'élément dans la déclaration de capture et

Answer 4

Nous devons aussi faire en sorte que « exception » signifie vraiment une exception C++ qui peut être capturée par try/catch. Il existe également d'autres exceptions dans le système que C++ try/catch ne peut pas détecter (par exemple, division par 0).

Dans de tels cas (au-delà de la portée des normes C++), "delete" ne sera pas exécuté non plus, sauf si ces exceptions sont interceptées et que le gestionnaire appelle explicitement "delete" de manière appropriée.