0

0

c++20协程的Promise类型到底是什么角色? (协程状态管理)

冰火之心

冰火之心

发布时间:2026-01-18 09:13:28

|

690人浏览过

|

来源于php中文网

原创

Promise对象是协程状态的管家,由编译器自动构造并全程控制协程帧生命周期;其promise_type必须实现get_return_object、initial_suspend、final_suspend和unhandled_exception四个接口,分别负责返回协程对象、启动挂起、结束挂起及异常处理。

c++20协程的promise类型到底是什么角色? (协程状态管理)

Promise 对象是协程状态的“管家”

它不直接执行协程逻辑,而是由编译器在协程函数入口自动构造,全程持有协程帧(coroutine frame)的元信息和生命周期控制权。你定义的 promise_type 类型,就是这个管家的“行为契约”——编译器只认它的接口,不关心内部怎么实现。

必须实现的四个核心接口及其作用

编译器在不同阶段会调用这些函数,缺一不可,否则编译失败:

  • get_return_object():返回协程对外暴露的对象(比如 Task),通常包装了 coroutine_handle
  • initial_suspend():决定协程启动时是否挂起;返回 std::suspend_alwaysstd::suspend_never
  • final_suspend():决定协程结束时是否挂起;常返回 std::suspend_always 以防止帧被自动销毁
  • unhandled_exception():捕获协程内未处理的异常,必须显式处理(如保存、重抛或终止)

为什么 final_suspend() 返回 suspend_always 很关键?

协程结束后,若 final_suspend() 返回 std::suspend_never,编译器会自动销毁协程帧(包括 promise 对象)。但多数场景下,你希望手动控制销毁时机(比如等待外部消费者取走结果、或复用帧),这时就必须让协程停在 final 挂起点,靠外部调用 handle.destroy() 显式清理。

常见错误是忘记重载 await_ready()await_resume() 在自定义 awaiter 中,导致 final_suspend() 的挂起行为失效。

Figstack
Figstack

一个基于 Web 的AI代码伴侣工具,可以帮助跨不同编程语言管理和解释代码。

下载

立即学习C++免费学习笔记(深入)”;

Promise 类型如何参与值传递与异常传播?

协程中 co_return expr; 会被编译器转成:

promise.return_value(expr); // 或 promise.return_void()(无返回值时)
promise.unhandled_exception(); // 若中途抛异常
所以你要在 promise_type 中提供对应函数,并把值/异常存到 promise 成员里,供后续通过 handle.promise() 访问。

注意:return_value 不负责移动或拷贝 expr,那是你自己的事;如果 expr 是临时对象,又没正确转移,容易出现悬垂引用。

协程帧的生存期完全由 promise_type 的构造/析构和 destroy() 调用时机决定,不是靠作用域或智能指针自动管理——这点和普通对象完全不同,最容易被忽略。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

318

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

538

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

52

2025.08.29

C++中int的含义
C++中int的含义

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

197

2025.08.29

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

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

1023

2023.10.19

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

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

66

2025.10.17

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

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

426

2025.12.29

java值传递和引用传递有什么区别
java值传递和引用传递有什么区别

java值传递和引用传递的区别:1、基本数据类型的传递;2、对象的传递;3、修改引用指向的情况。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

107

2024.02.23

高德地图升级方法汇总
高德地图升级方法汇总

本专题整合了高德地图升级相关教程,阅读专题下面的文章了解更多详细内容。

43

2026.01.16

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
10分钟--Midjourney创作自己的漫画
10分钟--Midjourney创作自己的漫画

共1课时 | 0.1万人学习

Midjourney 关键词系列整合
Midjourney 关键词系列整合

共13课时 | 0.9万人学习

AI绘画教程
AI绘画教程

共2课时 | 0.2万人学习

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

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