引用类型易变-是否总是避免由于JMM导致发布引用问题？

Question

假设此类：

public class AmIThreadSafe {

    private int a;
    private int b;

    AmIThreadSafe(int a, int b) {
        this.a = a;
        this.b = b;
    }
}

假设（引用）转义后volatile，某些线程（导致竞争状态）可以访问实例对此类的引用（声明为）this：

volatile AmIThreadSafe instance = new AmIThreadSafe(1,2);

在这里，我确定分配instance引用的事实是 在 线程读取 之前发生的 。

但是AmIThreadSafe's领域呢？

外部volatile关键字是否还暗示happens- before与a和b字段的关系？还是由于构造函数期间潜在的语句重新排序而导致任何线程看到过时的值（0在这种情况下，因为是默认值int）而导致结束？

换句话说，我是否应该声明a和（b final或）volatile防止JMM出现任何意外，还是仅volatile在实例的引用上表明足够？

---------------- 更新后的帖子-好的答案： --------------------------- –

下一篇文章通过其示例确认了我的情况，a并且b免受JMM优化的影响，以防止永久性 事前发生的 关系。

http://jeremymanson.blogspot.fr/2008/11/what-volatile-means-in-
java.html

Answer 1

声明instance为as volatile不会使其成为字段volatile，但是，如果我正确理解了您的问题，那么-
是的，就您的情况而言就足够了。

根据规范的第17.4.5节：

• 在另一个线程中 进行 任何后续读取 之前，volatile将在一个线程中进行写入。 __volatile
• 同一线程中的语句具有您所期望 的事前发生 关系。
• __关系 发生 传递 之前发生 。

因此，如果一个线程认为instance已初始化，则在该instance 事件之前 对其进行初始化，而在
之前进行instance字段的初始化，因此该线程将 在 此 之前 将其instance字段视为已初始化。