std::async 提供异步任务启动机制，通过 std::future 获取结果；支持 launch::async（新线程）和 launch::deferred（延迟执行）策略；可结合 lambda 使用，具备超时等待与异常处理能力，适用于简洁的异步编程，但高并发下需结合线程池优化。
在C++11中引入的 std::async 提供了一种简洁的方式来进行异步操作。它允许你以非阻塞的方式启动一个任务，并在需要时获取其结果。通过结合 std::future，你可以轻松管理异步计算的状态和返回值。
std::async 基本用法
std::async 是一个函数模板，用于启动一个异步任务。它可以接受一个可调用对象（如函数、lambda表达式或函数对象），并返回一个 std::future 对象，用来获取异步操作的结果。
基本语法如下：
auto future = std::async(launch::async | launch::deferred, callable, args...);其中：
立即学习“C++免费学习笔记（深入）”；
- launch::async：强制异步执行，即开启新线程运行任务。
- launch::deferred：延迟执行，任务会在 future 的 get() 或 wait() 调用时才在当前线程运行。
- 默认行为是两者均可，由系统决定。
示例代码：
#include <iostream>#include <future>
#include <thread>
int compute_sum(int a, int b) {
std::this_thread::sleep_for(std::chrono::seconds(2)); // 模拟耗时操作
return a + b;
}
int main() {
auto future = std::async(std::launch::async, compute_sum, 2, 3);
std::cout << "正在执行异步计算...\n";
int result = future.get(); // 阻塞等待结果
std::cout << "结果: " << result << std::endl;
return 0;
}
获取异步结果与状态检查
通过 std::future 可以安全地获取异步任务的返回值。除了 get() 方法外，还可以使用 wait_for 或 wait_until 进行超时控制，避免无限等待。
常用方法包括：
- get()：获取结果，调用后 future 变为无效状态。
- wait()：等待任务完成，不获取结果。
- wait_for(timeout)：等待指定时间，判断是否就绪。
示例：带超时检查
auto future = std::async(compute_sum, 4, 5);auto status = future.wait_for(std::chrono::milliseconds(100));
if (status == std::future_status::ready) {
std::cout << "结果: " << future.get() << std::endl;
} else {
std::cout << "任务尚未完成\n";
}
使用 Lambda 表达式进行异步操作
lambda 表达式常用于临时定义简单的异步逻辑，使代码更紧凑。
auto future = std::async(std::launch::async, []() -> std::string {std::this_thread::sleep_for(std::chrono::seconds(1));
return "Hello from async thread";
});
std::cout << future.get() << std::endl;
这种方式适合轻量级任务或不需要复用的逻辑。
异常处理与资源管理
异步任务中抛出的异常不会直接中断主线程，但会被捕获并存储，直到调用 future.get() 时重新抛出。
因此，在调用 get() 时建议使用 try-catch 块处理可能的异常。
auto future = std::async([]{throw std::runtime_error("Something went wrong!");
});
try {
future.get();
} catch (const std::exception& e) {
std::cout << "捕获异常: " << e.what() << std::endl;
}
确保异常能被正确传递和处理，是编写健壮异步代码的关键。
基本上就这些。std::async 简化了多线程编程，但也要注意不要滥用。对于高并发场景，配合线程池或更底层的 std::thread 和 std::packaged_task 可能更高效。理解 launch 策略和 future 生命周期，才能写出可靠且高效的异步逻辑。
