この静的な最終変数は、単一スレッドセーフではなぜですか？このサイトを読ん

Question

は、私がthisを見つけた：

クラスが実際に使用されたときに[ザ・]ラインprivate static final Foo INSTANCE = new Foo();のみが実行され、これは怠惰なインスタンス化の世話をする、そしてそれは、スレッドセーフであることが保証されています。

これはスレッドセーフであることが保証されるのはなぜですか？このフィールドはの最終なので、それとも何か他の理由で？

Answer 1

最終的なので、はい。最終変数には特別なスレッドセーフティセマンティクスがあります。他のスレッドは、少なくともコンストラクターが終了したときの状態で最終フィールドを確認することが保証されています。

これはJLS 17.5ですが、言語は少し濃くなっています。これらのセマンティクスはJava 1.5で、特にJSR-133によって導入されました。 JSR-133の非スペックの議論とそのさまざまな意味については、このページを参照してください。

コンストラクタの後でインスタンスを変更すると、でなく、がスレッドセーフである必要があります。その場合、起こりうるエッジを確実にするために、通常のスレッドの安全上の注意を守る必要があります。

1つのスレッドだけがクラスの初期化を行うという事実は、ではなく、ここではです。クラスが1つのスレッドでのみ初期化されていることは事実ですが、そのスレッド間で特定の発生前エッジが確立されているとは思われません（他のスレッドは再初期化を行わないクラス）。したがって、finalキーワードがなければ、別のスレッドはオブジェクトの部分的に構築されたインスタンスを見ることができます。 JMMが定義する特定の先行エッジはJLS 17.4.5にあり、クラスの初期化はそこにリストされていません。

Answer 2

どのクラスの静的初期化ブロックもシングルスレッドであることが保証されています。単純なシングルトンは、これも安全でクラスがレイジー初期化スレッドです列挙型に

enum Singleton { 
    INSTANCE; 
} 

を使用することです。

Answer 3

JVMは静的イニシャライザが単一のスレッドで実行されることを保証するため、スレッドセーフであることが保証されています。

Fooのインスタンスが内部的にスレッドセーフであることを意味するわけではありません。つまり、Fooのコンストラクタがこの特定のコードパスを介して1つのスレッドで1回だけ呼び出されることが保証されていることを意味します。

Answer 4

クラスのコンストラクタおよび静的/インスタンス初期化子をアトミックに実行されることが保証とprivate static final FOO INSTANCE = new FOO;を

private static final FOO INSTANCE; 

static{ 
    INSTANCE = new FOO(); 
} 

と同等であるので、この場合は、上記のカテゴリに入るされています。