c++如何使用future和promise进行异步编程_c++异步任务实现_技术教程

std::future和std::promise用于异步传递结果，前者获取后者设置的值；通过std::async可简化异步任务，手动使用时需注意唯一设置值、异常处理及线程安全。

在C++中，std::future 和 std::promise 是实现异步编程的重要工具，它们定义在头文件中，用于在线程之间传递值或异常。通过它们可以轻松地将一个任务的结果从执行线程传递给接收线程。

基本概念：future 与 promise 的作用

std::promise 是一个可写入一次的容器，用于设置某个值或异常；而 std::future 是与之关联的只读对象，用于获取这个值。一旦 promise 设置了值（通过 set_value），future 就可以通过 get() 获取该值，且 get() 会阻塞直到值可用。

这种机制非常适合用于异步任务中：一个线程负责计算并设置结果，另一个线程等待并使用结果。

使用 std::async 简化异步任务

最简单的异步方式是使用 std::async，它自动返回一个 future，无需手动管理 promise。

#include 
#include 
#include 

int compute() {
    std::this_thread::sleep_for(std::chrono::seconds(2));
    return 42;
}

int main() {
    std::future 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 
#include 
#include 

void background_task(std::promise&& 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 prom;
    std::future 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，多次调用会导致程序终止。