你们每个人都知道 JMM的 这一功能，有时对对象的引用可能 在 此对象的构造函数完成 之前 获得值。

在JLS7中，第4页。17.5

最终的字段语义
我们还可以阅读：

final字段的使用模型很简单：final在对象的构造函数中设置对象的字段；
并且不要在对象的构造函数完成之前，在另一个线程可以看到它的地方编写对正在构造的对象的引用
。如果执行此操作，则当另一个线程看到该对象时，该线程将始终看到该对象的final字段的正确构造版本。(1)

在紧接着的JLS中，下面的示例演示了如何确保 不最终 字段的初始化（示例17.5-1.1） (2)：

class FinalFieldExample { 
    final int x; 
    int y;

    static FinalFieldExample f;

    public FinalFieldExample() { 
        x = 3; 
        y = 4; 
    }

    static void writer() { 
        f = new FinalFieldExample(); 
    }

    static void reader() { 
       if (f != null) { 
           int i = f.x; // guaranteed to see 3 
           int j = f.y; // could see 0 
       } 
    } 
}

此外，格雷先生在这个问题解答中写道：

如果将字段标记为，final则保证构造函数作为构造函数的一部分完成初始化。否则，在使用锁之前，您将必须同步锁。(3)

---

因此，问题是：

1）根据声明（1），我们应该避免在 不可变 对象的构造函数完成之前共享对 不可变 对象的引用

2）根据JLS给出的示例（2）和结论（3），看来，我们可以在 不可变 对象的构造函数完成 之前 （即，当其所有字段都 为时）
安全地共享对 不可变 对象的引用final。

没有矛盾吗？

---

EDIT-1 ：我的意思是。如果我们以这种方式在示例中修改类，则该字段y也将是final（2）：

class FinalFieldExample { 
    final int x; 
    final int y; 
    ...

因此在reader()方法上将保证：

if (f != null) { 
int i = f.x; // guaranteed to see 3
int j = f.y; // guaranteed to see 4, isn't it???

如果是这样，为什么f当对象的所有字段f都是final 时，为什么要避免在对象的构造函数完成之前编写对对象的引用（根据（1））？

  public class FinalFieldExample {
      public FinalFieldExample() {
         ...
         // very bad idea because the constructor may not have finished
         FinalFieldExample.f = this;
         ...
      }
  }

  // obviously we should implement Runnable here
  public class MyThread extends Thread {
      public MyThread() {
         ...
         // very bad idea because the constructor may not have finished
         this.start();
      }
  }

static void writer() {
    f = new FinalFieldExample();
}