Java final關鍵字:阻止繼承和多態
<上一節
下一節>
在 Java 中,聲明類、變量和方法時,可使用關鍵字 final 來修飾。final 所修飾的數據具有“終態”的特征,表示“最終的”意思。具體規定如下:
final 一般用于修飾那些通用性的功能、實現方式或取值不能隨意被改變的數據,以避免被誤用,例如實現數學三角方法、冪運算等功能的方法,以及數學常量π=3.141593、e=2.71828 等。
事實上,為確保終態性,提供了上述方法和常量的 java.lang.Math 類也已被定義為final 的。
需要注意的是,如果將引用類型(任何類的類型)的變量標記為 final,那么該變量不能指向任何其它對象。但可以改變對象的內容,因為只有引用本身是 final 的。
如果變量被標記為 final,其結果是使它成為常數。想改變 final 變量的值會導致一個編譯錯誤。下面是一個正確定義 final 變量的例子:
請看下面的代碼:
final 也可以用來修飾類(放在 class 關鍵字前面),阻止該類再派生出子類,例如 Java.lang.String 就是一個 final 類。這樣做是出于安全原因,因為要保證一旦有字符串的引用,就必須是類 String 的字符串,而不是某個其它類的字符串(String 類可能被惡意繼承并篡改)。
方法也可以被 final 修飾,被 final 修飾的方法不能被覆蓋;變量也可以被 final 修飾,被 final 修飾的變量在創建對象以后就不允許改變它們的值了。一旦將一個類聲明為 final,那么該類包含的方法也將被隱式地聲明為 final,但是變量不是。
被 final 修飾的方法為靜態綁定,不會產生多態(動態綁定),程序在運行時不需要再檢索方法表,能夠提高代碼的執行效率。在Java中,被 static 或 private 修飾的方法會被隱式的聲明為 final,因為動態綁定沒有意義。
由于動態綁定會消耗資源并且很多時候沒有必要,所以有一些程序員認為:除非有足夠的理由使用多態性,否則應該將所有的方法都用 final 修飾。
這樣的認識未免有些偏激,因為 JVM 中的即時編譯器能夠實時監控程序的運行信息,可以準確的知道類之間的繼承關系。如果一個方法沒有被覆蓋并且很短,編譯器就能夠對它進行優化處理,這個過程為稱為內聯(inlining)。例如,內聯調用 e.getName() 將被替換為訪問 e.name 變量。這是一項很有意義的改進,這是由于CPU在處理調用方法的指令時,使用的分支轉移會擾亂預取指令的策略,所以,這被視為不受歡迎的。然而,如果 getName() 在另外一個類中被覆蓋,那么編譯器就無法知道覆蓋的代碼將會做什么操作,因此也就不能對它進行內聯處理了。
- final 修飾的類不能被繼承。
- final 修飾的方法不能被子類重寫。
- final 修飾的變量(成員變量或局部變量)即成為常量,只能賦值一次。
- final 修飾的成員變量必須在聲明的同時賦值,如果在聲明的時候沒有賦值,那么只有 一次賦值的機會,而且只能在構造方法中顯式賦值,然后才能使用。
- final 修飾的局部變量可以只聲明不賦值,然后再進行一次性的賦值。
final 一般用于修飾那些通用性的功能、實現方式或取值不能隨意被改變的數據,以避免被誤用,例如實現數學三角方法、冪運算等功能的方法,以及數學常量π=3.141593、e=2.71828 等。
事實上,為確保終態性,提供了上述方法和常量的 java.lang.Math 類也已被定義為final 的。
需要注意的是,如果將引用類型(任何類的類型)的變量標記為 final,那么該變量不能指向任何其它對象。但可以改變對象的內容,因為只有引用本身是 final 的。
如果變量被標記為 final,其結果是使它成為常數。想改變 final 變量的值會導致一個編譯錯誤。下面是一個正確定義 final 變量的例子:
public final int MAX_ARRAY_SIZE = 25; // 常量名一般大寫常量因為有 final 修飾,所以不能被繼承。
請看下面的代碼:
public final class Demo{ public static final int TOTAL_NUMBER = 5; public int id; public Demo() { // 非法,對final變量TOTAL_NUMBER進行二次賦值了 // 因為++TOTAL_NUMBER相當于 TOTAL_NUMBER=TOTAL_NUMBER+1 id = ++TOTAL_NUMBER; } public static void main(String[] args) { final Demo t = new Demo(); final int i = 10; final int j; j = 20; j = 30; // 非法,對final變量進行二次賦值 } }
final 也可以用來修飾類(放在 class 關鍵字前面),阻止該類再派生出子類,例如 Java.lang.String 就是一個 final 類。這樣做是出于安全原因,因為要保證一旦有字符串的引用,就必須是類 String 的字符串,而不是某個其它類的字符串(String 類可能被惡意繼承并篡改)。
方法也可以被 final 修飾,被 final 修飾的方法不能被覆蓋;變量也可以被 final 修飾,被 final 修飾的變量在創建對象以后就不允許改變它們的值了。一旦將一個類聲明為 final,那么該類包含的方法也將被隱式地聲明為 final,但是變量不是。
被 final 修飾的方法為靜態綁定,不會產生多態(動態綁定),程序在運行時不需要再檢索方法表,能夠提高代碼的執行效率。在Java中,被 static 或 private 修飾的方法會被隱式的聲明為 final,因為動態綁定沒有意義。
由于動態綁定會消耗資源并且很多時候沒有必要,所以有一些程序員認為:除非有足夠的理由使用多態性,否則應該將所有的方法都用 final 修飾。
這樣的認識未免有些偏激,因為 JVM 中的即時編譯器能夠實時監控程序的運行信息,可以準確的知道類之間的繼承關系。如果一個方法沒有被覆蓋并且很短,編譯器就能夠對它進行優化處理,這個過程為稱為內聯(inlining)。例如,內聯調用 e.getName() 將被替換為訪問 e.name 變量。這是一項很有意義的改進,這是由于CPU在處理調用方法的指令時,使用的分支轉移會擾亂預取指令的策略,所以,這被視為不受歡迎的。然而,如果 getName() 在另外一個類中被覆蓋,那么編譯器就無法知道覆蓋的代碼將會做什么操作,因此也就不能對它進行內聯處理了。
<上一節
下一節>