C 語言指針釋放 vs 變量自動清理：棧與堆的內存管理本質

面試經典題：int a; 用完無需管，但指針 malloc 卻必須 free？本文從內存模型角度徹底講清棧與堆的區別，助你從根上理解資源管理。

核心區別：棧 vs 堆

代碼對比

void func() {
    int a = 10;          // 棧上，func 結束自動銷毀
    int *p = malloc(4);  // 堆上，必須 free(p)，否則洩漏
    // ...
    free(p);             // 手動歸還
}

深度解析

• 棧：CPU 指令級支持（push/pop），極快，由編譯器插入序言/尾聲代碼自動管理。
• 堆：運行時庫維護空閑鏈表/樹，分配較慢，靈活但易出錯（洩漏、雙重釋放、使用後釋放）。
• 指針變量本身在棧上，但它指向的內存塊在堆上，兩者生命周期獨立。

現代 C++ 建議

使用智能指針（std::unique_ptr, std::shared_ptr）或容器（std::vector）實現 RAII，讓編譯器自動調用析構函數釋放堆內存，杜絕手動 free 忘記/出錯。