全面解析 C# 解構函式與 IDisposable 模式最佳實踐

前言

C# 的記憶體管理雖由垃圾收集器（GC）自動處理，但涉及非受控資源（檔案控制代碼、資料庫連線、網路 Socket、視窗控制代碼等）時，必須顯式釋放。本文系統闡述解構函式（Finalizer）、Dispose 模式、兩者關係與最佳實踐，附完整代碼範例。

一、解構函式 基礎語法與限制

class Car {
    ~Car() {  // 解構函式語法
        // 清理非受控資源
    }
}

關鍵規則

• 僅限 class，struct 不可有解構函式。
• 每個類別只能有一個，無參數、無修飾詞、不可繼承、不可多載、不可手動呼叫。
• 編譯器隱式轉換為 protected override void Finalize()，內含 try/finally 呼叫 base.Finalize()，確保繼承鏈從衍生到基底依序執行。
• 避免空解構函式：會將物件放入 Finalize 佇列，造成不必要的 GC 壓力與效能損耗。

二、GC 與解構函式的執行時機

• GC 掃描到不可觸達物件 → 若有解構函式 → 放入 Finalize 佇列 → 專用 Finalizer 執行緒稍後呼叫 Finalize → 釋放記憶體。
• 程式正常結束時也會呼叫解構函式。
• 不可控制呼叫時機：非決定性，可能延遲，不適合釋放稀缺資源。
• 可呼叫 GC.Collect() 強制回收，但極不建議常規使用，會嚴重影響效能。

三、釋放非受控資源：解構函式 vs Dispose()

核心差異對照

為什麼解構函式只釋放非受控資源？

當 Finalize 執行時，該物件引用的其他受控物件可能已被 GC 回收（順序不定），若在解構函式中操作它們會導致例外或未定義行為。因此解構函式僅清理直接持有的非受控資源。

四、標準 Dispose 模式實作範本

public class ResourceHolder : IDisposable {
    private IntPtr unmanagedHandle; // 非受控資源
    private Component managedResource; // 受控資源
    private bool disposed = false;

    // 公開 Dispose，供呼叫端決定性釋放
    public void Dispose() {
        Dispose(true);
        GC.SuppressFinalize(this); // 告訴 GC 不需再呼叫 Finalize
    }

    // 核心清理邏輯
    protected virtual void Dispose(bool disposing) {
        if (disposed) return;

        if (disposing) {
            // 釋放受控資源
            managedResource?.Dispose();
        }

        // 釋放非受控資源（無論 disposing 為何）
        if (unmanagedHandle != IntPtr.Zero) {
            CloseHandle(unmanagedHandle);
            unmanagedHandle = IntPtr.Zero;
        }

        disposed = true;
    }

    // 解構函式作為安全網
    ~ResourceHolder() {
        Dispose(false); // 僅釋放非受控資源
    }

    // P/Invoke 釋放非受控資源
    [System.Runtime.InteropServices.DllImport("Kernel32")]
    private extern static Boolean CloseHandle(IntPtr handle);
}

五、繼承鏈中的 Dispose 模式

// 基底類別
public class BaseClass : IDisposable {
    protected bool disposed = false;
    public void Dispose() {
        Dispose(true);
        GC.SuppressFinalize(this);
    }
    protected virtual void Dispose(bool disposing) {
        if (!disposed) {
            if (disposing) { /* 釋放受控資源 */ }
            /* 釋放非受控資源 */
            disposed = true;
        }
    }
    ~BaseClass() { Dispose(false); }
}

// 衍生類別
public class DerivedClass : BaseClass {
    private Resource derivedResource;
    protected override void Dispose(bool disposing) {
        if (!disposed) {
            if (disposing) {
                derivedResource?.Dispose(); // 釋放衍生類別受控資源
            }
            /* 釋放衍生類別非受控資源 */
            disposed = true;
        }
        base.Dispose(disposing); // 呼叫基底 Dispose
    }
    // 衍生類別通常不需重寫解構函式，基底已處理
}

六、實戰範例：三層繼承鏈解構順序驗證

class First { ~First() { Trace.WriteLine("First's destructor called."); } }
class Second : First { ~Second() { Trace.WriteLine("Second's destructor called."); } }
class Third : Second { ~Third() { Trace.WriteLine("Third's destructor called."); } }

class Test {
    static void Main() {
        Third t = new Third();
    }
}
// 輸出順序（GC 觸發時）：
// Third's destructor called.
// Second's destructor called.
// First's destructor called.

七、最佳實踐總結

1. 實作 IDisposable：任何持有非受控資源或受控可釋放資源的類別。
2. 提供公開 Dispose()：釋放所有資源，呼叫 GC.SuppressFinalize(this)。
3. 保留解構函式：作為安全網，僅釋放非受控資源（Dispose(false)）。
4. 使用 using 區塊：確保即使發生例外也能釋放資源。

   using (var holder = new ResourceHolder()) {
       // 使用資源
   } // 自動呼叫 Dispose()

5. 避免在解構函式中觸碰受控物件。
6. 不要重寫 Finalize 除非必要，優先使用 SafeHandle 衍生類別封裝非受控資源（.NET 2.0+ 推薦）。

八、結語

解構函式是 GC 的最後防線，Dispose 是開發者的主動權。掌握標準 Dispose 模式，善用 using，讓非受控資源釋放既安全又高效，是 C# 專業開發者的必修課。