一個詭異的"可見性"問題

之前介紹過可見性的特性，最近做測試的時候發現了一個很詭異的問題，下面看看這三個例子。

test1：

test1這個例子加了volatile，是以程式正确退出輸出test1 end

test2：

test2這個例子沒有加volatile，程式也正常退出并輸出一堆0并輸出了test2 end，這是為什麼呢？沒有加volatile為什麼也有可見性？看起來是很詭異的問題，問題是在while裡面加了一行System..輸出問題，打開源碼看println方法裡面加了synchronized同步塊，正是因為這個同步塊保證了裡面變量x的可見性，這個詭異的問題也就解開了。

test3：

test3這個例子即沒加volatile，也沒有在while裡面加System..輸出語句，是以線程對變量n3的修改對主線程不可見，程式一直循環，沒有輸出結果。