协程调度器的核心是std::coroutine_handle与状态机管理,需手动实现就绪队列并调用resume(),关键在于控制哪个协程运行;promise_type决定生命周期,initial_suspend和final_suspend须返回suspend_always,await_suspend中注册被等待协程的handle,resume后须检查done()并显式destroy以避免内存泄漏。

协程调度器的核心是 std::coroutine_handle 和状态机管理
现代 C++ 协程(C++20)本身不提供调度器,它只负责挂起/恢复、内存分配和状态流转。调度器必须手动实现——本质是维护一个就绪队列,定期取出 std::coroutine_handle 并调用 resume()。关键不是“怎么写协程”,而是“谁来决定哪个协程该运行”。std::coroutine_handle 是唯一可安全传递和存储的协程句柄,所有调度逻辑都围绕它展开。
常见错误是直接把 co_await 表达式结果存为局部变量,或试图拷贝 handle(std::coroutine_handle 不可拷贝,只能移动或转为 void* 存储)。正确做法是:在 promise type 中重载 get_return_object() 返回自定义 awaitable,并在 await_suspend() 里把 handle 加入调度队列。
用 promise_type 控制协程生命周期与调度入口
每个协程都有关联的 promise 对象,它决定了协程如何启动、挂起、结束。要让协程一创建就进入调度队列,需在 promise_type::initial_suspend() 返回 std::suspend_always{},并在 get_return_object() 中立即把 handle 注册进调度器。
-
promise_type::final_suspend()必须返回std::suspend_always{},否则协程结束时会自动销毁 handle,导致调度器持有悬空指针 -
await_suspend()接收的是std::coroutine_handle<promise_type>,不是当前协程的 handle;传入的 handle 是「被 await 的协程」,你要把它放进队列,而不是 resume 它自己 - 不要在
await_resume()里做耗时操作——它运行在调用者线程上下文中,会阻塞调度流程
示例片段:
立即学习“C++免费学习笔记(深入)”;
struct task_promise {
std::coroutine_handle<> continuation;
task get_return_object() { return task{std::coroutine_handle<task_promise>::from_promise(*this)}; }
std::suspend_always initial_suspend() { return {}; }
std::suspend_always final_suspend() noexcept { return {}; }
void unhandled_exception() { std::terminate(); }
void return_void() {}
};
单线程调度器只需一个 std::queue<std::coroutine_handle<>>
最简可行调度器不需要线程池或优先级,只要一个线程不断 pop-handle → resume → 检查是否完成 → 循环。重点在于:resume 后必须立刻检查 handle.done(),否则可能重复 resume 已结束协程(UB)。
- resume 前务必确认 handle 非空:
if (h) h.resume();—— 协程可能被外部显式 destroy,handle 变成空 - resume 后不能假设 handle 仍有效:如果协程在 resume 中执行完毕,
handle.done()为 true,且后续再调用resume()是未定义行为 - 避免在 resume 中抛异常:promise 的
unhandled_exception()会被调用,但若调度器没捕获,整个程序 terminate
典型驱动循环:
void run() {
while (!ready_queue.empty()) {
auto h = ready_queue.front();
ready_queue.pop();
if (h && !h.done()) h.resume();
if (h && h.done()) h.destroy();
}
}
协程退出后必须调用 destroy(),否则内存泄漏
C++ 协程栈帧内存由 promise 分配(默认在 operator new),但不会自动释放。仅靠 final_suspend() 挂起并不等于销毁——它只是暂停,内存还活着。只有显式调用 handle.destroy() 才触发 promise 的析构和内存回收。
容易忽略的点:
- 如果协程因异常退出,
final_suspend()仍会被调用,但你必须确保此时 handle 仍有效且未被 destroy 过 - 多个地方可能尝试 destroy 同一个 handle(比如调度器和外部取消逻辑),需加标记位或原子状态防止 double-destroy
-
std::coroutine_handle::done()为 true 仅表示协程已到达 final_suspend 或已 destroy,不代表内存已释放
安全做法是在 promise 中加 bool destroyed = false;,在 destroy() 前原子检查并置位。


















