C++常見內存錯誤彙總

  在系統開發過程中出現的bug相對而言是比較好解決的,花費在這個上面的調試代價不是很大,但是在系統集成後的bug往往是難以定位的bug(最好方式是打樁,通過打樁可以初步鎖定出錯的位置,如:進入函數前打印日誌,離開時再次打印日誌)。而這些難以定位的bug基本分爲2類:內存錯誤和並非問題。
   
    1、內存泄露
    如果在堆棧上分配的內存使用完成後沒有釋放就會造成內存泄露。少量的內存泄露不至於讓程序崩潰,但是大量的內存泄露就會導致內存耗盡,後續內存分配失敗,從而導致程序崩潰。長時間運行軟件,即使只有一兩處泄露,同樣會導致程序崩潰。所以有當出現內存泄露請檢查是否釋放了資源
   
    2、內存越界訪問
    內存越界訪問有兩種:一種是讀越界,即讀了不屬於自己的數據,如果所讀的內存地址是無效的,程序就立即崩潰。如果所讀的內存地址是有效的,在讀的時候不會出現問題,但是由於讀到的數據是隨機的,他會產生不可預料的後果,另一種是寫越界,又叫緩衝區溢出。所寫的數據是隨機的,他也會產生不可預料的後果。
    內存越界訪問造成的後果非常嚴重,是引起程序不穩定的主要原因之一,最主要的是它造成的後果是隨機的,表現出來的症狀和時機也是隨機的,讓bug的現象和本質看似沒有什麼聯繫,這給bug定位帶來了極大的困難。所以在時機開發過程中,對於外部傳入的參數要仔細檢查。

    3、野指針
    釋放掉的內存會被內存管理器重新分配。此時野指針指向的內存已經被賦予新的意義。對野指針指向的內存訪問,無論是有意的還是無意的,都會爲此付出巨大代價,因爲它造成的後果,如果越界訪問一樣是不可預料的。解決野指針最好的方法:釋放內存後立即把對應指針置爲空值。

    4、訪問空指針
    在訪問指針指向的內存時,確保指針不是空指針。訪問空指針指向的內存,通常會導致程序崩潰,或者不可預料的錯誤。

   5、引用未初始化的變量
   未初始化變量的內容是隨機的,使用這些數據會造成不可預料的後果,調試這樣的bug也非常困難。最好的解決辦法:在聲明變量的時候就對它進行初始化。

    6、不清楚的指針運算
    如:int *p=....;
        p+n等價於(size_t)p+n*sizeof(*p);

    7、結構體成員順序變化引發的錯誤

    8、結構體大小變化引發的錯誤
    
    9、分配釋放不配對
 
    10、返回指向臨時變量的指針
    棧裏面的變量時臨時的,當前函數執行完成時,先關的臨時變量和參數都被清除了。不能把指向這些臨時變量的指針返回給調用這,這樣的指針執行的數據是隨機的,會給程序造成不可預料的後果。

   11、試圖修改常量
   如:char *p="1234";
       *p='1';

   12、誤解傳值和傳引用
   
   13、重名符號
   關於重名問題可以參考:C++重定義解決方法總結

   14、棧溢出
   
   15、誤用sizeof
   C++通常是按值傳遞參數,而數組則是例外,在傳遞數組參數時,數組退化爲指針(及按引用傳遞),此時用sizeof是無法獲取數據的大小。
    
   16、字節對齊
    字節對齊主要目的是提高內存訪問效率,在某些平臺上,就不僅僅是效率問題,如果不對齊得到的數據是錯誤的。大多數情況下編譯器會保值全局變量和臨時變量按照正確的方式對齊。內存管理器會保證動態按照正確的方式對齊。要注意的是:在不同的類型的變量之間轉換時要小心。
    字節對齊也會造成結構體大小的變化,在程序內部用sizeof來取的結構的大小就可以了。若數據要在不同的機器間傳遞時,在通信協議中要規定對齊的方式,避免對齊方式不一致引發的問題。
    關於字節對齊問題請參考:C++內存中字節對齊問題分析與總結

  17、字節順序
    字節順序歷來是設計跨平臺最頭痛的問題。字節順序是關於數據在物理內存中的佈局問題,最常見的字節順序有兩種:大端模式和小端模式
    大端模式:高位字節數據存放在低地址處,低位字節數據存放在高地址處。
    小端模式:低位字節數據存放在內存低地址處,高字節字節數據存放在內存高地址處
 
    如:long n=0x11223344
    模式        第1字節     第2字節    第3字節      第4字節
    大端模式    0x11        0x22        0x33        0x44             
    小端模式    0x44        0x33        0x22        0x11

    在普通軟件中,字節順序問題並不引人注目。而在開發與網絡通信和數據交換有關的軟件時,字節順序就要多注意了。

  18、多線程共享變量沒有用valotile修飾
  valotile作用:告訴編譯器不要把變量優化到寄存器中。在開發多線程的程序是,如果這些線程共享一些全局變量,這些全局變量最好使用valotile修飾。這樣可以避免因爲編譯器優化而引起的錯誤。
發佈了61 篇原創文章 · 獲贊 33 · 訪問量 13萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章