Excepciones en constructores

Question

En C++, la duración de un objeto comienza cuando el constructor finaliza correctamente. Dentro del constructor, el objeto aún no existe.

P: ¿Qué significa emitir una excepción de un constructor?

A: Significa que la construcción ha fallado, el objeto nunca existió, su vida útil nunca comenzó. [source]

Mi pregunta es: ¿Lo mismo vale para Java? ¿Qué sucede, por ejemplo, si entrego this a otro objeto y luego falla mi constructor?

Foo() 
{ 
    Bar.remember(this); 
    throw new IllegalStateException(); 
} 

¿Está bien definido? ¿Tiene Bar ahora una referencia a un objeto no?

Answer 1

El objeto existe, pero no se ha inicializado correctamente.

Esto puede ocurrir cuando this gotea durante la construcción (no solo cuando se lanza una excepción).

Es una situación muy problemática, porque algunas garantías comúnmente asumidas no se cumplen en esta situación (por ejemplo, los campos final podrían cambiar su valor durante la construcción).

Por lo tanto, debe evitar fugas this en el constructor.

This IBM developerWorks article describe las precauciones que hay que tomar al construir objetos y el razonamiento detrás de esas precauciones. Mientras que el artículo analiza el tema a la luz de varios subprocesos, puede tener problemas similares en un entorno de subproceso único cuando el código desconocido/no confiable recibe una referencia al this durante la construcción.

Answer 2

Nunca debe abrir recursos como un escritor de archivos en su constructor. Cree un método init en su lugar y hágalo desde allí. Entonces estás a salvo.

Answer 3

Este código no es una excepción segura y tampoco sería una excepción segura en C++. Es el mismo error independientemente del idioma que use.