std::future和std::promise用于异步传递结果，前者获取后者设置的值；通过std::async可简化异步任务，手动使用时需注意唯一设置值、异常处理及线程安全。
在C++中，std::future 和 std::promise 是实现异步编程的重要工具，它们定义在 <future> 头文件中，用于在线程之间传递值或异常。通过它们可以轻松地将一个任务的结果从执行线程传递给接收线程。
基本概念：future 与 promise 的作用
std::promise 是一个可写入一次的容器，用于设置某个值或异常；而 std::future 是与之关联的只读对象，用于获取这个值。一旦 promise 设置了值（通过 set_value），future 就可以通过 get() 获取该值，且 get() 会阻塞直到值可用。
这种机制非常适合用于异步任务中：一个线程负责计算并设置结果，另一个线程等待并使用结果。
使用 std::async 简化异步任务
最简单的异步方式是使用 std::async，它自动返回一个 future，无需手动管理 promise。
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
#include <future>
#include <thread>
int compute() {
std::this_thread::sleep_for(std::chrono::seconds(2));
return 42;
}
int main() {
std::future<int> fut = std::async(compute);
std::cout << "正在等待结果...\n";
int result = fut.get(); // 阻塞直到完成
std::cout << "结果: " << result << "\n";
return 0;
}
这里 std::async 启动了一个异步任务，返回 future 对象。调用 get() 时主线程会等待任务完成。
手动使用 promise 和 future 控制异步流程
当你需要更精细控制何时设置结果时，可以手动创建 promise 并传递其 future。
#include <iostream>
#include <future>
#include <thread>
void background_task(std::promise<std::string>&& prom) {
try {
std::this_thread::sleep_for(std::chrono::seconds(1));
prom.set_value("任务完成！");
} catch (...) {
prom.set_exception(std::current_exception());
}
}
int main() {
std::promise<std::string> prom;
std::future<std::string> fut = prom.get_future();
std::thread t(background_task, std::move(prom));
std::cout << "等待后台消息...\n";
std::string msg = fut.get();
std::cout << "收到: " << msg << "\n";
t.join();
return 0;
}
在这个例子中，主线程创建 promise 并获取对应的 future，然后将 promise 移动到子线程中。子线程完成工作后调用 set_value，唤醒等待的主线程。
注意：每个 promise 只能调用一次 set_value 或 set_exception，多次调用会导致程序终止。
共享状态与线程安全
future 和 promise 共享一个“共享状态”，这个状态由系统管理，保证线程安全。但 promise 本身不是线程安全的——不能在多个线程中同时调用 set_value。通常一个 promise 只由一个线程负责写入。
如果需要多个生产者，应使用其他同步机制（如互斥锁）协调对 promise 的访问，或者改用更高级的并发结构如无锁队列配合 async。
基本上就这些。合理使用 future 和 promise 能让异步逻辑清晰、简洁，避免复杂的回调嵌套。对于简单任务优先使用 std::async；复杂场景再手动管理 promise。不复杂但容易忽略的是异常处理和唯一性约束。
