## 棧與堆 如果我說 C 語言是一種部分支持垃圾內存回收的語言……你可能會認為我腦子壞掉了。事實上，C 語言中的所有的局部變量包括指針超出作用域時，它們所占據的存儲空間都會被『回收』。這算不算內存垃圾回收？ 從 C 程序的角度來看，內存并非一個以字節為單位的一個很大但是又經常不夠用的空間，不是一個，而是兩個。其中一個空間叫棧，另一個空間叫堆。可被 C 程序『回收』存儲空間是棧空間。也就是說，在一個函數中，所有的局部變量所占據的存儲空間屬于棧空間。可能再說的學術一點，就是所有的左值都在棧空間（我不確定這樣說到底是不是正確）。 當一個函數運行結束，它所占據的棧空間就不再屬于它了，而是將會被一個新的待運行的函數占據。所以，從本質上說，C 程序對棧空間的回收都不屑一顧，因為它根本不回收，而是舊的數據會被新的數據覆蓋。 堆空間，我們在程序里無法直接訪問，只能借助指針。因為堆空間的內存地址可被指針引用。例如，當使用?`malloc`?分配空間時，所分配空間的基地址總是保存在一個位于棧空間的指針中的。 棧空間通常遠遠小于堆空間，即便如此也幾乎不會出現某個函數會耗盡棧空間的現象。如果這種現象出現了，那只能證明造出這種現象的程序猿應該繼續學習 C 語言了。棧空間被耗盡，往往是因為有些程序本來是寫成遞歸，但可能是代碼寫錯了，導致遞而不歸；還有一種可能是遞歸層次太深，這時可以想辦法在堆空間中模擬一個棧來解決。還有一種情況就是在函數中定義了很大的數組，導致棧空間放不下……這種情況總是可以靠分配堆空間來解決。