Konstruktor als Funktion try Block - Ausnahme bricht Programm ab

Question

Ich bin mir nicht sicher, ob dies ein Problem mit dem Compiler ist oder ob ich etwas falsch mache. Ich verwende den Visual Studio 2013-Compiler.

Ich habe eine Klasse, wo ich erhebliche Menge an Ressourcen in meinem Konstruktor Initialisierungsliste erwerben müssen, von denen die meisten eine Ausnahme auslösen können. Ich habe die Member-Initialisierer-Liste in einem Funktionstry-Block eingepackt und dort die Ausnahme abgefangen. Aber mein Programm bricht immer noch ab, obwohl die catch-Klausel die Ausnahme nicht erneut auslöst. Ich darf den eigentlichen Code nicht posten. Also habe ich das Problem mit diesem äquivalenten Demo-Code reproduziert. Kann mir bitte jemand helfen?

#include <iostream> 
using namespace std; 
class A{ 
public: 
    A() try : i{ 0 }{ throw 5; } 
    catch (...){ cout << "Exception" << endl; } 
private: 
    int i; 
}; 


int main(){ 
    A obj; 
} 

Bei der Ausführung dieses Codes bekomme ich einen Windows-Alarm "abort() wurde aufgerufen". Ich nehme an, dass das System dies als eine nicht abgefangene Ausnahme behandelt und terminate() aufruft.

Auf der anderen Seite, wenn ich die Konstruktion des Objekts in main() in einem try-catch-Block wickeln, dann wird die Ausnahme richtig gefangen und das Programm wird normal beendet.

Kann mir bitte jemand sagen, ob ich hier etwas falsch mache?

Answer 1

Es gibt eine relevante GOTW

http://gotw.ca/gotw/066.htm

Grundsätzlich auch wenn Sie nicht in Ihrem Catch-Block werfen Sie, wird die Ausnahme automatisch

Wenn der Handler Körper enthalten ist die Aussage "erneut ausgelöst werden werfen;" dann würde der Catch Block offensichtlich die Ausnahme erneut auslösen, die A :: A() oder B :: B() ausgesendet hatte. Was weniger offensichtlich, aber klar im Standard angegeben ist, ist , wenn der catch-Block nicht wirft (entweder die ursprüngliche Ausnahme erneut auslösen oder etwas Neues werfen), und die Steuerung erreicht das Ende des catch-Block eines Konstruktors oder Destruktors , dann wird die ursprüngliche Ausnahme automatisch erneut ausgelöst.

Answer 2

Dies ist ein normales Verhalten nach the cppreference.com documentation for function-try blocks: eine sogenannte Funktion-try-Block auf einem Konstruktor oder Destruktor muss von seinem Fang-Klausel werfen oder sonst gibt es eine implizite rethrow nach dem Fang-Klausel.

Das macht durchaus Sinn: das Objekt A ist nicht richtig aufgebaut und daher nicht in einem gebrauchstauglichen Zustand: es muss eine Ausnahme auslösen. Sie müssen sicherstellen, dass die Konstruktion an der Stelle erfolgreich war, an der das Objekt erstellt wurde, d. H. Im Fall Ihres Beispiels in main().

Answer 3

Ausnahme kann nicht im Konstruktor function-try-block abgefangen werden.

n3376 15,2/15

Die aktuell behandelte Ausnahme erneut ausgelöst wird, wenn die Steuerung das Ende eines Handlers der Funktion-try-Block von einem Konstruktor oder destructor erreicht.

Sie sollten es in Objekt Erstellungsort fangen.

Answer 4

Ich schlage vor, Sie lesen den Artikel: "GOTW # 66 Constructor Failures" auf der Seite: http://gotw.ca/gotw/066.htm