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

Java finalize() 終結方法深度分析：機制缺陷、效能陷阱與替代方案

編輯：Java 相關知識

finalize() 是什麼？

protected void finalize() throws Throwable 是 Object 定義的方法，GC 在回收物件前嘗試呼叫。類似 C++ 解構函數，但語意與保證截然不同。

執行機制與致命缺陷

1. 雙重 GC 週期延遲

物件首次被判定不可達 → 進入 Finalizer 佇列
專用 Finalizer 執行緒 執行 finalize()
finalize() 完成 → 物件再次標記為可回收
下一次 GC 才真正釋放記憶體

結果：佔用記憶體時間延長 2+ 倍，Finalizer 佇列堆積易導致 OutOfMemoryError。

2. 執行時機不可預測

GC 觸發時間不確定（可能程式結束前才執行）
Finalizer 執行緒優先級低，易被業務執行緒擠佔
finalize() 拋出異常會靜默吞噬，導致物件「復活」但資源未釋放

3. 無序性與執行緒安全

多物件 finalize() 執行順序無保證
可能與其他執行緒併發存取共享狀態
JVM 關閉時 不保證 執行 finalize()（除非 System.runFinalizersOnExit(true)，已過時）

實戰災難案例：finalize() 導致 OOM

public class OOMFinalizer {
    // finalize 中呼叫 yield()，模擬耗時/阻塞
    @Override
    protected void finalize() throws Throwable {
        Thread.yield(); // 放棄 CPU，Finalizer 執行緒極慢
    }
    
    public static void main(String[] args) {
        while (true) {
            new OOMFinalizer(); // 瘋狂建立物件
            // Finalizer 執行緒跟不上 → 佇列爆炸 → Heap OOM
        }
    }
}

此程式在數秒內拋出 java.lang.OutOfMemoryError: Java heap space。

為什麼最終不推薦使用？

Joshua Bloch (Effective Java)：「finalize() 是不可預測、危險、通常不必要的。請使用 try-with-resources 或 AutoCloseable。」

場景	finalize() 表現	推薦替代
檔案/資料庫連線關閉	可能不執行 → 洩漏	`try (Resource r = ...) { }`
原生記憶體釋放 (JNI)	延遲不可控	`Cleaner` / `PhantomReference`
快取/登記表移除	順序不可控	明確 `remove()` 呼叫
關鍵業務邏輯	極度危險	絕對禁止

現代替代方案：JDK 9+ Cleaner API

public class ResourceHandler implements AutoCloseable {
    private static final Cleaner CLEANER = Cleaner.create();
    private final Cleaner.Cleanable cleanable;
    private final NativeResource resource; // 假設的原生資源
    
    public ResourceHandler() {
        this.resource = NativeResource.allocate();
        // 註冊清理動作，比 finalize() 更可控
        this.cleanable = CLEANER.register(this, () -> {
            resource.release();
            System.out.println("Cleaner 執行釋放");
        });
    }
    
    @Override
    public void close() {
        cleanable.clean(); // 立即執行清理
    }
    
    // 使用端
    public static void main(String[] args) {
        try (ResourceHandler h = new ResourceHandler()) {
            // 業務邏輯
        } // 確定性釋放
        // 若忘記 close()，GC 時 Cleaner 仍會執行（但不保證時機）
    }
}

Cleaner 優勢：

分離清理邏輯與物件生命週期
支援顯式 clean() 立即釋放
專用執行緒池，避免單一 Finalizer 執行緒瓶頸
不阻塞 GC，物件可立即回收

PhantomReference 進階控制

ReferenceQueue<Resource> queue = new ReferenceQueue<>();
PhantomReference<Resource> ref = new PhantomReference<>(resource, queue);

// 專用執行緒輪詢佇列
new Thread(() -> {
    while (true) {
        PhantomReference<Resource> r = (PhantomReference<Resource>) queue.remove();
        // 此時物件確定將被回收，安全執行清理
        nativeFree(r.get()); // 需保留原生指標
    }
}).start();