總結了24個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 << "===== \n";
- }
這段代碼依舊會出現死循環，原因參考上一條。
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 << "\n";
- 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::launch::async, []{ f(); }); // 臨時量的析構函數等待 f()
- std::async(std::launch::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產生。
