Pourquoi le destructeur n'est-il pas appelé en cas d'exception ?

Question

Je m'attendais à A::~A() dans ce programme, mais ce n'est pas le cas :

#include <iostream>

struct A {
  ~A() { std::cout << "~A()" << std::endl; }
};

void f() {
  A a;
  throw "spam";
}

int main() { f(); }

Toutefois, si je remplace la dernière ligne par

int main() try { f(); } catch (...) { throw; }

entonces A::~A() est appelé.

Je compile avec "Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 14.00.50727.762 for 80x86" depuis Visual Studio 2005. La ligne de commande est la suivante cl /EHa my.cpp .

Le compilateur a-t-il raison comme d'habitude ? Que disent les normes à ce sujet ?

Answer 1

Le destructeur n'est pas appelé parce que terminate() pour l'exception non gérée est appelé avant que la pile ne soit déroulée.

Je ne connais pas les détails spécifiques de la spécification C++, mais une trace de débogage avec gdb et g++ semble le confirmer.

Selon la projet de norme section 15.3, point 9 :

9 If no matching handler is found in a program, the function terminate()
  (\_except.terminate\_)  is  called.  Whether or not the stack is unwound
  before calling terminate() is implementation-defined.

Answer 2

La spécification du langage C++ stipule : Le processus d'appel des destructeurs pour les objets automatiques construits sur le chemin allant d'un bloc try à une expression throw est appelé "déroulement de la pile". Votre code original ne contient pas de bloc try, c'est pourquoi le déroulement de la pile ne se produit pas.

Answer 3

Désolé, je n'ai pas de copie de la norme sur moi.
J'aimerais vraiment avoir une réponse définitive à cette question, si quelqu'un qui a une copie de la norme veut bien partager les chapitres et les versets de ce qui se passe :

D'après ce que j'ai compris, le terme n'est appelé que si :

• Le mécanisme de gestion des exceptions ne trouve pas de gestionnaire pour une exception lancée.
  Les cas suivants sont plus spécifiques :
  • Pendant le déroulement de la pile, une exception échappe à un destructeur.
  • Une expression lancée, une exception échappe au constructeur.
  • Une exception échappe au constructeur/destructeur d'un objet statique non local (c'est-à-dire global).
  • Une exception échappe à une fonction enregistrée avec atexit().
  • Une exception échappe à main()
• Essayer de relancer une exception alors qu'aucune exception n'est en cours de propagation.
• Une exception inattendue échappe à une fonction contenant des spécificateurs d'exception (via unexpected)

Answer 4

Dans le second exemple, le dtor est appelé lorsqu'il quitte le bloc try{}.

Dans le premier exemple, le dtor est appelé lorsque le programme se termine après avoir quitté la fonction main() --- à ce moment-là, cout peut déjà avoir été détruit.

Answer 5

Je suppose aussi que le compilateur ne génère pas de code relative à la "une" comme il n'est pas référencé, mais encore, ce n'est pas le comportement que le destructeur n'quelque chose qui doivent être exécutées.

Donc, j'ai essayé dans VS2008/vc9 (+SP1), Debug et Release et ~A est appelé après que l'exception est levée, sortir de f() - c'est le bon comportement, si je suis à droite.

Maintenant, j'ai juste essayé avec VS2005/vc8 (+SP1) et c'est le même comportement.

J'ai utilisé des points d'arrêt pour être sûr. Je viens de vérifier avec la console et j'ai le "~" message trop. Peut-être que vous l'avez fait mal quelque part d'autre?