necesita explicación con respecto destrucción doble de excepción objetos

Question

En su penetrante trabajo,
Error and Exception Handling,
@Dave Abrahams dice:

Haga su clase de excepción inmune a doble destrucción si es posible . Desafortunadamente, varios compiladores populares causan ocasionalmente que los objetos de excepción se destruyan dos veces. Si puede hacer que eso no sea inofensivo (por ejemplo, poniendo a cero los punteros borrados), su código será más robusto.

no soy capaz de entender esta directriz particular, puede alguien:

1. Sírvanse proporcionar un ejemplo de código de este doble escenario de destrucción &
2. ¿Cuál es la mejor manera de implementar una clase de excepción personalizada ¿para evitar esto?

Answer 1

Como @Tony dijo, esta guía fue pensada como una protección contra los errores del compilador. Esta guía se remonta a 2001 aproximadamente, cuando el soporte de excepciones probablemente todavía era un poco inestable. Desde entonces, creo/espero que la mayoría de los compiladores hayan solucionado este error, por lo que la guía podría no ser muy relevante.

FWIW, esta guía se ha eliminado de the CERT coding practices. En la discusión en esta página, se plantea un punto interesante: la destrucción de un objeto dos veces es UB de todos modos, así que lo que sea que hagas para manejar eso en tus clases nunca hará que tu programa sea completamente predecible.

Sin embargo, si realmente desea que su código sea portable entre los compiladores (incluidas las versiones antiguas), probablemente deba tener en cuenta todos estos pequeños fallos técnicos.Por ejemplo, Boost realiza mucho trabajo para solucionar los errores del compilador; simplemente podrían escribir código estándar y diferir la responsabilidad de las fallas en las implementaciones, pero eso dificultaría la adopción de sus bibliotecas.

Si necesita poner el mismo cuidado al escribir su código depende de sus requisitos, y básicamente se reduce a esta pregunta: ¿está apoyando docenas de compiladores realmente vale la pena la cantidad de trabajo que implica?

Answer 2

Para citar el artículo por @chrisaycock:

"¿Por qué destruir el doble"? ¡Debido a errores de compilación, es por eso! Este es un error , los compiladores no deberían hacer esto. Pero lo hacen. Trabajé en un proyecto donde me piquen al usar el compilador Studio8 de Sun. I creó un objeto ostringstream en una cláusula de captura y lo encontró destruido dos veces. Para arreglarlo, lo moví a antes de intentarlo, entonces funcionó . Este tipo de error no ocurre muy a menudo. La mayoría de las veces crear objetos en la cláusula de captura estaba bien, pero es algo de lo que debe estar informado el .

Saludos,

Andrew Marlow

Answer 3

No hay escenario en el estándar, donde un objeto puede ser destruido dos veces. Cualquier instancia en que esto ocurra es un error en nombre del usuario o, cuando el compilador destruye el objeto, como una excepción, el error del compilador. Nunca antes había escuchado sobre este error en ningún compilador importante, y no veo razón para creer que sea problemático para cualquiera que escriba código C++ en general.