0

0

C++中的Promise对象是什么?(协程状态机是如何通信的)

裘德小鎮的故事

裘德小鎮的故事

发布时间:2026-02-12 18:57:33

|

447人浏览过

|

来源于php中文网

原创

c++中std::promise与协程promise_type是完全不同的机制:前者是中用于线程间单次结果传递的同步工具,后者是用户定义的协程状态机接口契约,二者无任何实现或继承关系。

c++中的promise对象是什么?(协程状态机是如何通信的)

C++ 没有标准 Promise 对象(不像 JavaScript 或 Python)。你看到的 std::promise 和协程里的 promise_type 是两套完全不同的机制,混用会直接导致理解崩塌。

std::promise 是线程间传递单次结果的工具

std::promisestd::future 配对使用,本质是线程安全的“一次写、多次读”通信通道,和协程无关。

  • 典型场景:后台线程算完一个值,主线程等它、取结果 —— 用 std::promise::set_value() 写,std::future::get()
  • 不能重复 set:第二次调用 set_value()set_exception() 会抛 std::future_error(错误码 std::future_errc::promise_already_satisfied
  • 没 set 就 get:会阻塞,直到被满足或超时;若 promise 被析构而未 set,get()std::future_errorno_state
  • 别把它当“协程返回值容器”:它不参与挂起/恢复逻辑,也不生成状态机

协程的 promise_type 是编译器生成状态机的接口契约

当你写 co_awaitco_return,编译器会在后台生成一个状态机类,而这个类必须嵌套定义 promise_type —— 它不是库类型,是你自己写的结构体/类。

PpcyAI
PpcyAI

泡泡次元AI-游戏美术AI创作平台,低门槛上手,高度可控,让你的创意秒速落地

下载
  • 必须提供 get_return_object():决定协程函数返回什么(比如 Task<int></int>),这个对象里通常持有一个指向状态机的指针
  • 必须提供 initial_suspend():返回 std::suspend_alwaysstd::suspend_never,控制协程启动时是否立刻挂起
  • 必须提供 final_suspend():决定协程结束前是否挂起(影响资源清理时机,漏掉会导致析构未执行)
  • unhandled_exception() 不可少:否则协程内抛异常会直接 terminate
  • 别试图在 promise_type 里存大对象:它被分配在协程帧(stack-like memory)上,生命周期由编译器管理,手动 new 容易泄漏

为什么有人把两者都叫 “Promise”?

纯属术语迁移造成的混淆。std::promise 借用了并发编程中“承诺交付结果”的比喻;而协程 promise_type 是沿用自早期 C++20 协程提案的设计命名,强调“为协程行为做出承诺(提供必要接口)”。二者既无继承关系,也无实现交集。

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

  • 查文档时注意上下文:std::promise<future></future> 头文件;协程 promise_type 必须由你定义,且只在 co_await 函数签名后隐式触发
  • 调试协程卡死?先检查 final_suspend() 返回了什么 —— 返回 std::suspend_always 但没手动 resume(),协程就永远停在那里
  • 想让协程返回值能被外部等待?得自己组合:用 std::promise 包裹协程结果,再在 return_value() 里调用 set_value(),但这已是应用层桥接,非语言机制

真正难的不是写对 promise_type 的函数签名,而是理解哪些成员函数会被编译器在什么时机调用、在哪条执行路径上 —— 这些细节没有运行时提示,错一点,协程就静默失效或崩溃。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

322

2025.06.09

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

198

2025.07.04

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

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

1393

2023.10.19

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

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

319

2025.10.17

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

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

2209

2025.12.29

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

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

36

2026.01.19

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

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

653

2023.08.10

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

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

653

2023.08.10

c语言 数据类型
c语言 数据类型

本专题整合了c语言数据类型相关内容,阅读专题下面的文章了解更多详细内容。

4

2026.02.12

热门下载

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

精品课程

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

共94课时 | 9.3万人学习

C 教程
C 教程

共75课时 | 4.7万人学习

C++教程
C++教程

共115课时 | 17.4万人学习

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

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