C++异步编程：future/promise模式详解与实践

1. 为什么我们需要future：异步编程的核心痛点

在C++中处理耗时操作时，传统同步编程模式会让调用线程阻塞等待结果返回。想象你在快餐店点单：如果采用同步方式，你必须站在柜台前干等着厨师做好汉堡，期间不能做任何其他事情——这显然是对时间的巨大浪费。

future/promise模式正是为解决这一问题而生。它相当于给你一张取餐小票：你下单后（启动异步任务）可以立即离开柜台（线程不被阻塞），等餐点准备好时（计算结果就绪），凭小票（future对象）随时取餐（获取结果）。这种"任务派发"与"结果获取"的分离，是多线程编程中最优雅的解决方案之一。

关键洞察：future不是简单的线程封装，而是对异步计算过程的抽象。它代表一个"未来值"的占位符，将计算逻辑与结果消费解耦。

2. future的底层实现机制

2.1 状态机模型

每个future背后都关联着一个共享状态，这个状态会在三种情况间转换：

1. Deferred：任务尚未开始执行
2. Ready：任务已完成并存储结果/异常
3. Timeout：在指定时间内未就绪

cpp复制// 典型的状态检查方法
if (future.wait_for(0s) == future_status::ready) {
    // 结果已就绪
}

2.2 内存同步保障

标准要求实现必须保证：

• promise设置值的操作与通过future获取该值的操作形成同步关系
• 这些操作会自动建立happens-before关系，避免数据竞争

3. 实战：四种future使用模式

3.1 基础异步任务

cpp复制#include <future>
#include <iostream>

int compute() {
    // 模拟耗时计算
    std::this_thread::sleep_for(1s);
    return 42;
}

int main() {
    auto fut = std::async(std::launch::async, compute);
    
    // 执行其他工作...
    
    std::cout << "Result: " << fut.get() <<