C++ 資源管理精髓：RAII 與 GC 兩大範式深度對比與實戰

三種記憶體管理方式

C/C++ 支援三種管理方式：堆疊基礎（自動）、堆疊動態（手動/智慧指標）、全域區靜態（程式壽命）。C# 採 GC（垃圾回收），C++ 採 RAII（資源取得即初始化），兩種截然不同哲學。

GC（C#/Java）優勢與代價

優勢

• 型別安全：引用為型別安全指標，as 運算子保證轉換安全。
• 記憶體整理：屏蔽指標使記憶體移動成為可能，解決碎片問題。

代價

• 喪失即時回收：相互引用導致複雜演算法，回收時機不確定，實時/資源受限系統致命。
• 托管/非托管資源割裂：GC 僅自動回收托管資源（記憶體）；非托管資源（Socket、檔案、DB 連線）需顯式釋放。
• Finalizer 問題：非確定性執行、可能復活物件破壞 GC 原子性、增加開銷。
• Dispose Pattern：using 區塊提供確定性釋放與異常安全，為主流建議。

RAII：C++ 的核心資源管理範式

基本手法：為資源撰寫 guard 類別，建構函式取得資源，解構函式釋放資源。

struct lock_guard {
    lock_guard() { lock(); }
    ~lock_guard() { unlock(); }
};

物件生命週期綁定資源生命週期，區域物件離開作用域自動釋放，具備異常安全。

C++ 資源管理三大策略

1. 堆疊自動管理：區域物件，作用域結束自動銷毀，最不易出錯，解決多數需求。
2. 堆疊動態管理：new/delete 或智慧指標 (unique_ptr, shared_ptr)，適用共享/長生命週期資源。
3. 全域/靜態管理：程式啟動構造、結束銷毀，適用單例、全域狀態。

絕大多數資源屬「取得-使用-釋放」模式（同步物件、檔案鎖、GDI 物件），前兩種策略足夠。僅少數「一次取得、多方擁有、一次釋放」資源需共享所有權。

循環引用與引用計數

循環引用導致引用計數失效（A→B, B→A 永不歸零）。但 C++ 中生存期循環依賴極罕見：要麼互相解構崩潰，要麼互不解構洩漏，正常編程不會出現。引用計數 (shared_ptr) 足以解決幾乎所有資源管理問題。

• 單向共享（多 A 共享一 B，B 不依賴 A）：shared_ptr 完美適用。
• 雙向但生存期單向決定（父擁有子、子持父指標、子生存期繫於父）：父用 shared_ptr、子用裸指標/弱指標。

RAII vs GC：根本分歧

GC 語言放棄解構函式（解構函式破壞 GC 原子性），故無法實現 RAII，僅能管理記憶體，其他資源仍需手動釋放。C# using 緩解但未徹底解決。C++ 保留底層能力，RAII 以近零負擔提供確定性、異常安全的資源管理——相對 C 幾乎無副作用的明顯進步。