Race Condition: Class Initialization Cycle

La asignación de un campo estático a un nuevo objeto llama al constructor incluso si depende de la inicialización de otras variables, lo que puede llevar a que los objetos se inicialicen incorrectamente.

Cuando se inicializa una clase Java, llama a los inicializadores por campos estáticos declarados en la clase antes que al constructor de la clase. Esto significa que se llamará antes a un constructor asignado a esto que a otro código y, si dicho constructor depende de otros campos o variables que se están inicializando, los objetos se inicializarían parcialmente o con valores incorrectos.

Ejemplo 1: la siguiente clase declara un campo estático y lo asigna a un objeto nuevo.

  ...
  public class Box{
    public int area;
    public static final int width = 10;
    public static final Box box = new Box();
    public static final int height = (int) (Math.random() * 100);

    public Box(){
        area = width * height;
    }
    ...
  }
  ...

En el Example 1, el desarrollador espera que box.area sea un entero aleatorio que resulta ser múltiplo de 10, ya que width es igual a 10. Sin embargo, en realidad, siempre tuvo un valor codificado de 0. Se inicializan primero los campos estáticos finales declarados con una constante de tiempo de compilación y, a continuación, se ejecutan en orden. Esto significa que, puesto que height no es una constante de tiempo de compilación, se declara después de la declaración debox y, por consiguiente, se llama al constructor antes de que se inicialice el campo height.

Ejemplo 2: las siguientes clases declaran campos estáticos interdependientes.

  ...
  class Foo{
    public static final int f = Bar.b - 1;
    ...
  }
  ...
  class Bar{
    public static final int b = Foo.f + 1;
    ...
  }

This example is perhaps easier to identify, but would be dependent on which class is loaded first by the JVM. In this example Foo.f could be either -1 or 0, and Bar.b could be either 0 or 1.