Race Condition: Class Initialization Cycle

Atribuir um campo estático a um novo objeto chama o construtor mesmo que ele seja dependente da inicialização de outras variáveis, o que pode fazer com que os objetos sejam inicializados incorretamente.

Quando uma classe Java é inicializada, ele chama os inicializadores para campos estáticos declarados na classe antes do construtor da classe. Isso significa que um construtor atribuído a isso será chamado antes do outro código e, se esse construtor for dependente da inicialização de outros campos ou variáveis, isso poderá resultar em objetos parcialmente inicializados ou em objetos inicializados com valores incorretos.

Exemplo 1: A classe a seguir declara um campo estático e o atribui a um novo objeto.

  ...
  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;
    }
    ...
  }
  ...

No Example 1, o desenvolvedor esperaria que box.area fosse um número inteiro aleatório que, por acaso, é um múltiplo de 10, já que width é igual a 10. Porém, na realidade, isso sempre terá um valor inserido em código fixo de 0. Campos estáticos finais declarados com uma constante em tempo de compilação são inicializados primeiros e depois cada um é executado em ordem. Isso significa que, como height não é uma constante em tempo de compilação, ela é declarada após a declaração de box e, portanto, o construtor é chamado antes da inicialização do campo height.

Exemplo 2: As seguintes classes declaram campos estáticos que dependem uns dos outros.

  ...
  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.