Java final 關鍵字深度解析：類、方法、變量與參數的最終含義

Java final 關鍵字深度解析

final 是 Java 中用於限制可變性的關鍵字，可修飾類、方法、變量（成員變量與局部變量）及方法參數。理解其語義對編寫健壯、可維護的代碼至關重要。

1. final 類：不可被繼承的終點

• 被 final 修飾的類不能被繼承，即不存在子類。
• final 類中的所有方法隱式為 final（因為無法被覆寫）。
• 典型例子：String、Integer 等包裝類、Math 工具類。

2. final 方法：鎖定實現細節

• 被 final 修飾的方法不能被子類覆寫，但可以被繼承調用。
• 用途：防止核心邏輯被子類意外修改，或允許編譯器內聯優化（現代 JVM 已較少依賴此點）。

3. final 變量：一次賦值，終身不變

3.1 基本類型 vs 引用類型

• 基本類型：值一旦初始化不可改變。
• 引用類型：引用地址不可變，但指向的對象內部狀態仍可修改。
  例：final List list = new ArrayList<>(); list.add("a"); // 合法

3.2 空白 final

聲明時不賦值，但在構造器或初始化塊中必須賦值，編譯器會強制檢查所有路徑均已初始化。適用於構造器參數化初始化的常量。

4. final 參數：傳值不可變

方法參數聲明為 final 後，方法體內無法修改參數引用（基本類型不可改值，引用類型不可改指向）。常用於匿名內部類捕獲局部變量（Java 8+ 已隱式 final）。

public void method(final int param) {
    // param = 10; // 編譯錯誤
}

5. 實戰注意事項

• 善用 final：默認給成員變量、方法參數加 final，減少可變狀態，降低認知負荷。
• final 與靜態編譯優化：JVM 可對 final 字段進行常量折疊，但過早優化不可取。
• 不可變對象設計：結合 final、private、無 setter、防禦性拷貝，構建線程安全的不可變類。

總結表