La memoria viene rilasciata quando lancio un'eccezione?

Question

Stavo discutendo con alcune università su cosa succede quando si lancia un'eccezione in una classe allocata dinamicamente. So che viene chiamato malloc, e quindi il costruttore della classe. Il costruttore non ritorna mai, quindi cosa succede al malloc?

Si consideri il seguente

class B 
{ 
    public: 
     B() 
     { 
      cout << "B::B()" << endl; 
      throw "B::exception"; 
     } 

     ~B() 
     { 
      cout << "B::~B()" << endl;   
     } 
}; 

void main() 
{ 
    B *o = 0; 
    try 
    { 
     o = new B; 
    } 

    catch(const char *) 
    { 
    cout << "ouch!" << endl; 
    } 
} 

Cosa accade alla memoria malloced 'O', ci si perde? Il CRT cattura l'eccezione del costruttore e rilascia la memoria?

Acclamazioni Rich

Answer 1

Una chiamata

new B(); 

risolve in due cose:

• ripartizione con un operatore new() (sia globale uno o uno specifico classe, potenzialmente un posizionamento unico con la sintassi new (xxx) B())
• chiamando il costruttore.

Se il costruttore lancia, viene richiamato l'operatore corrispondente. Il caso in cui l'eliminazione corrispondente è un posizionamento uno è l'unico caso in cui viene chiamato un operatore di eliminazione del posizionamento senza la sintassi :: operator delete(). delete x; o delete[] x; non chiamare gli operatori di eliminazione del posizionamento e non esiste una sintassi simile al posizionamento nuovo per chiamarli.

Si noti che mentre si chiama il distruttore di B non, i sottoprogetti già costruiti (membri o B e classi base di B) verranno distrutti prima della cancellazione dall'operatore all'operatore. Il costruttore che non è chiamato è quello per B.

Answer 2

Quando viene generata un'eccezione dal costruttore, la memoria allocata dalla nuova viene rilasciato, ma il distruttore di classe B non è chiamato.

Answer 3

In questo caso, l'oggetto, o, non viene effettivamente creato e la memoria allocata da nuovo viene liberata. Come tale, il distruttore non viene chiamato. Quindi non c'è bisogno di chiamare:

delete o; 

Un design pattern interessante è RAII - Risorsa acquisizione è di inizializzazione. In questo modello, si utilizza un costruttore per incapsulare l'acquisizione di una risorsa e rilasciare la risorsa nel distruttore. Se la risorsa non può essere acquisita, si introduce il costruttore - proprio come il tuo esempio. Quindi se hai un oggetto valido, hai la risorsa.

Se l'oggetto è stato creato, la risorsa è stata acquisita correttamente. Ciò significa che per la vita dell'oggetto, tu possiedi la risorsa. Quando l'oggetto viene cancellato, la risorsa viene rilasciata. Se l'oggetto non viene mai costruito, non hai mai acquisito la risorsa. Vedi Wikipedia:

http://en.wikipedia.org/wiki/Resource_Acquisition_Is_Initialization

Answer 4

Dalla C++ 2003 Standard 5.3.4/17 - Nuovo:

Se una parte dell'inizializzazione scopo sopra descritto termina lanciando una funzione deallocazione adatto eccezione e può essere trovato, la funzione deallocazione è chiamato a liberare la memoria in cui è stato essendo l'oggetto costruito, dopo il quale l'eccezione continua a propagarsi nel contesto della nuova espressione. Se non è possibile trovare alcuna funzione di deallocazione di corrispondenza non ambigua, la propagazione dell'eccezione non causa la liberazione della memoria dell'oggetto. [Nota: questo è appropriato quando la funzione di allocazione chiamata non alloca memoria; in caso contrario, è probabile che si verifichi una perdita di memoria. ]

Quindi non può o non può essere una perdita - dipende dal fatto che un deallocatore appropriata può essere trovata (che normalmente è il caso, a meno che operator new/delete sono stato uno scostamento) .Nel caso in cui ci sia un adatto deallocator, il compilatore è responsabile per il cablaggio in una chiamata ad esso se il costruttore lancia.

Si noti che questo è più o meno estraneo a ciò che accade alle risorse acquisite nel costruttore, che è il mio primo tentativo di risposta discusso - ed è una domanda che viene discussa in molte domande frequenti, articoli e post.