深入解析 Java 中 final 關鍵字的應用

在 Java 程式設計中，final 是一個極為重要的關鍵字，它可以修飾變數、方法與類別，分別代表「不可變更的引用」、「不可被覆寫的方法」與「不可被繼承的類別」。善用 final 不僅能增強程式碼的安全性，還能協助 JVM 進行優化。本文將從變數、方法、類別三個層面，系統性地剖析 final 的核心規則與最佳實踐。

一、final 修飾變數：常量與引用不可變

被 final 修飾的變數（包含成員變數與區域變數）稱為 final 變數。其核心規則如下：

• 初始化時機： final 成員變數必須在宣告時、實例初始化塊或建構子中完成初始化，否則編譯報錯。
• 引用不可變： 一旦賦值，引用指向的物件無法改變（但物件內部狀態若為可變物件，仍可修改其內容）。
• 匿名內部類限制： 在匿名內部類中使用的外部區域變數，必須宣告為 final（或實際上不再變更的 effectively final）。

final int CONST_VALUE = 1; 
// CONST_VALUE = 2; // 編譯錯誤：The final local variable CONST_VALUE cannot be assigned

二、final 修飾方法：鎖定行為、提升效能

在方法宣告上加上 final，表示該方法不可被子類別覆寫。適用場景：

• 方法功能已完善，不希望子類別改變行為。
• 效能考量：final 方法在編譯期靜態綁定，避免執行期動態分派的開銷。

public class Person {
    public final void printName() {
        System.out.println("Wang Zhengyi");
    }
}

三、final 修飾類別：不可變類與執行緒安全

被 final 修飾的類別稱為 final 類別，不可被繼承。Java 標準庫中 String、Integer 等皆為 final 類。final 類別天然具備執行緒安全優勢，構建不可變類別需遵循以下步驟：

1. 類別宣告為 final。
2. 所有欄位設為 private final。
3. 不提供 setter 方法。
4. 透過建構子初始化所有欄位，對可變物件進行深層複製。
5. getter 方法回傳可變物件的複製品而非原始引用。

以下示範一個不可變類別的完整實作：

import java.util.HashMap;
import java.util.Map;

public final class ImmutableExample {
    private final int id;
    private final String name;
    private final Map<Integer, String> dataMap;

    public ImmutableExample(int id, String name, Map<Integer, String> map) {
        this.id = id;
        this.name = name;
        // 深層複製
        Map<Integer, String> copy = new HashMap<>();
        for (Map.Entry<Integer, String> entry : map.entrySet()) {
            copy.put(entry.getKey(), entry.getValue());
        }
        this.dataMap = copy;
    }

    public int getId() { return id; }
    public String getName() { return name; }

    // 回傳複製品，防止外部修改內部狀態
    public Map<Integer, String> getDataMap() {
        return new HashMap<>(dataMap);
    }
}

四、淺複製 vs 深複製

• 淺複製： 僅複製基本型別欄位，參考型別欄位仍指向原物件。
• 深複製： 遞歸複製所有參考型別欄位所指向的物件，完全隔離副本與原件。

五、final 關鍵字的優勢總結

• 效能優化： JVM 與 Java 應用會快取 final 變數；JVM 對 final 方法、變數、類別進行編譯期優化。
• 執行緒安全： final 變數可安全共享於多執行緒環境，無需額外同步機制。
• 語義明確： 明確表達「不可變」設計意圖，降低維護成本。

掌握 final 的正確用法，是編寫健壯、高效 Java 程式碼的基礎功夫之一。