Java: Was passiert mit einem Objekt, dessen Konstruktor fehlgeschlagen ist?

Question

Betrachten Sie diesen Code-Schnipsel:

class Test1 { 
    private static Test1 instance; 
    @NonNull private final Date date1; 
    @NonNull private final Date date2; 

    Test1() throws Exception { 

     this.date1 = new Date(); 

     Test1.instance = this; 
     if (true) { 
      throw new Exception(); 
     } 

     this.date2 = new Date(); 
    } 

    public void dump() { 
     System.out.println("date1: " + date1); 
     System.out.println("date2: " + date2); 
    } 

    static void test() { 
     Test1 t1 = null; 
     try { 
      t1 = new Test1(); 
     } catch (Exception e) { 
      e.printStackTrace(); 
     } 
     Test1.instance.dump(); 
     assert t1 == null; 
    } 
} 

Test1 Konstruktor wirft immer eine Ausnahme gleich nach mir zu einem statischen Feld zuweisen. Dieses Feld behält einen Verweis auf ein teilweise initialisiertes Objekt: Ein Objekt, das date2 ist, ist null, obwohl es @NonNull und final deklariert ist.

Die Funktion test() kann nicht direkt eine Referenz auf das generierte t1 erhalten. Nach dem catch Block ist T1 Null. Und noch, Test1.instance ist nur in Ordnung, und Aufruf seiner dump() Funktion zeigt, dass date1 ist initialisiert, aber date2 ist null.

Was geht hier vor? Warum kann ich einen Verweis auf ein Objekt behalten, das sich wirklich in einem unzulässigen Zustand befindet?

EDIT Die Tatsache, dass t1 null ist offensichtlich, ist (im Gegensatz zu In Java what happens when an object fails to be instantiated?). Diese Frage bezieht sich auf den Status des Objekts, das im statischen Feld gespeichert werden konnte.

Answer 1

Betrachten Sie den Bytecode für die folgende Klasse:

class Foo { 
    public static void main(String[] args) { 
    new Foo(); 
    } 
} 

Bytecode:

class Foo { 
    Foo(); 
    Code: 
     0: aload_0 
     1: invokespecial #1     // Method java/lang/Object."<init>":()V 
     4: return 

    public static void main(java.lang.String[]); 
    Code: 
     0: new   #2     // class Foo 
     3: dup 
     4: invokespecial #3     // Method "<init>":()V 
     7: pop 
     8: return 
} 

Sie können von dieser dieser Schöpfung der neuen Instanz und der Aufruf des Konstruktors sehen getrennt sind (Zeilen 0 und 4 in main).

Also, auch wenn es nicht vollständig initialisiert ist, existiert die Instanz; und Sie können einen Verweis auf diese Instanz einer anderen Referenz zuweisen.

Das Zuweisen der Instanz zu einem statischen Feld, bevor es vollständig initialisiert wird, ist ein Beispiel unsafe Publikation, und Sie sollten es (offensichtlich) vermeiden.