final vs volatile guaranntee w.rt安全发布对象

Question

我的问题是：

1. 项目符号2和3有什么区别？我对volatile方法和final方法在对象的安全发布方面的区别感兴趣。
2. 他在第3点中所说的正确构造对象的final field是什么意思？在开始这些项目符号之前，作者已经提到了他们正在讨论一个正确构造的对象（我假定它不会让this引用转义）。但是他们为什么要提到正确构造的对象？

Answer 1

要点2和要点3的区别是什么？

• volatile基本上意味着对该字段的任何写入都将从其他线程可见。因此，当您将一个字段声明为volatile:private volatile SomeType field；时，可以保证如果构造函数写入该字段:field=new SomeType()；，则随后尝试读取field的其他线程将可见此赋值。
• final具有非常相似的语义：您可以保证，如果您有一个final字段:private final SomeType字段；对该字段的写入（无论是在声明中还是在构造函数中）:field=new SomeType()；如果对象正确发布（例如，this没有转义），则不会被重新写入，并且将被其他线程可见。

很明显，主要的不同之处在于，如果字段是final，则只能赋值一次。

他在第3点中所说的正确构造对象的最终场是什么意思？

例如，如果让this从构造函数转义，那么最终语义提供的保证就会消失：观察线程可能会看到具有默认值的字段（对象为空）。如果对象构造正确，这是不可能发生的。

虚构的示例：

class SomeClass{
    private final SomeType field;

    SomeClass() {
        new Thread(new Runnable() {
            public void run() {
                SomeType copy = field; //copy could be null
                copy.doSomething(); //could throw NullPointerException
            }
        }).start();
        field = new SomeType();
    }
}