總結瞭24個C++的大坑,你能躲過幾個

Posted on by

前段時間給部門做瞭個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 << "===== \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產生。

到此這篇關於總結瞭24個C++的大坑,你能躲過幾個的文章就介紹到這瞭,更多相關C++ 坑內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet！

推薦閱讀：