前段時間給部門做了個C++專題的分享，主要分享了C++語言里一些常見的坑，在這里也分享給大家。

首先說下C++和C語言有什么區別？分享一個我在知乎上看見的回答：

C++ ≈ C with classes， C with STL

C：面向機器編程

C++：面向編譯器編程

C++有個很重要的特性叫RAII，個人認為可以多多使用，相當方便，關于RAII巧妙使用可以看我這兩篇文章《RAII妙用之ScopeExit》《RAII妙用之計算函數耗時》。

言歸正傳，下面我一個一個的列出來C++使用過程中常見的坑：

無符號整數的錯誤使用

for （unsigned int i = 10; i 》= 0; --i） { 。.. }

上面這段代碼會發生什么？ 會死循環，這里要注意下無符號整數的使用。

容器的size（）返回類型是無符號整數

std：：vector《int》 vec;vec.push_back（1）;for （auto idx = vec.size（）; idx 》= 0; idx--） { cout 《《 “=====

”;}

這段代碼依舊會出現死循環，原因參考上一條。

memcpy、memset只適用于POD結構

至于什么是POD類型，其實解釋起來挺麻煩的，感興趣的可以直接看cppreference的https://en.cppreference.com/w/cpp/named_req/PODType

STL遍歷刪除時注意迭代器失效問題

void erase（std：：vector《int》 &vec， int a） { for （auto iter = vec.begin（）; iter ！= vec.end（）;） { // 這個正確 if （*iter == a） { iter = vec.erase（iter）; } else { ++iter; } }

for （auto iter = vec.begin（）; iter ！= vec.end（）; ++iter） { // error if （*iter == a） { vec.erase（iter）; // error } }}

std：：list排序使用自己的成員方法

一般的容器排序都使用std：：sort（），但是list特殊。

int main（） { std：：list《int》 list{1， 2， 3， 2}; list.sort（）; // std：：sort（list.begin（）， list.end（））; for （auto i ： list） { std：：cout 《《 i 《《 “ ”; } std：：cout 《《 “

”; return 0;}

new/delete、new［］/delete［］、malloc/free嚴格配對

這幾個一定要配對使用，原因的話可以看我之前的文章《new［］和delete［］為何要配對使用？》

基類析構函數要是虛函數

如果不是虛函數的話，可能會有內存泄漏的問題

注釋用/**/，而不是//

注釋用/**/，可能會出問題。原因：utf-8和ANSC（GB2312）編碼混亂后，中文注釋就亂碼了，亂碼中藏著 */，匹配錯了，導致IDE實際注釋的部分并非肉眼所見，定位極其困難，常見于Windows中。

成員變量初始化

成員變量沒有默認初始化行為，需要手動初始化。

不要返回局部變量的指針或引用

char* func（） { char a［3］ = {‘a’， ‘b’， ‘c’}; return a;}

棧內存容易被污染。

浮點數判斷是否相等問題

float f;if （f == 0.2） {} // 錯誤用法if （abs（f - 0.2） 《 0.00001） {} // 正確用法

vector clear和swap問題

清空某個vector，可以使用swap而不是其clear方法，這樣可以更早的釋放vector內部內存。

vector《int》 vec;vector《int》（）.swap（vec）;vec.clear（）;

vector問題

盡量不要在vector中存放bool類型，vector為了做優化，它的內部存放的其實不是bool。

條件變量

條件變量的使用有兩大問題：信號丟失和虛假喚醒，相當重要，具體可以看我這篇文章《使用條件變量的坑你知道嗎》。

類型轉換

在C++中盡量使用C++風格的四種類型轉換，而不要使用C語言風格的強制類型轉換。

異步操作中async的使用

std：：async（std：：async， ［］{ f（）; }）; // 臨時量的析構函數等待 f（）std：：async（std：：async， ［］{ g（）; }）; // f（） 完成前不開始

std：：async 這貨返回的 future 和通過 promise 獲取的 future 行為不同，async 返回的 future 對象在析構時會阻塞等待 async 中的線程執行完畢，這就導致在大部分場景中 async達不到你直覺的認為它能達到的目的。

智能指針

一個裸指針不要使用多個智能指針包裹，盡可能使用make_unique，make_shared。

當需要在類得內部接口中，需要將this作為智能指針使用，需要用該類派生自enable_shared_from_this

棧內存使用

合理使用棧內存，特別是數組，數組越界問題容易導致棧空間損壞，可以考慮使用std：：array替代普通的數組。

std：：thread的使用

一定要記得join或這detach，否則會crash。

void func（） {}int main（） { std：：thread t（func）; if （t.joinable（）） { t.join（）; // 或者t.detach（）; } return 0;}

enum使用

盡量使用enum class替代enum，enum class 是帶有作用域的枚舉類型。

空指針使用nullptr而不是NULL

至于為什么要這么使用，可以看我這篇文章《關于nullptr這篇文章你一定要看》

void func（char*） { cout 《《 “char*”;}void func（int） { cout 《《 “int”;}

int main（） { func（NULL）; // 編譯失敗 error： call of overloaded ‘func（NULL）’ is ambiguous func（nullptr）; // char* return 0;}

std：：remove的使用

這個remove其實并沒有真正的刪除元素，需要和erase配合使用，跑一下這段代碼就知道啦。

bool isOdd（int i） { return i & 1; }

void print（const std：：vector《int》& vec） { for （const auto& i ： vec） { std：：cout 《《 i 《《 ‘ ’; } std：：cout 《《 std：：endl;}

int main（） { std：：vector《int》 v = {0， 1， 2， 3， 4， 5， 6， 7， 8， 9}; print（v）;

std：：remove（v.begin（）， v.end（）， 5）; // error print（v）;

v.erase（std：：remove（v.begin（）， v.end（）， 5）， v.end（））; print（v）;

v.erase（std：：remove_if（v.begin（）， v.end（）， isOdd）， v.end（））; print（v）;}

全局變量初始化問題

不同文件中的全局變量初始化順序不固定，全局變量盡量不要互相依賴，否則由于初始化順序不固定的問題，可能會導致bug產生。

原文標題：C++的24個大坑，你能躲過幾個？

文章出處：【微信公眾號：嵌入式ARM】歡迎添加關注！文章轉載請注明出處。

責任編輯：haq