Werden Destruktoren nach einem Wurf in C++ aufgerufen?

Question 1

Ich habe ein Beispielprogramm ausgeführt und tatsächlich werden Destruktoren für stapelzugeordnete Objekte aufgerufen, aber wird dies vom Standard garantiert?

Question 2

Ja, es ist garantiert (sofern die Ausnahme abgefangen wird), bis auf die Bestellung in dem die Destruktoren aufgerufen werden:

C++11 15.2 Konstruktoren und Destruktoren [except.ctor]

1 Wenn die Kontrolle von einem Throw-Ausdruck an einen Handler übergeht, werden Destruktoren für alle automatischen Objekte aufgerufen, die seit der Eingabe des try-Blocks erstellt wurden. Die automatischen Objekte werden in umgekehrter Reihenfolge ihrer Fertigstellung zerstört.

Wenn die Ausnahme während der Objektkonstruktion ausgelöst wird, werden die Unterobjekte des teilweise konstruierten Objekts außerdem garantiert korrekt zerstört:

2 Bei einem Objekt mit beliebiger Speicherdauer, dessen Initialisierung oder Zerstörung durch eine Ausnahme beendet wird, werden Destruktoren für alle seine vollständig konstruierten Unterobjekte ausgeführt (mit Ausnahme der Variantenmitglieder einer unionsähnlichen Klasse), d. h. für Unterobjekte, für die der Hauptkonstruktor (12.6.2) die Ausführung abgeschlossen hat und der Destruktor noch nicht mit der Ausführung begonnen hat. Wenn der nicht delegierende Konstruktor für ein Objekt die Ausführung abgeschlossen hat und ein delegierender Konstruktor für dieses Objekt mit einer Ausnahme beendet wird, wird der Destruktor des Objekts aufgerufen. Wenn das Objekt in einem Neu-Ausdruck zugewiesen wurde, wird die übereinstimmende Freigabe-Funktion (3.7.4.2, 5.3.4, 12.5), falls vorhanden, aufgerufen, um den durch das Objekt belegten Speicher freizugeben.

Dieser gesamte Vorgang wird als “Stack Unwinding” bezeichnet:

3 Der Vorgang des Aufrufens von Destruktoren für automatische Objekte, die auf dem Pfad von einem Try-Block zu einem Throw-Ausdruck erstellt werden, wird als „Stack Unwinding“ bezeichnet. Wenn ein Destruktor, der beim Entladen des Stapels aufgerufen wird, mit einer Ausnahme beendet wird, wird std::terminate aufgerufen (15.5.1).

Die Stapelabwicklung bildet die Grundlage der weit verbreiteten so genannten Technik Ressourcenerfassung ist Initialisierung (RAII).

Beachten Sie, dass das Stack-Unwinding nicht unbedingt durchgeführt wird, wenn die Ausnahme nicht abgefangen wird. In diesem Fall ist es Sache der Implementierung, ob ein Stack-Unwinding durchgeführt wird. Aber unabhängig davon, ob der Stapel abgewickelt wird oder nicht, in diesem Fall ist Ihnen ein letzter Anruf garantiert std::terminate.

C++11 15.5.1 Die Funktion std::terminate() [except.terminate]

2 … In der Situation, in der kein passender Handler gefunden wird, ist es implementierungsdefiniert, ob der Stack vorher abgewickelt wird oder nicht std::terminate() wird genannt.

Question 3

Ja, Destruktoren werden garantiert beim Entladen des Stapels aufgerufen, einschließlich des Entladens aufgrund einer ausgelösten Ausnahme. Es gibt nur wenige Tricks mit Ausnahmen, die Sie sich merken müssen:

Der Destruktor der Klasse wird nicht aufgerufen, wenn in seinem Konstruktor eine Ausnahme ausgelöst wird.

Die Ausnahme wird automatisch erneut ausgelöst, wenn sie im Catch-Block der Konstruktionsinitialisierungsliste abgefangen wird.

Question 4

Wenn ein Wurf abgefangen wird, werden die CPP-Operationen normalerweise fortgesetzt. Dazu gehören Destruktoren und Stack-Popping. Wenn die Ausnahme jedoch nicht abgefangen wird, ist das Stack-Popping nicht garantiert.

Auch ein bloßer Wurf oder ein leerer Wurf kann von meinem mobilen Compiler nicht abgefangen werden.

Beispiel:

#include <Jav/report.h>

int main()
{
 try { throw; }
 catch(...) { rep("I bet this is not caught"); }
 }