协程是用户态轻量级可挂起函数,开销纳秒级、栈小、协作式并发;线程是内核调度单元,开销微秒级、栈大、抢占式并发;协程提升并发密度,需多线程支持并行;协程异常隔离、RAII管理,取消需协作;C++20协程为语言设施,可对接任意awaitable异步库。

协程和线程是 C++ 异步编程中两个不同层级的抽象:线程是操作系统调度的执行单元,而协程是用户态的轻量级“可挂起函数”,不依赖 OS 调度,由程序员或运行时库控制流转。
调度机制与开销差异
线程由内核调度,创建/切换需陷入内核、保存寄存器和栈上下文,典型开销在微秒级;协程切换完全在用户态完成,仅需保存少量寄存器和栈指针(部分实现甚至共享栈),开销通常在纳秒级。一个进程可轻松承载数万协程,但数百线程就可能引发调度瓶颈或内存压力。
- 线程栈默认通常为 1–8 MB(取决于平台),协程栈可按需分配,常见为 2–16 KB 或动态增长
- 线程切换涉及 TLB 刷新、缓存失效等副作用;协程切换无此开销,更适合高并发 I/O 密集场景
并发模型与执行语义
线程是抢占式并发:OS 可在任意指令边界中断线程并调度其他线程,带来数据竞争风险,必须配合互斥锁、原子操作等同步原语。协程默认是协作式(cooperative):一个协程主动挂起(如等待 I/O 完成)后,才将控制权交还调度器,同一时刻只有一个协程在运行(除非显式绑定到多线程),天然规避多数竞态问题。
- 协程本身不解决并行(parallelism),它提升的是并发(concurrency)密度;要利用多核,仍需将协程分发到多个线程(如 io_context::run() 多线程调用)
- std::jthread 或 std::thread 表达的是“并行任务”,而 co_await + task
表达的是“异步计算流程”
错误处理与生命周期管理
线程崩溃(如未捕获异常)会终止整个进程(除非用 std::set_terminate 自定义);协程崩溃默认只影响自身,可通过 promise_type 控制异常传播路径(如包装为 std::exception_ptr 并传递给 awaiter)。协程对象(如 task
立即学习“C++免费学习笔记(深入)”;
- 协程帧(coroutine frame)在堆上分配(除非启用 stackless 优化或编译器优化),其生命周期独立于调用栈;线程栈随线程消亡而释放
- 协程无法被外部强制取消(没有类似 pthread_cancel 的机制),取消需通过协作式取消标记(如 std::stop_token)+ co_await 检查实现
与现代 C++ 异步生态的集成方式
C++20 协程是语言级设施,不绑定具体运行时;它提供 co_await / co_yield / co_return 语法糖,底层靠 promise_type 和 awaitable 协议交互。这意味着你可以对接 ASIO、libunifex、cppcoro 等任意异步库——只要它们实现了 awaitable 接口。而线程是基础执行载体,所有异步模型(包括协程运行时)最终都需在线程上驱动。
- ASIO 的 async_read / async_write 返回 awaitable 对象,可直接 co_await;但底层仍是 epoll/kqueue/IOCP + 线程池驱动
- std::thread 是“静态并发单元”,协程是“动态流程单元”:一个线程可顺序驱动成百上千个协程,每个协程代表一次请求或一次状态机迭代









