讲师中心 微信公众号
AI工具推荐 视频效率加速

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

阿强姑娘_1419

阿强姑娘_1419

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

|

507人浏览过

|

来源于php中文网

原创

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

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

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

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

std::promise 和 std::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_error(no_state)
  • 别把它当“协程返回值容器”:它不参与挂起/恢复逻辑,也不生成状态机

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

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

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • 必须提供 get_return_object():决定协程函数返回什么(比如 Task<int></int>),这个对象里通常持有一个指向状态机的指针
  • 必须提供 initial_suspend():返回 std::suspend_always 或 std::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工具

更多
AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

相关专题

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

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

5034

2025.06.09

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

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

5191

2025.07.04

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

379

2026.04.23

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

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

3188

2023.10.19

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

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

5149

2025.10.17

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

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

3849

2025.12.29

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

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

486

2026.01.19

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

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

4498

2023.08.10

Vite 项目如何打包和部署
Vite 项目如何打包和部署

Vite项目打包部署专题汇集生产构建、产物预览、输出目录、资源路径、Nginx与GitHub Pages部署及常见白屏和路由404问题的已审核文章,帮助读者完成上线流程。

60

2026.10.28

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn