前置知识有C语言基础有 g 编译器基础。本人刚好对g 的安装和基本使用发表过相关博客详情请点击 g 从入门到忘记一、为什么需要多线程单线程程序像一个人在干活——干完一件才能干下一件。但现实中很多事是可以同时进行的主线程处理 UI 事件后台线程下载文件服务器主线程等新连接工作线程处理已连接的请求一个程序同时做多件事边读取数据边计算边写结果C11 之前C 没有标准的多线程库得用操作系统的 APILinux 的 pthread、Windows 的 CreateThread不同平台代码还不一样。C11 引入了std::thread一套代码跨平台编译。二、创建线程#includeiostream#includethreadvoidhello(){std::coutHello from thread!\n;}intmain(){std::threadt(hello);// 创建线程执行 hello 函数t.join();// 主线程等子线程t运行完std::coutHello from main!\n;return0;}编译运行记住加-pthread可能这里会有疑问为什么有#include thread还要加-pthread#include thread是编译时告诉编译器std::thread 类的具体结构而-pthread是链接时告诉链接器去链接 pthread 库的代码。std::thread底层封装的是 Linux 的 pthread 库没有-pthread链接阶段会报undefined reference to pthread_create错误——头文件让编译器认识类型链接选项让链接器找到实现。g-stdc17-pthreadmain.cpp-otest./test输出Hello from thread! Hello from main!2.1 用 lambda 创建实际写代码时很少会单独写一个函数传给 thread更常用的是lambda 表达式——把要干的事直接写在创建线程的地方。好处是不用来回翻代码看函数定义在哪、能直接捕获周围的变量。std::threadt([](){std::coutlambda thread\n;});[]意思是捕获外面所有变量的引用这样 lambda 里就能访问 main 里的变量了。但是引用不是万能的lambda 按引用捕获的陷阱intmain(){std::thread t;{inta42;tstd::thread([a](){sleep(3);std::couta;// 3 秒后跑到这里但 a 已经销毁了});}// ← a 已经没了出作用域自动销毁t.join();// 线程t还在跑访问了不存在的 a导致程序崩溃}[]捕获的是引用不是拷贝。如果线程还没跑完变量先销毁了访问它就是悬空引用——效果和野指针类似。怎么避免优先用[]按值捕获把变量拷贝一份给线程不依赖原变量的生命周期如果用[]必须确保线程在变量销毁前结束在}前先join()多线程场景里确保线程比变量活得短这很难控制所以 lambda 开线程时优先用[]按值捕获明确知道线程不会比变量活得长时才用[]。补充std::thread 还支持这些创建方式了解即可lambda 最常用// 方式1仿函数——重载 operator() 使对象可调用structWorker{voidoperator()(){...}};std::threadt(Worker{});// 方式2成员函数classTask{public:voidrun(){...}};Task obj;std::threadt(Task::run,obj);// 第一个参数是成员函数的地址 Task::run// 第二个参数是哪个对象的这个函数obj// 线程里实际执行的是 obj.run()// 方式3std::bindautofstd::bind([](inta,intb){...},42,100);std::threadt(f);// 线程里执行 f() 等价于执行 lambda(42, 100)2.2 传参数voidwork(intn,conststd::strings){std::coutn sstd::endl;}intmain(){std::threadt(work,42,hello);// 传参给 work(42, hello)t.join();}传引用时要加std::ref否则 thread 默认按值复制voidadd(intx){x;}inta0;std::threadt(add,std::ref(a));// 不加 std::ref 编译不过三、线程生命周期——join 和 detach3.1 忘记join和detach…我刚学多线程时总会犯这个错intmain(){std::threadt([]{std::coutwork\n;});// 忘记调用 join和detachreturn0;}std::thread 的析构函数会检查线程是否还可 join。只要没调过 join 也没调过 detach线程就处于可 join状态——不管它跑没跑完。可 join的线程在析构时不会被默默托管C 标准的选择是直接调用 std::terminate() 终止程序然后逼你做出明确选择。对比一下正确的写法intmain(){std::threadt([]{std::coutwork\n;});t.join();// 等它跑完再退出程序正常结束return0;}二选一方式行为场景t.join()主线程阻塞等 t 跑完再继续需要线程的结果或者必须等它运行完t.detach()放手让 t 在后台跑不再关联日志、定时器等 不影响主流程的工作3.2 理解 RAII这里其实涉及 C 一个非常重要的设计思想——RAII资源获取即初始化。作者后续会针对 RAII 机制单独出一篇详细讲解这里先简单了解std::thread本身就是一个 RAII 对象——它管理线程这个资源的生命周期。只是它的设计者选择在你不做决定时直接 terminate逼你必须在 join 和 detach 之间选一个而不是默默帮你 detach 让线程在后台失控。到此你学会了创建线程和管理它的生命周期。但多个线程跑起来之后如果它们要共享数据就会引出新的问题——一个线程正在写、另一个线程同时读结果会怎样下面就来复现这个经典场景。四、经典问题竞态条件4.1 问题复现#includeiostream#includethread#includemutex#includeatomicintcounter0;// 共享变量intmain(){std::threadt1([](){for(inti0;i100000;i)counter;});std::threadt2([](){for(inti0;i100000;i)counter;});std::threadt3([](){for(inti0;i100000;i)counter;});std::threadt4([](){for(inti0;i100000;i)counter;});t1.join();t2.join();t3.join();t4.join();std::cout结果counter (期望400000)std::endl;return0;}我的运行结果结果255517 (期望400000)每次都跑出不同的数永远小于 400000。这就是竞态条件。4.2 为什么——从 CPU 指令看counter不是一条操作而是三步mov eax, [counter] ; ① 把 counter 的值读到寄存器 add eax, 1 ; ② 寄存器 1 mov [counter], eax ; ③ 写回内存线程切换可能发生在任意两步之间。比如线程A: mov eax, [counter] eax100 时间片到A被切走 线程B: mov eax, [counter] eax100还是旧值 线程B: add eax, 1 eax101 线程B: mov [counter], eax counter101 线程A被调度回来 线程A: add eax, 1 eax101用的是之前读的100 线程A: mov [counter], eax counter101两个线程各加一次期望 102实际只加了 1。一次更新被丢失了。用时序图看更直观线程Bcounter(内存)线程A线程Bcounter(内存)线程A时间片到切走切走调度 A① 读 counter100 到 eax② 读 counter100 到 eax旧值③ add eax,1 → 101④ 写回counter101⑤ add eax,1 → 101用的是旧值100⑥ 写回counter101覆盖了 B 的结果4.3 解法一std::mutex#includemutexintcounter0;std::mutex mtx;// 锁// 每个线程的循环里{std::lock_guardstd::mutexguard(mtx);// lockcounter;// 安全操作}// 自动 unlock锁的原理当某一线程持有该锁时其他线程得不到锁无法进入临界区只能等待持有锁的线程释放锁才能继续竞争锁并进入临界区。加了锁之后结果[mutex] 结果400000 (期望400000)代价是慢——每次加锁解锁涉及操作系统调度而其他线程只能阻塞等待。实际开发中不要锁整个大循环锁只需要保护的那一两行就好。4.4 解法二std::atomic硬件指令如果只是对单个整数做加减有更轻量的方案#includeatomicstd::atomicintcounter(0);// 循环里counter.fetch_add(1);fetch_add(1)在底层是一条 CPU 指令lock xadd [counter], 1 ; 读加写一条指令不可打断lock前缀会通知 CPU这条指令执行期间禁止其他核心访问这个内存地址。结果同样正确[atomic] 结果400000 (期望400000)而且比 mutex 快很多——没有系统调用带来的用户态/内核态切换开销没有阻塞等待纯用户态的一条硬件指令即可完成。4.5 三版对比版本结果说明不加锁255517竞态每次跑出来不一样mutex400000正确但慢atomic400000正确比 mutex 快atomic只适合保护单个变量。如果需要保护多步操作还是得用mutex。五、总结线程生命周期创建std::thread t(func)或std::thread t([]{...})构造后立即开始执行等待t.join()主线程阻塞直到子线程执行完毕若不调用则析构时触发 terminate分离t.detach()线程与 thread 对象脱离关联转为后台独立运行需保证其访问的变量生命周期覆盖线程执行期间引用传参std::thread(t, std::ref(x))thread 默认按值复制参数传递引用须用 std::ref 包装竞态解决方案场景方案原理说明单变量原子操作atomicT通过 CPU 原子指令如 x86 lock xadd实现无系统调用多变量或复合逻辑mutexlock_guard互斥锁保证临界区互斥访问lock_guard 以 RAII 方式管理锁生命周期异常安全保护lock_guard构造时加锁、析构时解锁作用域退出时自动释放count并非原子操作其底层对应三条汇编指令读→修改→写回线程调度可能发生在任意两条指令之间导致更新丢失。编译g-stdc17-pthreadmain.cpp-otest看到这里疑惑的几个问题应该都有答案了为什么需要多线程、怎么创建和等待线程、count 为什么会丢数据、mutex 和 atomic 分别怎么用。由于多线程并发编程内容繁多本文只是讲解最基础的部分后续会继续推进自旋锁、死锁、条件变量等内容逐步完善推进多线程系列。本人能力有限文章如有错误或遗漏的地方欢迎指正。