Java：コンストラクタが失敗したオブジェクトはどうなりますか？

Question

はこのスニペットを考えてみましょう：

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のコンストラクタは常に正しい静的フィールドに自分自身を割り当てた後、例外がスローされます。そのフィールドは部分的に初期化されたオブジェクトへの参照を保持します。date2フィールドはnullですが、@NonNullとfinalと宣言されています。

test()関数は、生成されたt1への参照を直接取得できません。 catchブロックの後、t1はNULLです。 さらに、Test1.instanceは問題ありません。dump()関数を呼び出すと、date1が初期化されますが、date2はnullになります。

ここでは何が起こっていますか？なぜ本当に違法な状態にあるオブジェクトへの参照を保持できますか？ t1がnullであるという事実は、（In Java what happens when an object fails to be instantiated?とは違って）明らかにされていることを

EDIT 。この質問は、静的フィールドに格納されたオブジェクトの状態に関するものです。

Answer 1

は、以下のクラスのバイトコードを考えてみましょう：

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

バイトコード：あなたはこのことから、新しいインスタンスの作成とコンストラクタの呼び出しを見ることができます

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 
} 

が分離されている（ライン0 mainの4）。

したがって、完全に初期化されていない場合でも、インスタンスは存在します。そのインスタンスへの参照を別の参照に割り当てることができます。

完全初期化前にインスタンスを静的フィールドに割り当てることは、安全でない公開の例であり、（明らかに）回避する必要があります。