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<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 是“一次性通道”，设计上就不是为反复通信准备的——需要多次传递值，请改用线程安全队列或其它机制。