总结了24个C++的大坑,看你能躲过几个?

网络 通信技术
std::async 这货返回的 future 和通过 promise 获取的 future 行为不同,async 返回的 future 对象在析构时会阻塞等待 async 中的线程执行完毕,这就导致在大部分场景中 async达不到你直觉的认为它能达到的目的。

[[396092]]

本文转载自微信公众号「程序喵大人」,作者程序喵大人。转载本文请联系程序喵大人公众号。

以下是本文目录:

 

首先说下C++和C语言有什么区别?分享一个我在知乎上看见的回答:

  • C++ ≈ C with classes, C with STL
  • C:面向机器编程
  • C++:面向编译器编程

C++有个很重要的特性叫RAII,个人认为可以多多使用,相当方便,关于RAII巧妙使用可以看我这两篇文章《RAII妙用之ScopeExit》《RAII妙用之计算函数耗时》。

言归正传,下面我一个一个的列出来C++使用过程中常见的坑:

无符号整数的错误使用

  1. for (unsigned int i = 10; i >= 0; --i) { ... } 

上面这段代码会发生什么? 会死循环,这里要注意下无符号整数的使用。

容器的size()返回类型是无符号整数

  1. std::vector<int> vec; 
  2. vec.push_back(1); 
  3. for (auto idx = vec.size(); idx >= 0; idx--) { 
  4.     cout << "===== \n"

这段代码依旧会出现死循环,原因参考上一条。

memcpy、memset只适用于POD结构

至于什么是POD类型,其实解释起来挺麻烦的,感兴趣的可以直接看cppreference的https://en.cppreference.com/w/cpp/named_req/PODType

STL遍历删除时注意迭代器失效问题

  1. void erase(std::vector<int> &vec, int a) { 
  2.     for (auto iter = vec.begin(); iter != vec.end();) { // 这个正确 
  3.         if (*iter == a) { 
  4.             iter = vec.erase(iter); 
  5.         } else { 
  6.             ++iter; 
  7.         } 
  8.     } 
  9.  
  10.     for (auto iter = vec.begin(); iter != vec.end(); ++iter) {  // error 
  11.         if (*iter == a) { 
  12.             vec.erase(iter); // error 
  13.         } 
  14.     } 

std::list排序使用自己的成员方法

一般的容器排序都使用std::sort(),但是list特殊。

  1. int main() { 
  2.     std::list<int> list{1, 2, 3, 2}; 
  3.     list.sort(); 
  4.     // std::sort(list.begin(), list.end()); 
  5.     for (auto i : list) { 
  6.         std::cout << i << " "
  7.     } 
  8.     std::cout << "\n"
  9.     return 0; 

new/delete、new[]/delete[]、malloc/free严格配对

这几个一定要配对使用,原因的话可以看我之前的文章《new[]和delete[]为何要配对使用?》

基类析构函数要是虚函数

如果不是虚函数的话,可能会有内存泄漏的问题

注释用/**/,而不是//

注释用/**/,可能会出问题。原因:utf-8和ANSC(GB2312)编码混乱后,中文注释就乱码了,乱码中藏着 */,匹配错了,导致IDE实际注释的部分并非肉眼所见,定位极其困难,常见于Windows中。

成员变量初始化

成员变量没有默认初始化行为,需要手动初始化。

不要返回局部变量的指针或引用

  1. char* func() { 
  2.     char a[3] = {'a''b''c'}; 
  3.     return a; 

栈内存容易被污染。

浮点数判断是否相等问题

  1. float f; 
  2. if (f == 0.2) {} // 错误用法 
  3. if (abs(f - 0.2) < 0.00001) {} // 正确用法 

vector clear和swap问题

清空某个vector,可以使用swap而不是其clear方法,这样可以更早的释放vector内部内存。

  1. vector<int> vec; 
  2. vector<int>().swap(vec); 
  3. vec.clear(); 

vector问题

尽量不要在vector中存放bool类型,vector为了做优化,它的内部存放的其实不是bool。

条件变量

条件变量的使用有两大问题:信号丢失和虚假唤醒,相当重要,具体可以看我这篇文章《使用条件变量的坑你知道吗》。

类型转换

在C++中尽量使用C++风格的四种类型转换,而不要使用C语言风格的强制类型转换。

异步操作中async的使用

  1. std::async(std::launch::async, []{ f(); }); // 临时量的析构函数等待 f() 
  2. 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。

  1. void func() {} 
  2. int main() { 
  3.     std::thread t(func); 
  4.     if (t.joinable()) { 
  5.         t.join(); // 或者t.detach();  
  6.     } 
  7.     return 0; 

enum使用

尽量使用enum class替代enum,enum class 是带有作用域的枚举类型。

空指针使用nullptr而不是NULL

至于为什么要这么使用,可以看我这篇文章《关于nullptr这篇文章你一定要看》

  1. void func(char*) { 
  2.     cout << "char*"
  3. void func(int) { 
  4.     cout << "int"
  5.  
  6. int main() { 
  7.      func(NULL); // 编译失败 error: call of overloaded ‘func(NULL)’ is ambiguous 
  8.     func(nullptr); // char
  9.     return 0; 

std::remove的使用

这个remove其实并没有真正的删除元素,需要和erase配合使用,跑一下这段代码就知道啦。

  1. bool isOdd(int i) { return i & 1; } 
  2.  
  3. void print(const std::vector<int>& vec) { 
  4.     for (const auto& i : vec) { 
  5.         std::cout << i << ' '
  6.     } 
  7.     std::cout << std::endl; 
  8.  
  9. int main() { 
  10.     std::vector<int> v = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; 
  11.     print(v); 
  12.  
  13.     std::remove(v.begin(), v.end(), 5);  // error 
  14.     print(v); 
  15.  
  16.     v.erase(std::remove(v.begin(), v.end(), 5), v.end()); 
  17.     print(v); 
  18.  
  19.     v.erase(std::remove_if(v.begin(), v.end(), isOdd), v.end()); 
  20.     print(v); 

全局变量初始化问题

不同文件中的全局变量初始化顺序不固定,全局变量尽量不要互相依赖,否则由于初始化顺序不固定的问题,可能会导致bug产生。

 

责任编辑:武晓燕 来源: 程序喵大人
相关推荐

2021-02-22 07:58:47

内存程序变量

2023-08-28 12:09:53

2020-03-24 09:34:00

移动端H5软键盘

2023-07-17 11:43:07

2021-11-19 16:54:11

Python代码开发

2024-02-21 14:55:19

C++语言编程

2011-05-07 14:39:00

投影

2019-07-16 13:59:43

数据库MySQL软件

2010-01-22 16:35:41

C++开发

2011-04-19 16:38:00

对象指针指针C++

2011-04-07 16:34:05

staticC++

2010-01-26 17:11:13

C++编程

2010-01-25 11:21:01

C++语法

2020-06-10 10:30:48

Python 开发编程语言

2024-06-13 11:54:03

2020-06-07 16:16:01

Python开发工具

2022-09-04 19:30:13

云原生系统

2024-04-03 12:30:00

C++开发

2009-05-22 11:01:53

C++JavaC#

2022-03-21 14:09:19

面试C语言代码
点赞
收藏

51CTO技术栈公众号