std::promise 是 C++11 提供的单向结果传递机制,配合 std::future 实现“承诺-获取”:生产者调用 set_value()/set_exception() 一次交付结果,消费者通过 future.get() 阻塞获取;独占绑定、不可重用、需注意生命周期与异常安全。

std::promise 是 C++11 引入的用于在线程间**单向传递结果值**的同步工具,它本身不执行任何异步操作,而是配合 std::future 构成“承诺-获取”机制:一个线程通过 promise.set_value()(或 set_exception())“兑现承诺”,另一个线程通过关联的 future.get() 阻塞等待并取回结果。
核心作用:解耦生产者与消费者线程
它让一个线程(比如工作线程)能安全地把计算结果“扔给”另一个线程(比如主线程),而无需共享变量、加锁或手动管理状态标志。关键点在于:
- 每个
std::promise对象**独占绑定一个std::future**(通过get_future()获取),不可重复绑定; - 只能调用一次
set_value()或set_exception(),多次调用会抛出std::future_error; -
future.get()是阻塞调用——若 promise 尚未设置值,调用线程会挂起,直到值被设置或异常被抛出。
典型使用模式:启动异步任务并获取结果
常见于用 std::thread 或 std::async(底层也基于 promise/future)实现的手动异步流程。例如:
一个线程负责读文件,主线程等待读取完成并处理内容:
立即学习“C++免费学习笔记(深入)”;
std::promise<std::string> p;
std::future<std::string> f = p.get_future();
std::thread t([&p]() {
std::string data = readFile("config.txt"); // 模拟耗时IO
p.set_value(std::move(data)); // 主动交付结果
});
t.detach(); // 或 join()
// 主线程中
std::string content = f.get(); // 阻塞等待,拿到字符串
注意生命周期和异常安全
std::promise 和其关联的 std::future 必须保证:promise 对象在调用 set_* 前不能被销毁;future 对象在调用 get() 前也不能被销毁。否则行为未定义。
若工作线程发生异常且未调用 set_exception(),而 future 调用了 get(),程序会直接 std::terminate。因此推荐用 try/catch 包裹工作逻辑,并显式捕获后调用 p.set_exception(std::current_exception())。
替代方案对比:std::async 更常用,但 promise 更灵活
std::async 内部封装了 promise/future,适合“立刻启动并返回 future”的场景;而 std::promise 允许你:
- 延迟设置值(比如响应某个事件后再交付);
- 跨多个函数传递 promise(比如传入回调、作为参数转发);
- 与条件变量、信号量等其他同步原语组合使用;
- 实现自定义异步操作(如包装 C 回调 API)。
不复杂但容易忽略的是:promise 是“一次性通道”,设计上就不是为反复通信准备的——需要多次传递值,请改用线程安全队列或其它机制。










