0

0

c++ 协程冷启动和热启动 c++ coroutine lazy_start如何工作

煙雲

煙雲

发布时间:2026-03-18 18:59:03

|

989人浏览过

|

来源于php中文网

原创

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

c++ 协程冷启动和热启动 c++ coroutine lazy_start如何工作

coroutine_handle::resume() 前必须确保协程已“冷启动”完成

冷启动(lazy start)不是自动发生的——它只在你第一次调用 coroutine_handle::resume() 时触发,且仅触发一次。此时编译器生成的协程帧会执行到第一个 co_await 或函数末尾(如果没 await)。如果你在 resume 前读取协程内部状态(比如某个局部变量),大概率读到的是未初始化值,因为那部分代码根本还没跑。

常见错误现象:std::logic_error 或访问非法内存,尤其当你把协程当作“立即可读的异步结果”来用;或者 co_await 表达式里的 awaiter 构造失败(如 std::suspend_alwaysawait_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_alwaysstd::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() 调用触发——这点最容易被忽略。

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

188

2023.11.23

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

136

2025.11.27

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

2041

2023.10.19

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

682

2025.10.17

php8.4实现接口限流的教程
php8.4实现接口限流的教程

PHP8.4本身不内置限流功能,需借助Redis(令牌桶)或Swoole(漏桶)实现;文件锁因I/O瓶颈、无跨机共享、秒级精度等缺陷不适用高并发场景。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2452

2025.12.29

java接口相关教程
java接口相关教程

本专题整合了java接口相关内容,阅读专题下面的文章了解更多详细内容。

49

2026.01.19

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

806

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

381

2025.12.24

Python WebSocket实时通信与异步服务开发实践
Python WebSocket实时通信与异步服务开发实践

本专题聚焦 Python 在实时通信场景中的开发实践,系统讲解 WebSocket 协议原理、长连接管理、消息推送机制以及异步服务架构设计。内容包括客户端与服务端通信实现、连接稳定性优化、消息队列集成及高并发处理策略。通过完整案例,帮助开发者构建高效稳定的实时通信系统,适用于聊天应用、实时数据推送等场景。

7

2026.03.18

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 11.6万人学习

C 教程
C 教程

共75课时 | 5.6万人学习

C++教程
C++教程

共115课时 | 22.5万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号