從 C++ 堆疊與堆記憶體理解 C# 值類型與參考類型的本質差異

C++ 沒有值/參考類型之分，但有堆疊與堆

C++ 標準變數與自訂物件預設存取無差異，但深入底層會發現兩大記憶體區域：

• 堆疊：先進後出 (LIFO)，大小有限 (~2MB)，自動回收，適用區域變數與參數，生命週期短
• 堆：空間大 (受虛擬記憶體限制)，程式設計師手動管理 (new/delete)，靈活但風險高 (記憶體洩漏、重複釋放崩潰)

程式碼實證：堆疊 vs 堆 物件生命週期

class Human {
public:
    void Talk() { cout << "Hello" << endl; }
    ~Human() { cout << "解構函數在工作..." << endl; }
private:
    int age;
};

int main() {
    Human h;           // 堆疊物件
    cout << "h大小:" << sizeof(h) << " 位址:" << &h << endl;
    h.Talk();

    Human *p = new Human(); // 堆物件
    cout << "p大小:" << sizeof(p) << " 位址:" << p << endl;
    p->Talk();
    delete p;               // 手動釋放，觸發解構
    // p 位址值仍在，但指向記憶體已無效
    // 建議 delete 後 p = nullptr 防止重複刪除崩潰
    return 0;
}

輸出順序：先印 "p 解構" (手動 delete)，最後印 "h 解構" (離開 main 自動銷毀)。註解 delete p 只會看到 h 的解構。

多指標指向同一堆物件的風險

Human *p2 = p;  // 兩指標指向同一位址
delete p;       // 釋放記憶體
// delete p2;   // 錯誤！重複釋放 → 崩潰
// p->Talk();   // 錯誤！使用已釋放記憶體 → 未定義行為

映射到 C# 型別系統

關鍵對應關係

• 值類型 → 堆疊分配，效率高、無 GC 壓力、但空間有限、不適合大型物件
• 參考類型 → 堆分配，堆疊存指標 (引用)，需 GC 回收，解決 C++ 手動管理難題
• int 在 C# 實為 struct System.Int32，非 C++ 原生 int

深度洞見

C# 的值/參考類型設計，本質上是將 C++ 手動管理的堆疊/堆語意語言化、規則化、自動化：

• 值類型 = 編譯器強制堆疊語意 (複製語意、確定性銷毀)
• 參考類型 = 編譯器強制堆語意 (參考語意、非確定性 GC 回收)
• struct vs class 選擇 = 效能 vs 參考語意的架構決策

理解 C++ 底層記憶體模型，能讓 C# 開發者更透徹掌握 boxing/unboxing、ref/out、stackalloc、Span<T> 等進階機制的本質。