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

Java 核心關鍵字深度解析：final、finally 與 finalize 的區別與應用

編輯：Java 相關知識

前言

在 Java 程式設計中，final、finally 和 finalize 是三個發音相似但功能截然不同的關鍵字/機制。初學者極易混淆，資深開發者若不深入理解其底層運作原理，也可能在異常處理、資源釋放或效能優化上踩坑。本文將從語法語義、JVM 行為、最佳實踐三個維度，系統梳理這三者的核心差異。

一、final：不可變的契約與編譯器優化

1.1 final 修飾變數：引用不變，物件可變

當 final 修飾基本型別變數時，其值在初始化後不可更改；修飾物件引用時，引用地址不可變，但物件內部狀態仍可修改。初始化位置僅限「宣告處」或「建構子中」二選一。

public class FinalDemo {
    final int CONST_VAL = 10;           // 宣告時初始化
    final StringBuffer buffer;          // 僅宣告
    public FinalDemo() {
        buffer = new StringBuffer();    // 建構子初始化
    }
}

1.2 final 修飾方法參數：防止誤修改引用物件

基本型別參數本身是值傳遞，加 final 意義不大；但對物件引用參數加 final，可避免方法內部將參數指向新物件，導致呼叫端引用異常。此外，匿名內部類捕獲區域變數時，該變數必須為 final（或實際上不可變）。

1.3 final 修飾方法與類：設計意圖與內聯優化

final 方法：明確宣告「不允許覆寫」，編譯器可嘗試內聯優化（省去方法呼叫開銷），但方法體過大或多處呼叫反而可能增加碼體積，需權衡。
final 類：徹底阻斷繼承，所有方法隱式為 final。適用於工具類、不可變物件設計（如 String）。

二、finally：資源釋放的「最後防線」

2.1 語法保證與執行時機

finally 區塊在 try 區塊正常結束、拋出異常、或遇到 return/break/continue 時一定會執行（除非 JVM 退出、線程被殺、斷電等極端情況）。這使其成為釋放非記憶體資源（檔案句柄、資料庫連線、鎖）的最佳位置。

2.2 經典對比：有無 finally 的資源釋放

// 無 finally：碼冗長且易漏關資源
public void writeNoFinally(String path, String data) throws IOException {
    FileWriter fw = new FileWriter(path);
    try {
        fw.write(data);
    } catch (IOException e) {
        fw.close(); // 重複關閉
        throw e;
    }
    fw.close();   // 正常路徑關閉
}

// 有 finally：邏輯集中、無漏關風險
public void writeWithFinally(String path, String data) throws IOException {
    FileWriter fw = new FileWriter(path);
    try {
        fw.write(data);
    } finally {
        fw.close(); // 統一釋放
    }
}

2.3 進階陷阱：finally 中的 return 會覆蓋 try/catch 的返回值

public int testFinallyReturn() {
    try {
        return 1;
    } finally {
        return 2; // 實際返回 2，try 的返回值被「吞沒」
    }
}

原理：JVM 會將 try 的返回值暫存到局部變數表，執行 finally 後再恢復；若 finally 有 return，則直接以新值返回，原值丟棄。嚴禁在 finally 中使用 return/throw。

三、finalize：已淘汰的「終結者」

3.1 定位與侷限

定義於 Object，GC 回收物件前可能呼叫一次。
不保證執行時間、甚至不保證執行（JVM 退出前不一定跑）。
Java 9 標記為 @Deprecated，Java 18 移除（JEP 421）。

3.2 替代方案：try-with-resources 與 Cleaner API

// Java 7+ 自動資源管理（ARM）
try (FileWriter fw = new FileWriter(path)) {
    fw.write(data);
} // 編譯器自動生成 finally 關閉

// Java 9+ Cleaner API（輕量級替代 finalize）
Cleaner cleaner = Cleaner.create();
Cleaner.Cleanable cleanable = cleaner.register(obj, () -> releaseResource());

四、總結對照表

關鍵字/機制	類別	核心用途	關鍵注意點
final	修飾符	不可變約束、禁止繼承/覆寫、編譯器優化	引用不變 ≠ 物件不變；慎用 final 方法內聯
finally	區塊	確定性資源釋放	幾乎必執行；禁用 return/throw 覆蓋控制流
finalize	方法	（舊）GC 前清理	不可靠、已移除；請用 try-with-resources / Cleaner