在系統開發過程中出現的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字節
大端模式0x110x220x330x44
小端模式0x440x330x220x11
在普通軟件中,字節順序問題並不引人注目。而在開發與網絡通信和數據交換有關的軟件時,字節順序就要多注意了。
18、多線程共享變量沒有用valotile修飾
valotile作用:告訴編譯器不要把變量優化到寄存器中。在開發多線程的程序是,如果這些線程共享一些全局變量,這些全局變量最好使用valotile修飾。這樣可以避免因為編譯器優化而引起的錯誤。