如何在c++中实现一个简单的Futures/Promises库? (异步编程基础)
发布时间 - 2026-01-10 00:00:00 点击率:次自己实现最小Promise/Future是为了透彻理解值跨线程传递、状态原子切换、回调注册触发三大核心机制,避开标准库复杂调度细节。
为什么 std::promise/std::future 已经够用,还要自己实现?
因为标准库的 std::promise 和 std::future 是线程安全、带状态机、支持 wait_for/wait_until 的完整实现,但它的内部依赖 std::mutex、std::condition_variable 甚至 TLS(如 std::async 的 launch policy),初学者直接读源码容易迷失在调度细节里。自己写一个最小可行版本,能看清「值如何跨线程传递」「状态如何原子切换」「回调如何注册与触发」这三个核心问题。
最简 Promise/Future 需要哪些成员?
一个可拷贝的 Future + 一个独占持有的 Promise 就够了,不支持共享状态(即不实现 std::shared_future),也不支持多消费者。关键点是:状态必须用原子变量控制,值存储需延迟构造(避免未就绪时访问)。
-
Promise持有std::atomic表示是否已设置(is_ready_),以及一个std::optional存值(C++17 起可用;否则用aligned_storage+ placement new) -
Future持有对同一份is_ready_和value_的引用(或指针),只读,不可调用set_value - 禁止拷贝
Promise,只允许移动 —— 否则多个对象可能同时调用set_value -
Future::get()必须阻塞直到is_ready_ == true,可用while(!is_ready_.load()) std::this_thread::yield();(简单场景),生产环境应改用条件变量
#include#include #include #include template
class SimplePromise { std::atomic_bool isready{false}; std::optional value_; public: SimplePromise() = default; SimplePromise(const SimplePromise&) = delete; SimplePromise& operator=(const SimplePromise&) = delete; SimplePromise(SimplePromise&&) = default; SimplePromise& operator=(SimplePromise&&) = default;
void set_value(T v) { assert(!is_ready_.exchange(true)); // 确保只设置一次 value_.emplace(std::move(v)); } friend class SimpleFuturezuojiankuohaophpcnTyoujiankuohaophpcn;};
template
class SimpleFuture { SimplePromise * promise_; public: explicit SimpleFuture(SimplePromise
& p) : promise_(&p) {} T get() { while (!promise_-youjiankuohaophpcnis_ready_.load()) { std::this_thread::yield(); } return std::move(*promise_-youjiankuohaophpcnvalue_); }
};
如何添加回调支持(类似 then())?
原生
std::future不支持链式回调,这是自己实现时最有价值的扩展点。核心是:当Promise就绪时,遍历并执行所有注册的函数对象(std::function)。注意两点:回调必须在就绪后立即执行(不新开线程),且不能递归调用set_value(否则栈溢出)。
- 把
std::vector<:function>>加进SimplePromise,并在set_value末尾遍历调用Future::then()返回一个新的Future,它内部新建一个Promise,并在回调里调用其set_value- 若回调抛异常,需捕获并转为
std::exception_ptr(否则程序终止)- 不要在回调里直接访问原
Future的get()—— 此时值已就绪,但语义上应通过参数传入常见崩溃点和调试建议
自己实现最容易栽在内存生命周期和竞态上:
Future持有裸指针指向栈上的Promise?一旦Promise析构,Future::get()就访问野指针 —— 必须确保Promise生命周期长于所有关联的Future- 多个线程同时调用同一个
Promise::set_value()?is_ready_.exchange(true)是原子的,但value_.emplace()不是 —— 所以assert那行其实承担了排他性检查职责,漏掉就 UB- 用
std::this_thread::yield()做轮询?在单核机器或高负载下可能饿死;真实项目中应搭配std::condition_variable或std::atomic_flag::wait()(C++20)- 移动
Promise后又调用set_value?移动后原对象处于有效但未指定状态,is_ready_.load()仍合法,但value_.emplace()可能失败 —— 所以移动构造函数里应显式置空value_并重置is_ready_真正难的不是语法,而是想清楚:谁拥有值、谁负责析构、谁决定就绪时机、回调在哪个线程执行。这些边界模糊的地方,才是异步逻辑出 bug 的温床。
# 栈 # ai # c++ # 标准库 # 为什么 # red # while # 构造函数 # 递归 # void # 指针 # class # public # 线程 # function # 对象 # promise # 异步 # bug # 回调 # 多个 # 遍历 # 并在 # 不支持 # 链式 # 这是 # 也不 # 才是
相关栏目: 【 网站优化151355 】 【 网络推广146373 】 【 网络技术251813 】 【 AI营销90571 】
相关推荐: 移动端脚本框架Hammer.js Laravel安装步骤详细教程_Laravel环境搭建指南 Laravel定时任务怎么设置_Laravel Crontab调度器配置 Laravel如何获取当前登录用户信息_Laravel Auth门面使用与Session用户读取【技巧】 Laravel如何实现API版本控制_Laravel API版本化路由设计策略 如何注册花生壳免费域名并搭建个人网站? ,交易猫的商品怎么发布到网站上去? 谷歌Google入口永久地址_Google搜索引擎官网首页永久入口 大连网站制作费用,大连新青年网站,五年四班里的视频怎样下载啊? javascript中对象的定义、使用以及对象和原型链操作小结 西安市网站制作公司,哪个相亲网站比较好?西安比较好的相亲网站? 网站页面设计需要考虑到这些问题 如何撰写建站申请书?关键要点有哪些? 如何自定义safari浏览器工具栏?个性化设置safari浏览器界面教程【技巧】 网站制作软件有哪些,制图软件有哪些? 如何在Windows虚拟主机上快速搭建网站? 做企业网站制作流程,企业网站制作基本流程有哪些? 深圳网站制作平台,深圳市做网站好的公司有哪些? 图册素材网站设计制作软件,图册的导出方式有几种? 如何用手机制作网站和网页,手机移动端的网站能制作成中英双语的吗? Laravel如何监控和管理失败的队列任务_Laravel失败任务处理与监控 Laravel如何处理表单验证?(Requests代码示例) Laravel怎么判断请求类型_Laravel Request isMethod用法 如何基于云服务器快速搭建网站及云盘系统? Laravel如何实现多对多模型关联?(Eloquent教程) 5种Android数据存储方式汇总 实例解析angularjs的filter过滤器 JavaScript如何实现音频处理_Web Audio API如何工作? ChatGPT 4.0官网入口地址 ChatGPT在线体验官网 用v-html解决Vue.js渲染中html标签不被解析的问题 Laravel Blade模板引擎语法_Laravel Blade布局继承用法 如何用已有域名快速搭建网站? 如何在建站主机中优化服务器配置? 零服务器AI建站解决方案:快速部署与云端平台低成本实践 Windows10怎样连接蓝牙设备_Windows10蓝牙连接步骤【教程】 如何将凡科建站内容保存为本地文件? 如何在阿里云通过域名搭建网站? 百度浏览器ai对话怎么关 百度浏览器ai聊天窗口隐藏 Laravel如何为API编写文档_Laravel API文档生成与维护方法 Laravel如何使用Sanctum进行API认证?(SPA实战) 如何彻底删除建站之星生成的Banner? EditPlus中的正则表达式实战(6) 公司网站制作价格怎么算,公司办个官网需要多少钱? 网站制作公司哪里好做,成都网站制作公司哪家做得比较好,更正规? 如何在云服务器上快速搭建个人网站? Windows10电脑怎么查看硬盘通电时间_Win10使用工具检测磁盘健康 Python结构化数据采集_字段抽取解析【教程】 Laravel怎么使用Intervention Image库处理图片上传和缩放 iOS正则表达式验证手机号、邮箱、身份证号等 高端企业智能建站程序:SEO优化与响应式模板定制开发


eady_.load()) {
std::this_thread::yield();
}
return std::move(*promise_-youjiankuohaophpcnvalue_);
}