constructores - Excepción en Destructor C++

constructores y destructores c++ pdf

Question

Soy muy consciente del hecho de que no se debe lanzar ninguna excepción en destructor.

Pero como parte de mi control sobre este concepto, codifiqué este ejemplo:

#include <iostream>
using namespace std;
class A {
private:
int i;
public:
A()
{
i = 10;
}
~A()
{
throw 30;
}
};
int main(){
try{
A();
throw 10;
}
catch (int i){
cout << i << endl;
cout << "exception caught" << endl;
}
}

Según entiendo, este programa debe finalizar llamando a std :: terminate (), ya que habrá dos excepciones al mismo tiempo. Pero, este programa está dando el siguiente resultado:

30
exception caught

¿Alguien puede por favor explicarme la lógica detrás de esto sobre por qué esto no termina?

Answer 1

En su ejemplo, A() construye una variable temporal para A y la destruye inmediatamente. Por lo tanto, throw 10; nunca se ejecuta.

La instrucción throw que tiene lugar está en el destructor para A Al ejecutar A::~A() , el programa no se desenrolla (es decir, limpiando el estado de una excepción) en ese punto. Ver "Destructors that throw" por ejemplo.

Answer 2

std::terminate se invocará si se produce una excepción durante el desenrollado de la pila . Eso significa que si se invoca una excepción mientras se maneja otra excepción , se llamará a std::terminate .

En su ejemplo, eso no sucede - A(); construirá y destruirá inmediatamente una instancia de A El throw 30 será atrapado correctamente.

Cambiando tu código a:

int main(){
try{
A a; // begin `a` lifetime
throw 10; // | throw #0
// | end `a` lifetime
// throw #1
}
catch(int i){
cout<<i<<endl;
cout<<"exception caught"<<endl;
}
}

garantizará que std::terminate se llamará. En este caso, a se destruirá y lanzará mientras se está manejando otra excepción .

ejemplo de coliru en vivo

Información Adicional:

• cppreference/Destructors/Exceptions

• : "arrojando excepciones desde un destructor"

Tenga en cuenta que en C ++ 11 y superior , su fragmento de código llamará a std::terminate y le proporcionará una advertencia:

main.cpp: en destructor ''A :: ~ A ()'':

main.cpp: 16: 15: warning: throw siempre llamará a terminate () [-Wterminate]

 throw 30;
^~

main.cpp: 16: 15: nota: en C ++ 11 los destructores están por defecto en noexcept

finalizar llamada después de lanzar una instancia de ''int''

bash: línea 7: 1505 Aborted (core dumped) ./a.out

Como se ve en la salida del compilador, dado que los destructores C ++ 11 son implícitamente noexcept(true) . Si desea evitar este comportamiento, simplemente puede marcarlos como noexcept(false) . Ejemplo:

~A() noexcept(false)
{
throw 30;
}

ejemplo en vivo en coliru