std::promise和std::future用于线程间异步通信,promise设置值或异常,future获取结果;示例中主线程通过future等待子线程计算结果,支持异常传递与超时检测,相比std::async更灵活,适用于手动控制任务完成场景。
在C++中,std::future 和 std::promise 是实现异步任务间通信的重要工具。它们提供了一种机制,让一个线程可以产生结果,而另一个线程等待该结果,从而实现解耦和高效协作。
std::promise 是一个“承诺”,表示未来会设置一个值或异常;std::future 则是获取这个“承诺”结果的句柄。两者通过共享状态关联:一个 promise 对应一个 future。
典型使用模式:
注意:promise 必须通过 move 传递给线程,不能复制。每个 promise 只能 set_value() 一次,多次调用会导致程序终止。
std::async 是更高层的异步接口,自动返回一个 future,适合直接启动可调用对象:
auto fut = std::async([]{ return 84; }); int res = fut.get(); // 等待并获取结果而 promise 更灵活,适用于:
除了正常值,promise 还能传递异常:
void may_fail(std::promise当 future 调用 get() 时,会重新抛出该异常。这使得错误处理可以在等待线程中集中进行。
future 还
支持非阻塞检查:wait_for 和 wait_until 可以指定超时,返回状态如 ready、timeout 或 deferred。