如何在c++中实现一个简单的Futures/Promises库? (异步编程基础)

发布时间 - 2026-01-10 00:00:00    点击率:
自己实现最小Promise/Future是为了透彻理解值跨线程传递、状态原子切换、回调注册触发三大核心机制,避开标准库复杂调度细节。

为什么 std::promise/std::future 已经够用,还要自己实现?

因为标准库的 std::promisestd::future 是线程安全、带状态机、支持 wait_for/wait_until 的完整实现,但它的内部依赖 std::mutexstd::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(否则程序终止)
  • 不要在回调里直接访问原 Futureget() —— 此时值已就绪,但语义上应通过参数传入

常见崩溃点和调试建议

自己实现最容易栽在内存生命周期和竞态上:

  • Future 持有裸指针指向栈上的 Promise?一旦 Promise 析构,Future::get() 就访问野指针 —— 必须确保 Promise 生命周期长于所有关联的 Future
  • 多个线程同时调用同一个 Promise::set_value()is_ready_.exchange(true) 是原子的,但 value_.emplace() 不是 —— 所以 assert 那行其实承担了排他性检查职责,漏掉就 UB
  • std::this_thread::yield() 做轮询?在单核机器或高负载下可能饿死;真实项目中应搭配 std::condition_variablestd::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优化与响应式模板定制开发