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() 在另外一個類中被覆蓋，那么編譯器就無法知道覆蓋的代碼將會做什么操作，因此也就不能對它進行內聯處理了。
<上一節
下一節>
