Perder tipo de excepción cuando Regeneración de una excepción de un bloque catch

Question

Hoy he encontrado un error en un bloque catch:

catch (const exception& e){ 
    // do something 
    // throw e; <-- bug! 
    throw; // <-- right thing to do 
} 

Básicamente si volver a lanzar la excepción eexplícitamente, consigo un nuevo std::exception reconstruido, en De hecho, el mensaje del método what() fue el predeterminado std::string, en lugar de mi mensaje personalizado.

¿Cuál es la explicación? Pensé que throw; es solo una abreviatura de throw ExceptionJustCaught;.

Answer 1

Los objetos de excepción son un poco especiales. Están construidos en un lugar especial en la memoria, y su vida está determinada por el bloque de captura en el que están atrapados.

Si dice throw e;, la vida útil de la excepción original termina al final del bloque de captura, y usted está lanzando una nueva excepción copiando e, produciendo así una clásica rebanar problema: Desde e es una referencia polimórfica a un objeto cuyo tipo dinámico es generalmente más derivado que std::exception, termina seccionando la parte derivada del objeto.

Por el contrario, throw; es una declaración especial que reactiva la excepción original, por lo que ya no es capturado, y su vida útil hace no extremo en el extremo del bloque más. De hecho, si captura por referencia no constante, puede seguir modificando el objeto de excepción y volver a lanzar y así comunicar un cambio de estado en los bloques de captura inferiores. ¡Pero tenga en cuenta que volver a lanzar es diferente de lanzar una nueva excepción!

Answer 2

Sólo un throw arroja la excepción actual por referencia. throw e copy crea una nueva excepción para lanzar. Esta es la misma manera en que funciona el return.