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，多次调用会导致程序终止。

共享状态与线程安全

future 和 promise 共享一个“共享状态”，这个状态由系统管理，保证线程安全。但 promise 本身不是线程安全的——不能在多个线程中同时调用 set_value。通常一个 promise 只由一个线程负责写入。

如果需要多个生产者，应使用其他同步机制（如互斥锁）协调对 promise 的访问，或者改用更高级的并发结构如无锁队列配合 async。

基本上就这些。合理使用 future 和 promise 能让异步逻辑清晰、简洁，避免复杂的回调嵌套。对于简单任务优先使用 std::async；复杂场景再手动管理 promise。不复杂但容易忽略的是异常处理和唯一性约束。

# 工具 # ai # c++ # ios # stream # 异步任务 # 无锁 # 同步机制 # 线程 # 主线程 # 并发 # 对象 # promise # 异步 # 多个 # 的是 # 是一个 # 在这个 # 当你 # 能在 # 能让 # 与之 # 最简单 # 回调

返回目录在线咨询

上一篇：爱做网站：轻松搭建个性化网页平台
下一篇：React组件之间的通信的实例代码

您的项目需求