C語言記憶體管理，林銳博士的文章，絕對經典

http://www.vcworld.net/news/200910/114918.html

 

歡迎進入記憶體這片雷區。偉大的Bill Gates 曾經失言： 
640K ought to be enough for everybody  — Bill Gates 1981

程式員們經常編寫記憶體管理程式，往往提心弔膽。如果不想觸雷，唯一的解決辦法就是發現所有潛伏的地雷並且排除它們，躲是躲不了的。本章的內容比一般教科書的要深入得多，讀者需細心閱讀，做到真正地通曉記憶體管理。

7.1記憶體配置方式
記憶體配置方式有三種：
（1）       從靜態儲存地區分配。記憶體在程式編譯的時候就已經分配好，這塊記憶體在程式的整個運行期間都存在。例如全域變數，static變數。
（2）       在棧上建立。在執行函數時，函數內局部變數的儲存單元都可以在棧上建立，函數執行結束時這些儲存單元自動被釋放。棧記憶體配置運算內建於處理器的指令集中，效率很高，但是分配的記憶體容量有限。
（3）       從堆上分配，亦稱動態記憶體分配。程式在啟動並執行時候用malloc或new申請任意多少的記憶體，程式員自己負責在何時用free或delete釋放記憶體。動態記憶體的生存期由我們決定，使用非常靈活，但問題也最多。

7.2常見的記憶體錯誤及其對策 

       發生記憶體錯誤是件非常麻煩的事情。編譯器不能自動探索這些錯誤，通常是在程式運行時才能捕捉到。而這些錯誤大多沒有明顯的癥狀，時隱時現，增加了改錯的難度。有時使用者怒氣沖沖地把你找來，程式卻沒有發生任何問題，你一走，錯誤又發作了。
常見的記憶體錯誤及其對策如下： 

       記憶體配置未成功，卻使用了它。
編程新手常犯這種錯誤，因為他們沒有意識到記憶體配置會不成功。常用解決辦法是，在使用記憶體之前檢查指標是否為NULL。如果指標p是函數的參數，那麼在函數的入口處用assert(p!=NULL)進行檢查。如果是用malloc或new來申請記憶體，應該用if(p==NULL) 或if(p!=NULL)進行防錯處理。 

       記憶體配置雖然成功，但是尚未初始化就引用它。
犯這種錯誤主要有兩個起因：一是沒有初始化的觀念；二是誤以為記憶體的預設初值全為零，導致引用初值錯誤（例如數組）。
記憶體的預設初值究竟是什麼並沒有統一的標準，儘管有些時候為零值，我們寧可信其無不可信其有。所以無論用何種方式建立數組，都別忘了賦初值，即便是賦零值也不可省略，不要嫌麻煩。

 

 

 

       記憶體配置成功並且已經初始化，但操作越過了記憶體的邊界。
例如在使用數組時經常發生下標“多1”或者“少1”的操作。特別是在for迴圈語句中，迴圈次數很容易搞錯，導致數組操作越界。

       忘記了釋放記憶體，造成記憶體泄露。
含有這種錯誤的函數每被調用一次就丟失一塊記憶體。剛開始時系統的記憶體充足，你看不到錯誤。終有一次程式突然死掉，系統出現提示：記憶體耗盡。
動態記憶體的申請與釋放必須配對，程式中malloc與free的使用次數一定要相同，否則肯定有錯誤（new/delete同理）。 
       釋放了記憶體卻繼續使用它。
有三種情況：
（1）程式中的對象調用關係過於複雜，實在難以搞清楚某個對象究竟是否已經釋放了記憶體，此時應該重新設計資料結構，從根本上解決對象管理的混亂局面。
（2）函數的return語句寫錯了，注意不要返回指向“棧記憶體”的“指標”或者“引用”，因為該記憶體在函數體結束時被自動銷毀。
（3）使用free或delete釋放了記憶體後，沒有將指標設定為NULL。導致產生“野指標”。

         【規則7-2-1】用malloc或new申請記憶體之後，應該立即檢查指標值是否為NULL。防止使用指標值為NULL的記憶體。 
         【規則7-2-2】不要忘記為數組和動態記憶體賦初值。防止將未被初始化的記憶體作為右值使用。 
         【規則7-2-3】避免數組或指標的下標越界，特別要當心發生“多1”或者“少1”操作。 
         【規則7-2-4】動態記憶體的申請與釋放必須配對，防止記憶體流失。 
         【規則7-2-5】用free或delete釋放了記憶體之後，立即將指標設定為NULL，防止產生“野指標”。