Java final 關鍵字深度解析：變量、方法、類三大場景全覆蓋

final 關鍵字核心含義

在 Java 中，final 意為「最終的、不可變的」。它可以修飾變量（成員/局部）、方法、類，語義雖有差異，但核心都是限制修改/繼承/重寫，並為 JVM 優化提供契機。

一、final 變量：不可變的引用

1. 基本類型 vs 引用類型

• 基本類型：值不可變。final int MAX = 100; // MAX = 200; 編譯錯誤
• 引用類型：引用不可變，但對象內容可變。

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

2. 成員變量（字段）初始化規則

• 必須在聲明時、實例初始化塊、或所有構造器中初始化（且只能初始化一次）。
• static final 常量：通常大寫命名，編譯期常量折疊優化。public static final double PI = 3.14159;
• 空白 final 字段：聲明時不賦值，僅在構造器中初始化，適用於依賴構造參數的常量。

3. 方法參數 final

void process(final User user) {
    // user = new User(); // ❌ 編譯錯誤
    user.setName("New"); // ✅ 合法：修改對象狀態
}

用途：防止在方法內意外修改參數引用，提高代碼可讀性與安全性（特別是匿名內部類/Lambda 捕獲變量時必須 final 或 effectively final）。

二、final 方法：禁止重寫

public class BaseService {
    // 核心業務邏輯，不允許子類修改
    public final void criticalOperation() {
        // ...
    }
}

class SubService extends BaseService {
    // @Override public void criticalOperation() {} // ❌ 編譯錯誤
}

性能優化：靜態綁定

• final 方法在編譯期確定調用版本（靜態綁定），JVM 可內聯優化，避免運行期動態分派開銷。
• 私有方法（private）隱式 final，同樣享受此優化。

三、final 類：禁止繼承

public final class ImmutableString { // 如 String、Integer、Long
    // 所有方法隱式 final
}

不可變類設計要點

1. 類聲明 final。
2. 所有字段 private final。
3. 無 setter 方法。
4. 可變組件（如集合、日期）進行防禦性拷貝。
5. 僅提供構造器/工廠方法創建實例。

優勢：線程安全、可自由共享、天然適合作為 Map Key/Set 元素、簡化並發編程。

關鍵知識點總結表

最佳實踐建議

• 默認不可變：除非必須修改，所有字段、局部變量、參數優先加 final。
• 常量規範：public static final 全大寫下劃線分隔（MAX_CONNECTIONS）。
• API 設計：不想被重寫的方法加 final；不想被繼承的類加 final（如工具類、實體類）。
• 避免過度：不需盡一切可能加 final，關鍵在於語義表達與防禦性編程。