c++协程和线程的区别 c++异步编程模型对比【核心】

2026-01-01 00:00:00 作者：穿越時空

协程是用户态轻量级可挂起函数，开销纳秒级、栈小、协作式并发；线程是内核调度单元，开销微秒级、栈大、抢占式并发；协程提升并发密度，需多线程支持并行；协程异常隔离、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）是 RAII 封装，析构时自动清理资源（若 promise_type 正确实现），而线程需手动 join/detach，否则程序终止时触发 std::terminate。

协程帧（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 是“静态并发单元”，协程是“动态流程单元”：一个线程可顺序驱动成百上千个协程，每个协程代表一次请求或一次状态机迭代