Когда Java возражает, становятся непустыми во время конструкции?

someObject станет не -null в какой-то момент во время конструкции. Как правило, существует два случая:

1. Оптимизатор встроил конструктора
2. Конструктор не встраивается.

В первом случае VM выполнит этот код (псевдокод):

someObject = malloc(SomeClass.size);
someObject.field = ...
....

Так в этом случае, someObject не null и это указывает на память, которая не составляет инициализированных 100%, а именно, не, весь код конструктора был выполнен! Поэтому перепроверяемая блокировка не работает.

Во втором случае будет работать код от конструктора, ссылка будет пасоваться назад (точно так же, как в нормальном вызове метода), и someObject будет установлен на значение refernce, в конце концов, и каждый код init работал.

Проблема состоит в том, что нет никакого способа сказать Java не присваиваться someObject рано. Например, Вы могли попробовать:

SomeClass tmp = new SomeClass();
someObject = tmp;

Но так как tmp не используется, оптимизатору позволяют проигнорировать его, таким образом, он произвел бы тот же код как выше.

Таким образом, это поведение состоит в том, чтобы позволить оптимизатору производить более быстрый код, но это может укусить Вас злобно при написании многопоточного кода. В единственном потоковом коде это обычно - не проблема, так как никакой код не выполнен, пока конструктор не заканчивает.

[РЕДАКТИРОВАНИЕ] Здесь является хорошей статьей, которая объясняет, что происходит: http://www.ibm.com/developerworks/java/library/j-dcl.html

PS: книга "Эффективный Java, Второй Выпуск" Joshua Bloch содержит решение для Java 5 и:

private volatile SomeClass field;
public SomeClass getField () {
    SomeClass result = field;
    if (result == null) { // First check, no locking
        synchronized(this) {
            result = field;
            if (result == null) { // second check with locking
                field = result = new SomeClass ();
            }
        }
    }
    return result;
}

Выглядит странным, но должен работать над каждым Java VM. Обратите внимание, что каждый бит важен; если Вы опускаете двойное, присваиваются, Вы или получите плохую производительность или частично инициализированные объекты. Для полного объяснения купите книгу.

someObject будет нулевой указатель до тех пор, пока ему не присвоят значение указателя от конструктора типа. Так как присвоение справа налево, для другого потока возможно проверить someObject в то время как конструктор все еще работает. Это было бы до присвоения указателя на переменную так someObject все еще было бы пустым.

От другого потока Ваш объект будет все еще выглядеть пустым, пока конструктор не закончил выполняться. Поэтому, если конструкция завершается исключением, ссылка останется пустой.

Object o = null;
try {
    o = new CtorTest();
} catch (Exception e) {
    assert(o == null); // i will be null
}

где

class CtorTest {
    public CtorTest() {
        throw new RuntimeException("Ctor exception.");
    }
}

Удостоверьтесь, что синхронизировались на другом объекте, не создаваемом том.

Вот некоторый тестовый код, который показывает, что объект является несуществующим, пока конструктор не закончил работать:

public class Test {

  private static SlowlyConstructed slowlyConstructed = null;

  public static void main(String[] args) {
    Thread constructor = new Thread() {
      public void run() {
        Test.slowlyConstructed = new SlowlyConstructed();
      }
    };
    Thread checker = new Thread() {
      public void run() {
        for(int i = 0; i < 10; i++) {
          System.out.println(Test.slowlyConstructed);
          try { Thread.sleep(1000); }
          catch(Exception e) {}
        }
      }
    };

    checker.start();
    constructor.start();
  }

  private static class SlowlyConstructed {
    public String s1 = "s1 is unset";
    public String s2 = "s2 is unset";

    public SlowlyConstructed() {
      System.out.println("Slow constructor has started");
      s1 = "s1 is set";
      try { Thread.sleep(5000); }
      catch (Exception e) {}
      s2 = "s2 is set";
      System.out.println("Slow constructor has finished");
    }

    public String toString() {
      return s1 + ", " + s2;
    }
  }
}

Вывод:

null
Slow constructor has started
null
null
null
null
null
Slow constructor has finished
s1 is set, s2 is set
s1 is set, s2 is set
s1 is set, s2 is set
s1 is set, s2 is set

Для Вашего первого примера: someObject становится непустым ПОСЛЕ ТОГО, КАК конструктор завершился. Если бы Вы проверили бы от другого потока, someObject стал бы непустым после того, как конструктор закончил. Остерегайтесь, Вы никогда не должны получать доступ к несинхронизируемым объектам от различных потоков, таким образом, Ваш пример не должен быть реализован тот путь в реальном коде.

Для второго примера someObject никогда не был бы пустым, поскольку он создается ПОСЛЕ ТОГО, КАК сам SomeClass создается, и someObject является created&initialized с недавно созданным объектом. То же здесь для потоков: не получайте доступ к этой переменной от различных потоков без синхронизации!