Java final 關鍵字深度解析：變數、方法、類別與參數的完整應用指南

Java final 關鍵字深度解析：變數、方法、類別與參數的完整應用指南

final 是 Java 的保留字，核心語意是「不可變更」。依修飾目標不同，具體行為有所差異。本文系統整理四大使用場景與底層原理。

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

// 編譯期常量
static final double PI = 3.14159;

// 執行期常量（引用型別）
final List list = new ArrayList<>();
list.add("A"); // ✅ 允許修改物件內容
// list = new ArrayList<>(); // ❌ 編譯錯誤：不可改變引用指向

二、修飾方法：禁止覆寫

• final 方法無法被子類別覆寫，保證演算法不被竄改。
• 私有方法隱含 final 語意（子類別不可見，自然無法覆寫）。
• 效能考量：早期 JVM 會內聯 final 方法，現代 JIT 編譯器已自動優化，不需為效能刻意加 final。

三、修飾類別：禁止繼承

• final class 無法被繼承（如 String, Integer, LocalDate）。
• 所有方法隱含 final，但欄位不自動成為 final。
• 設計意圖：不可變物件、安全敏感類別、防止破壞封裝。

四、修飾方法參數：參數不可重新指向

public void process(final String input) {
    // input = "new"; // ❌ 編譯錯誤
    System.out.println(input.length());
}

核心用途：匿名內部類別/Lambda 捕獲區域變數。Java 要求被捕獲的區域變數實際上不可變（effective final），final 明確保證此點，避免外部修改導致內部類別看到不一致的值。

五、匿名內部類別與 final 的關係

void startTask(final int count) { // Java 8+ 可省略 final，但變數必須 effective final
    new Thread(() -> {
        for (int i = 0; i < count; i++) { // 捕獲 count
            System.out.println(i);
        }
    }).start();
}

• 編譯器會將捕獲的變數複製到內部類別實例欄位中。
• 若外部修改原變數，內部類別仍持有舊值 → 行為不一致。final 禁止外部修改，消除此風險。
• Java 8 起，若區域變數「實際上只賦值一次」，可省略 final 關鍵字（effective final）。

六、總結速查表