做了道選擇題，有個(gè)選項(xiàng)是這樣的

如果在一個(gè)線程構(gòu)造了一個(gè)不可變對(duì)象之后（對(duì)象僅包含final字段），就可以保證了這個(gè)對(duì)象被其他線程正確的查看

這個(gè)選項(xiàng)是錯(cuò)誤的

原因在這 http://ifeve.com/jmm-faq-finalright/

一個(gè)對(duì)象的final字段值是在它的構(gòu)造方法里面設(shè)置的。假設(shè)對(duì)象被正確的構(gòu)造了，一旦對(duì)象被構(gòu)造，在構(gòu)造方法里面設(shè)置給final字段的的值在沒有同步的情況下對(duì)所有其他的線程都會(huì)可見。另外，引用這些final字段的對(duì)象或數(shù)組都將會(huì)看到final字段的最新值。

對(duì)一個(gè)對(duì)象來說，被正確的構(gòu)造是什么意思呢？簡(jiǎn)單來說，它意味著這個(gè)正在構(gòu)造的對(duì)象的引用在構(gòu)造期間沒有被允許逸出。（參見安全構(gòu)造技術(shù)）。換句話說，不要讓其他線程在其他地方能夠看見一個(gè)構(gòu)造期間的對(duì)象引用。不要指派給一個(gè)靜態(tài)字段，不要作為一個(gè)listener注冊(cè)給其他對(duì)象等等。這些操作應(yīng)該在構(gòu)造方法之后完成，而不是構(gòu)造方法中來完成。

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;
      int j = f.y;
    }
  }
}```

上面的類展示了final字段應(yīng)該如何使用。一個(gè)正在執(zhí)行reader方法的線程保證看到f.x的值為3，因?yàn)樗莊inal字段。它不保證看到f.y的值為4，因?yàn)閒.y不是final字段。如果FinalFieldExample的構(gòu)造方法像這樣：

public FinalFieldExample() { // bad!
x = 3;
y = 4;
// bad construction - allowing this to escape
global.obj = this;
}

那么，從global.obj中讀取this的引用線程不會(huì)保證讀取到的x的值為3。

能夠看到字段的正確的構(gòu)造值固然不錯(cuò)，但是，如果字段本身就是一個(gè)引用，那么，你還是希望你的代碼能夠看到引用所指向的這個(gè)對(duì)象（或者數(shù)組）的最新值。如果你的字段是final字段，那么這是能夠保證的。因此，當(dāng)一個(gè)final指針指向一個(gè)數(shù)組，你不需要擔(dān)心線程能夠看到引用的最新值卻看不到引用所指向的數(shù)組的最新值。重復(fù)一下，這兒的“正確的”的意思是“對(duì)象構(gòu)造方法結(jié)尾的最新的值”而不是“最新可用的值”。

現(xiàn)在，在講了如上的這段之后，如果在一個(gè)線程構(gòu)造了一個(gè)不可變對(duì)象之后（對(duì)象僅包含final字段），你希望保證這個(gè)對(duì)象被其他線程正確的查看，你仍然需要使用同步才行。例如，沒有其他的方式可以保證不可變對(duì)象的引用將被第二個(gè)線程看到。使用final字段的程序應(yīng)該仔細(xì)的調(diào)試，這需要深入而且仔細(xì)的理解并發(fā)在你的代碼中是如何被管理的。

如果你使用JNI來改變你的final字段，這方面的行為是沒有定義的。