Costruttore come blocco try di una funzione - Programma di interruzione di eccezioni

Question

Non sono sicuro se questo è un problema con il compilatore o se sto facendo qualcosa di sbagliato. Sto usando il compilatore di Visual Studio 2013.

Ho una classe in cui ho bisogno di acquisire una quantità significativa di risorse nel mio elenco di inizializzatore costruttore la maggior parte delle quali può generare un'eccezione. Ho concluso l'elenco di inizializzazione dei membri in un blocco di prova della funzione e ho rilevato l'eccezione lì. Ma il mio programma abortisce anche se la clausola catch non rigenera l'eccezione. Non sono autorizzato a pubblicare il codice effettivo. Quindi ho riprodotto il problema con questo codice demo equivalente. Qualcuno può aiutarmi ad aiutarmi?

#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; 
} 

Durante l'esecuzione di questo codice viene visualizzato un avviso di Windows "abort() è stato chiamato". Quindi immagino che il sistema lo tratti come un'eccezione non rilevata e che chiama terminate().

D'altra parte se avvolgo la costruzione dell'oggetto in main() in un blocco try-catch, l'eccezione viene rilevata correttamente e il programma termina normalmente.

Qualcuno può dirmi se sto facendo qualcosa di sbagliato qui?

Answer 1

C'è un GotW rilevante

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

In sostanza, anche se non si butta nel blocco catch, l'eccezione verrà automaticamente rilanciati

Se il corpo del gestore conteneva l'affermazione " gettare;" quindi il blocco catch riporterà ovviamente qualsiasi eccezione A :: A() o B :: B() ha emesso . Ciò che è meno ovvio, ma chiaramente indicato nello standard, è che se il blocco catch non gira (o rilancia l'eccezione originale o lancia qualcosa di nuovo), e il controllo raggiunge la fine del blocco di cattura di un costruttore o distruttore , quindi l'eccezione originale viene automaticamente ripristinata.

Answer 2

Questo è un comportamento normale secondo the cppreference.com documentation for function-try blocks: un cosiddetto function-try-block su un costruttore o distruttore deve gettare dalla sua cattura-clausola o altro v'è una rethrow implicita dopo la cattura-clausola.

Questo ha perfettamente senso: l'oggetto A non è stato costruito correttamente e quindi non è in uno stato adatto all'uso: deve generare un'eccezione. È necessario verificare se la costruzione è riuscita nel luogo in cui l'oggetto è costruito, vale a dire nel caso del proprio esempio in main().

Answer 3

Non è possibile rilevare eccezioni nel costruttore function-try-block.

n3376 15,2/15

L'eccezione attualmente gestita viene rilanciati se il controllo raggiunge la fine di un gestore della funzione-provare-a blocchi di un costruttore o distruttore.

Si dovrebbe catturarlo nel luogo di creazione dell'oggetto.

Answer 4

vi consiglio di leggere l'articolo: "GotW # 66 Fallimenti Constructor" sul sito: http://gotw.ca/gotw/066.htm