C# 非受控資源釋放最佳實踐：Dispose 模式與 Finalize 深度解析

• 記憶體佔用時間拉長 2~3 倍
• Finalizer 執行緒阻塞會影響所有待結束物件
• 非受控資源釋放時機不可預期（可能延遲數分鐘）

標準 Dispose Pattern 實作範本

public class ResourceWrapper : IDisposable
{
    // 非受控資源控制代碼 (IntPtr, Handle, COM 介面等)
    private IntPtr _unmanagedHandle = IntPtr.Zero;
    // 受控資源
    private FileStream _managedStream;
    // 狀態旗標
    private bool _disposed = false;

    public ResourceWrapper(string filePath)
    {
        _managedStream = new FileStream(filePath, FileMode.Open);
        _unmanagedHandle = _managedStream.SafeFileHandle.DangerousGetHandle(); // 示範用
    }

    // ===== 核心釋放邏輯 =====
    protected virtual void Dispose(bool disposing)
    {
        if (_disposed) return;

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

        // 釋放非受控資源 (無論 disposing 真假皆需執行)
        if (_unmanagedHandle != IntPtr.Zero)
        {
            CloseHandle(_unmanagedHandle); // P/Invoke
            _unmanagedHandle = IntPtr.Zero;
        }

        _disposed = true;
    }

    // ===== 公開 Dispose =====
    public void Dispose()
    {
        Dispose(true);
        // 關鍵：告訴 GC 不需呼叫 Finalize，避免進入 Finalization Queue
        GC.SuppressFinalize(this);
    }

    // ===== Finalize 保底機制 =====
    ~ResourceWrapper()
    {
        // 僅釋放非受控資源 (disposing = false)
        Dispose(false);
    }

    // P/Invoke 範例
    [System.Runtime.InteropServices.DllImport("kernel32.dll")]
    private static extern bool CloseHandle(IntPtr hObject);
}

關鍵細節解析

1. Dispose(bool disposing) 參數含義

• true：由開發者主動呼叫，可安全存取受控物件，釋放「受控+非受控」資源
• false：由 Finalizer 呼叫，受控物件可能已失效，僅釋放非受控資源

2. GC.SuppressFinalize(this) 必須呼叫

若 Dispose() 已完整釋放資源，呼叫此方法將物件從 Finalization Queue 移除，GC 下次掃描可直接回收記憶體，避免 Finalizer 額外開銷。

3. _disposed 旗標防止重複釋放

多次呼叫 Dispose() 或 Dispose() 後經過 Finalize 皆不會重複釋放，避免 ObjectDisposedException 或雙重釋放導致崩潰。

4. 繼承鏈傳播

public class DerivedWrapper : ResourceWrapper
{
    private bool _disposed = false;
    private AnotherResource _extra;

    protected override void Dispose(bool disposing)
    {
        if (_disposed) return;
        try
        {
            if (disposing)
                _extra?.Dispose(); // 釋放衍生類受控資源
            // 釋放衍生類非受控資源...
        }
        finally
        {
            _disposed = true;
            base.Dispose(disposing); // 必須呼叫基類 Dispose
        }
    }
}

常見錯誤與修正

進階主題：SafeHandle 替代手動 P/Invoke

.NET 2.0+ 提供 SafeHandle 衍生類別 (SafeFileHandle, SafeRegistryHandle 等)，內建 Finalize 保護、參考計數、關鍵 Finalization，建議優先使用：

public class ModernWrapper : IDisposable
{
    private SafeFileHandle _handle;
    private bool _disposed;

    public ModernWrapper(string path)
    {
        _handle = File.OpenHandle(path, FileMode.Open); // .NET 6+ 回傳 SafeFileHandle
    }

    protected virtual void Dispose(bool disposing)
    {
        if (_disposed) return;
        if (disposing)
            _handle?.Dispose(); // SafeHandle 內建 Finalize，無需手動 P/Invoke
        _disposed = true;
    }

    public void Dispose() { Dispose(true); GC.SuppressFinalize(this); }
    ~ModernWrapper() => Dispose(false);
}

總結

1. 永遠實作 IDisposable 釋放非受控資源
2. 提供 Finalize 保底 防止開發者疏忽
3. Dispose 中呼叫 GC.SuppressFinalize(this) 提升 GC 效能
4. 使用 Dispose(bool) 多載 區分受控/非受控釋放邏輯
5. 繼承鏈務必呼叫 base.Dispose(disposing)
6. 優先使用 SafeHandle 簡化非受控資源管理
7. 搭配 using 區塊 確保確定性釋放

遵循此模式，您的 .NET 應用程式將具備可預測的資源生命週期、優異的記憶體效能與生產環境穩定性。