Java 垃圾回收機制深度解析與最佳實踐

前言

Java 的自動記憶體管理是其核心優勢之一，但理解垃圾回收（GC）的特性與限制，對於編寫高效、穩定的程式至關重要。本文深入探討 GC 機制、常見記憶體洩漏場景及應對策略。

垃圾回收三大特性

1. 僅回收堆記憶體：不處理物理資源（資料庫連線、檔案句柄等）或 native 記憶體（如 JNI malloc）
2. 不可精確控制：僅能透過 System.gc() 或 Runtime.getRuntime().gc() 建議執行
3. finalize() 不確定性：回收前會調用 finalize()，但執行時間與是否執行皆無保證

核心問題與解決方案

1. 手動清理非堆資源

採用 try-finally 或 try-with-resources 確保資源釋放：

import java.io.*;

public class ManualClear {
    public static void main(String[] args) {
        FileInputStream fis = null;
        try {
            fis = new FileInputStream("./src/ManualClear.java");
            byte[] buf = new byte[1024];
            int len;
            while ((len = fis.read(buf)) > 0) {
                System.out.println(new String(buf, 0, len));
            }
        } catch (IOException e) {
            e.printStackTrace();
        } finally {
            if (fis != null) {
                try { fis.close(); } catch (IOException ignored) {}
            }
        }
    }
}

2. 三大常見記憶體洩漏場景

場景一：類自管理記憶體（如 Stack 實作）

public class Stack {
    private Object[] elements;
    private int size = 0;
    private static final int DEFAULT_CAPACITY = 16;

    public Stack() { elements = new Object[DEFAULT_CAPACITY]; }

    public void push(Object e) {
        ensureCapacity();
        elements[size++] = e;
    }

    public Object pop() {
        if (size == 0) throw new EmptyStackException();
        Object result = elements[--size];
        elements[size] = null; // 關鍵：消除過期引用
        return result;
    }

    private void ensureCapacity() {
        if (elements.length == size) {
            elements = Arrays.copyOf(elements, 2 * size + 1);
        }
    }
}

關鍵點：pop() 後必須將陣列位置設為 null，否則 GC 無法回收已彈出的物件。

場景二：快取過期物件未清理

解決方案：使用 WeakHashMap 或後台執行緒定期清理過期條目。

場景三：監聽器/回調未註銷

最佳實踐：顯式調用 removeListener() 或在生命週期結束時清理。

finalize() 正確使用姿勢

• 不要 手動調用 finalize()
• 避免 用於釋放關鍵資源（執行時間不確定）
• 適用場景：
  1. 作為安全網：檢測資源是否正確釋放（如未 close() 的檔案）
  2. 釋放非關鍵 native 資源
  3. 對象復活（重新讓引用指向自己）

finalize() 陷阱：子類覆寫未調用 super.finalize()

class Parent {
    @Override protected void finalize() throws Throwable {
        System.out.println("Parent finalize");
    }
}

class Child extends Parent {
    @Override protected void finalize() throws Throwable {
        System.out.println("Child finalize");
        // 忘記 super.finalize() 或拋出異常導致父類 finalize 不執行
    }
}

解決方案：Finalizer Guardian 模式

class Parent {
    private final Object guardian = new Object() {
        @Override protected void finalize() throws Throwable {
            System.out.println("父類清理邏輯必定執行");
        }
    };
}

即使子類 finalize() 失敗，守護對象的 finalize() 仍會被 GC 調用，確保父類清理邏輯執行。

總結

理解 GC 的邊界與限制，配合 try-with-resources、WeakReference、監聽器註銷等實踐，才能構建健壯的 Java 應用。finalize() 僅作為最後防線，不可依賴其釋放關鍵資源。