做了道選擇題捐韩，有個選項是這樣的
如果在一個線程構(gòu)造了一個不可變對象之后（對象僅包含final字段）诚镰，就可以保證了這個對象被其他線程正確的查看
這個選項是錯誤的
原因在這 http://ifeve.com/jmm-faq-finalright/
一個對象的final字段值是在它的構(gòu)造方法里面設(shè)置的。假設(shè)對象被正確的構(gòu)造了锋玲，一旦對象被構(gòu)造仗哨，在構(gòu)造方法里面設(shè)置給final字段的的值在沒有同步的情況下對所有其他的線程都會可見。另外延旧，引用這些final字段的對象或數(shù)組都將會看到final字段的最新值。
對一個對象來說槽地，被正確的構(gòu)造是什么意思呢迁沫？簡單來說，它意味著這個正在構(gòu)造的對象的引用在構(gòu)造期間沒有被允許逸出捌蚊。（參見安全構(gòu)造技術(shù)）集畅。換句話說，不要讓其他線程在其他地方能夠看見一個構(gòu)造期間的對象引用缅糟。不要指派給一個靜態(tài)字段挺智，不要作為一個listener注冊給其他對象等等。這些操作應(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)該如何使用。一個正在執(zhí)行reader方法的線程保證看到f.x的值為3迫摔，因為它是final字段沐扳。它不保證看到f.y的值為4，因為f.y不是final字段句占。如果FinalFieldExample的構(gòu)造方法像這樣：
public FinalFieldExample() { // bad!
x = 3;
y = 4;
// bad construction - allowing this to escape
global.obj = this;
}
那么沪摄，從global.obj中讀取this的引用線程不會保證讀取到的x的值為3。
能夠看到字段的正確的構(gòu)造值固然不錯纱烘，但是杨拐，如果字段本身就是一個引用，那么擂啥，你還是希望你的代碼能夠看到引用所指向的這個對象（或者數(shù)組）的最新值哄陶。如果你的字段是final字段，那么這是能夠保證的哺壶。因此屋吨，當(dāng)一個final指針指向一個數(shù)組，你不需要擔(dān)心線程能夠看到引用的最新值卻看不到引用所指向的數(shù)組的最新值山宾。重復(fù)一下至扰，這兒的“正確的”的意思是“對象構(gòu)造方法結(jié)尾的最新的值”而不是“最新可用的值”。
現(xiàn)在资锰，在講了如上的這段之后敢课，如果在一個線程構(gòu)造了一個不可變對象之后（對象僅包含final字段），你希望保證這個對象被其他線程正確的查看，你仍然需要使用同步才行直秆。例如濒募，沒有其他的方式可以保證不可變對象的引用將被第二個線程看到。使用final字段的程序應(yīng)該仔細(xì)的調(diào)試圾结，這需要深入而且仔細(xì)的理解并發(fā)在你的代碼中是如何被管理的瑰剃。
如果你使用JNI來改變你的final字段，這方面的行為是沒有定義的疫稿。
