Java final 關鍵字完整用法指南：類、方法、變量與參數

概述

final 是 Java 中表達「不可變」語意的核心關鍵字，可修飾類、方法、變量（成員/局部/靜態）與參數。正確使用 final 能提升代碼安全性、可讀性，甚至助力 JVM 優化。本文系統梳理其四大應用場景與底層機制。

1. 修飾類：不可繼承的最終形態

• 被 final 修飾的類不能被繼承，所有方法隱式為 final。
• 典型例子：java.lang.String、java.lang.Math、包裝類型。
• 設計意圖：保護核心邏輯不被篡改，確保行為穩定。

2. 修飾方法：禁止覆寫與內聯優化

• 子類不可覆寫（但可重載），私有方法隱式為 final。
• 效能考量：早期 JVM 會對 final 方法進行內聯優化，現代 JIT 編譯器已自動判斷，final 不再是內聯的必要條件。
• 靜態 final 方法在子類中不能被隱藏（hide）。

3. 修飾變量：引用不可變 ≠ 對象不可變

核心規則

經典誤區示例

final List list = new ArrayList<>();
list.add("hello"); // ✅ 合法：修改對象內容
// list = new LinkedList<>(); // ❌ 編譯錯誤：嘗試改變引用

編譯期常量折疊

final String b = "hello";
String c = b + 2; // 編譯期優化為 "hello2"
String d = "hello";
String e = d + 2; // 運行期拼接
System.out.println("hello2" == c); // true
System.out.println("hello2" == e); // false

final 基本類型與字符串常量在編譯期被視為常量，直接進入常量池，影響 == 比較結果。

4. 修飾參數：防止方法內部重賦值

• 基本類型參數：值不可改（本來就按值傳遞，影響不大）。
• 引用類型參數：不能指向新對象，但可修改對象內部狀態。
• 用途：語義約束，明確參數為「只讀輸入」，防止誤操作。

匿名內部類捕獲變量的限制

Java 要求匿名內部類捕獲的局部變量必須是 final 或「實際上最終」（effectively final）。本質是編譯器將變量值複製到內部類實例中，若變量可變會導致不一致。

// 技巧：用單元素數組繞過限制
final int[] counter = {0};
new Thread(() -> counter[0]++).start();

總結

final 不僅是語法糖，更是設計意圖的聲明：

1. 類：封鎖繼承體系
2. 方法：鎖定行為實現
3. 變量：固定引用指向
4. 參數：承諾不重賦值

善用 final，讓代碼更安全、意圖更清晰、優化更充分。