您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 相關知識

Java final 關鍵字深度解析：變數、方法、類與記憶體語義

編輯：Java 相關知識

final 核心語義

final 變數：只能賦值一次，成爲常量（引用不可變，物件內容可變）。
final 方法：禁止子類覆寫，鎖定實作邏輯。
final 類：禁止繼承，如 String、Integer。

一、final 變數（欄位）詳解

1. 初始化規則

public class FinalDemo {
    final double PI = 3.14;           // 1. 宣告時直接賦值
    final int i;                      // 2. 或在建構子中賦值（必須所有建構子都初始化）
    final List list;          // 3. 引用型別同樣適用
    
    FinalDemo() { i = 100; list = new ArrayList<>(); }
    FinalDemo(int i) { this.i = i; list = new LinkedList<>(); }
}

編譯器強制檢查：若建構子未初始化 final 欄位，編譯報錯。

2. 編譯期常量 vs 運行期常量

final int COMPILE_CONST = 100;           // 編譯期常量，內聯優化
final int RUNTIME_CONST = new Random().nextInt(10); // 運行期賦值
static final int STATIC_CONST = 999;     // 類載入時初始化，佔用固定記憶體

static final + 基本型別/String = 編譯期常量，會被編譯器內聯到調用處。
非 static final 或引用型別 = 運行期常量，每個實例擁有獨立副本。

3. 引用不可變 ≠ 物件不可變

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

final int[] arr = {1,2,3};
arr[0] = 10; // ✅ 合法：修改陣列元素
// arr = new int[5]; // ❌ 編譯錯誤

4. 防禦性複製：避免 final 陣列/集合洩漏

// ❌ 危險：外部可修改內部陣列
public class Dangerous {
    public final String[] states = {"AL", "AK"};
    public String[] getStates() { return states; }
}

// ✅ 安全：返回不可變視圖或複製品
public class Safe {
    private final String[] states = {"AL", "AK"};
    public List getStates() {
        return Collections.unmodifiableList(Arrays.asList(states));
    }
}

5. final 參數與匿名內部類

方法參數加 final：防止在方法內意外修改參數引用（基本型別傳值無影響，引用型別防止指向新物件）。
匿名內部類訪問外部區域變數：必須為 final 或 effectively final (Java 8+)，確保變數生命週期覆蓋內部類實例。

二、final 方法

目的：防止覆寫，保證核心邏輯不被子類破壞。
private 方法隱含 final（不可見自然不可覆寫）。
static 方法屬於類，不參與覆寫機制，但可被子類隱藏。

三、final 類

不可被繼承，所有方法隱含 final。
設計意圖：不可變物件（如 String）、安全敏感類、工具類。
打破繼承鏈，利於優化（編譯器可內聯方法調用）。

四、final、finally、finalize 三者辨析

關鍵字	用途	屬於
final	修飾類/方法/變數，表示不可變/不可繼承/不可覆寫	修飾符
finally	異常處理塊，無論是否拋出異常都會執行（除非 JVM 退出）	控制流語句
finalize()	Object 方法，GC 回收前調用（已棄用，Java 9+ 不推薦使用）	Object 方法