¿Cómo funcionan los bloques de inicialización (initialization blocks) en Java y en qué se diferencian de los constructores? ¿En qué casos es justificable el uso de bloques de inicialización?

Respuesta

En Java, los bloques de inicialización (init-blocks) son bloques de código especiales que se ejecutan al crear una instancia del objeto de la clase, pero antes de que se llame al constructor. Hay dos tipos:

• Bloques de inicialización de instancia (sin static): se ejecutan cada vez que se crea un objeto, después de inicializar las variables, pero antes del constructor.
• Bloques de inicialización estática (con el modificador static): se ejecutan una vez al cargar la clase en la JVM.

public class Example {
    static {
        System.out.println("Bloque estático");
    }

    {
        System.out.println("Bloque de instancia");
    }

    public Example() {
        System.out.println("Constructor");
    }
}

Al crear un nuevo objeto, se mostrará:

Bloque estático
Bloque de instancia
Constructor

Usar bloques de inicialización tiene sentido cuando se requiere lógica común para todos los constructores, o una inicialización compleja que no se puede incluir en la declaración de la variable. Sin embargo, en la mayoría de los casos se prefieren los constructores.

Pregunta engañosa

Pregunta: ¿En qué orden se inicializan los campos, bloques estáticos, bloques de instancia y constructores al crear un objeto?

Respuesta:

1. Primero se ejecutan los campos estáticos y los bloques estáticos (una vez al cargar la clase).
2. Luego los campos de instancia y los bloques de instancia (en el orden en que aparecen en la clase).
3. Después se llama al constructor.

Ejemplos de errores reales debido a la falta de conocimiento sobre los matices del tema

---

Historia

En un gran proyecto, surgió un problema con la inicialización: uno de los desarrolladores trasladó la lógica común del constructor al bloque de inicialización, sin considerar el orden de las llamadas. Como resultado, algunos campos no se inicializaron correctamente antes de ejecutar la lógica, lo que causó un NullPointerException al crear el objeto.

---

Historia

La reutilización de un gran bloque de inicialización en una clase abstracta, de la cual heredaban otras clases, provocó que los subclases no sobrescribieran adecuadamente el orden de inicialización. Esto causó un comportamiento inesperado en la herencia y errores relacionados con el orden de las llamadas a bloques de inicialización y constructores.

---

Historia

Un desarrollador supuso que los campos estáticos podían ser reinicializados al crear un nuevo objeto, y añadió lógica de limpieza de recursos al bloque estático. Esto llevó a que los recursos solo se limpiaran una vez al cargar la clase, y toda la gestión de memoria posterior "se rompió". Dado que el bloque estático se llama solo una vez, esto resultó en fugas y una gestión incorrecta de recursos.