协程冷启动仅在首次调用resume()时触发,执行至首个co_await或函数末尾;此前读取内部状态将得到未初始化值,promise对象则在协程帧分配时即已构造。

coroutine_handle::resume() 前必须确保协程已“冷启动”完成
冷启动(lazy start)不是自动发生的——它只在你第一次调用 coroutine_handle::resume() 时触发,且仅触发一次。此时编译器生成的协程帧会执行到第一个 co_await 或函数末尾(如果没 await)。如果你在 resume 前读取协程内部状态(比如某个局部变量),大概率读到的是未初始化值,因为那部分代码根本还没跑。
常见错误现象:std::logic_error 或访问非法内存,尤其当你把协程当作“立即可读的异步结果”来用;或者 co_await 表达式里的 awaiter 构造失败(如 std::suspend_always 的 await_ready() 返回 false 后,await_suspend() 没被调),本质是误以为冷启动已隐式发生。
- 冷启动 = 执行协程函数体开头到首个挂起点(或结束)的过程,不等于构造
coroutine_handle -
coroutine_handle构造后默认指向未启动状态(address() != nullptr但尚未执行) - 热启动(后续 resume)才真正推进执行流,每次从上次挂起位置继续
lazy_start 对 promise_type 构造时机的影响
协程 promise 对象是在冷启动前、由协程帧分配时就构造好的——也就是说,promise_type 的默认构造函数会在你调用协程函数(如 make_task())时立即执行,哪怕你还没 resume。这和“懒”的直觉相反:promise 不懒,协程体才懒。
这意味着:你不能靠 promise 成员是否初始化来判断协程是否已冷启动;反过来,如果你在 promise_type::get_return_object() 中返回一个包装了 coroutine_handle 的对象(比如 task<T>),这个对象创建时 promise 已存在,但协程体一行都没执行过。
立即学习“C++免费学习笔记(深入)”;
- 想延迟 promise 初始化?不行——标准要求 promise 必须在协程帧中静态分配
- 想在冷启动前做资源预检?只能放在
promise_type构造函数里,但要注意异常安全(抛异常会导致协程创建失败) - 调试技巧:在
promise_type构造函数和initial_suspend().await_suspend()里打日志,能清晰区分“帧分配”和“冷启动开始”两个时刻
为什么 co_await std::suspend_always{} 后 resume() 是热启动
第一次 resume() 触发冷启动,执行到第一个 co_await;如果那个 awaiter 是 std::suspend_always{},它会让协程立刻挂起,此时冷启动“完成”但协程体只跑了开头几行。第二次 resume() 就是从挂起点继续——这就是热启动。
关键点在于:冷/热不是看 resume 调用次数,而是看协程体是否已执行过“从头到第一个挂起”这段逻辑。一旦完成,后续所有 resume 都是热启动。
- 性能影响:冷启动有固定开销(帧分配、promise 构造、initial_suspend 判断),热启动只是跳转+寄存器恢复,快得多
- 兼容性注意:MSVC 19.3x 和 GCC 12+ 行为一致,但 Clang 14 以前对
initial_suspend返回void的处理有偏差,建议显式返回std::suspend_always或std::suspend_never - 容易踩的坑:在
await_suspend()里直接调用handle.resume()——这会引发重入,导致未定义行为;正确做法是把 handle 交给调度器异步派发
task 类型里如何安全暴露“是否已冷启动”
标准库没提供接口查冷启动状态,所以得自己记。常见做法是在 promise_type 里加一个原子布尔 started,在 initial_suspend().await_suspend() 里设为 true(因为此时冷启动已确定要发生),再通过 task 的成员函数暴露。
但注意:这个标志只能告诉你“冷启动已开始”,不能保证“已执行完”。如果你需要等冷启动完成后再操作(比如读取 return_value),必须配合 co_await 或显式 resume() + 等待挂起。
- 别用普通 bool——多线程下
task复制和 resume 可能并发 - 别在
get_return_object()里设 started=true——这时连 initial_suspend 都没走,太早 - 示例:在
await_suspend(coroutine_handle<promise_type> h)函数体内写h.promise().started.store(true, std::memory_order_relaxed)
冷启动和热启动的边界其实很薄:它取决于你何时让控制流第一次进入协程体。这个时机既不由 task 构造决定,也不由 co_await 表达式决定,而由第一个 resume() 调用触发——这点最容易被忽略。











