Java 對象銷毀與垃圾回收機制深度解析：finalize、引用類型與 GC 根

對象生命週期與作用域

Java 變量分兩類：

• 基本類型變量：直接存值，棧上分配，作用域結束即銷毀
• 引用類型變量：存對象地址，對象在堆上，引用在棧上

對象生命週期**不等於**引用變量作用域：

void method() {
    Object obj = new Object(); // obj 在棧上，對象在堆上
    List list = new ArrayList();
    list.add(obj); // list 持有 obj 引用
} // obj 引用銷毀，但對象被 list 引用，存活

垃圾回收核心判定：可達性分析

JVM 通過 **GC Roots** 作為起點，向下搜索引用鏈：

• 虛擬機棧局部變量引用的對象
• 方法區類靜態屬性/常量引用的對象
• 本地方法棧 JNI 引用的對象
• 活躍線程引用的對象
• 同步鎖持有的對象

**可達 = 存活，不可達 = 垃圾**。標記-清除/標記-整理/複製算法均基於此。

finalize() 方法：已棄用的「終結者」

@Deprecated(since="9")
protected void finalize() throws Throwable {
    try {
        // 釋放非內存資源：文件句柄、網絡連接、數據庫連接
        closeResources();
    } finally {
        super.finalize(); // 調用父類 finalize
    }
}

關鍵缺陷

• 不可預測：GC 何時運行不確定，finalize 何時調用不可控
• 無序性：對象間 finalize 順序無保證
• 性能損耗：進入 finalize 隊列、單線程執行、延遲回收
• 異常吞沒：finalize 拋出異常被忽略，對象仍可能被回收
• 復活風險：finalize 中重新建立引用（this 逃逸）導致對象復活，二次 GC 才會回收

替代方案：try-with-resources / Cleaner / PhantomReference

// Java 9+ Cleaner API
public class Resource implements AutoCloseable {
    private static final Cleaner cleaner = Cleaner.create();
    private final Cleaner.Cleanable cleanable;
    private final ResourceHandle handle;
    
    public Resource() {
        this.handle = acquireHandle();
        this.cleanable = cleaner.register(this, () -> releaseHandle(handle));
    }
    
    public void close() { cleanable.clean(); }
}

四大引用類型與 GC 行為

GC 根擴展與實戰排查

常見 GC 根類型

• JNI 全局引用
• 類加載器
• 線程對象
• 同步器（Lock/Condition）
• JVM 內部對象（系統類、異常類等）

內存洩漏典型模式

// 1. 靜態集合持有對象，生命週期 = JVM
static List