c++的std::promise是什么在线程间传递值的异步工具【并发编程】_技术教程

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）实现的手动异步流程。例如：

一个线程负责读文件，主线程等待读取完成并处理内容：

std::promise p;
std::future 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())。