java多線程04----------final和static
final和static關鍵字
final關鍵字
1.final關鍵字在單線程中的特點:
1)final修飾的靜態成員:必須在進行顯示初始化或靜態代碼塊賦值,並且僅能賦值一次。
2)final修飾的類成員變量,可以在三個地方進行賦值:顯示初始化、構造代碼塊和構造方法,並且僅能賦值一次。
3)final修飾的局部變量,必須在使用之前進行顯示初始化(並不一定要在定義是賦值),僅能賦值一次。
總之,final修飾的靜態成員必須在類加載完之前進行賦值,final修飾的成員變量,必須在對象創建完之前進行賦值。
補充:final修飾的基本數據類型不能被重新賦值,final修飾的引用數據類型,引用類型的地址不能改變,引用類型的內部屬性可以改變。
2. final在多線程的作用
由於重排序的作用,一個線程讀取到一個對象的引用時,該對象可能尚未初始化完畢,即這些線程可能讀取到該對象字段的默認值而不是初始值。
final關鍵字具有特殊的作用:當一個對象發布到其他線程的時候,該對象的所有final字段都是初始化完成的,即其他線程讀取到的都是相應字段的初始值而不是默認值。而非final字段就沒有這種保障。
對於final修飾的引用類型的字段,該字段還能保障該字段所引用的對象 初始化完畢。
這種機制是通過禁止重排序實現的:
對於final變量的寫:禁止final域的寫重排序到構造方法之外,即得到一個對象的引用時,其內部的final域必定已被初始化完畢。
對於final域的讀:禁止初次讀該對象的引用與讀該對象包含的final域進行重排序。
這兩種重排序都是底層是通過內存屏障實現的,編譯器會在final域寫之後,構造函數執行完之前插入一個storestore屏障,在讀final域之前插入一個loadload屏障。
static關鍵字
static關鍵字能夠保證一個線程即使在未使用其他線程同步機制的情況下也總是可以讀到一個類靜態變量的初始值,但這種可見性的保障僅限於 初次讀取該變量
java多線程04----------final和static