异常在std::async中被封装于std::future，调用get()时才会重新抛出；必须始终对get()进行异常捕获，确保每个future都被消费，避免析构时触发std::terminate。
在C++中使用std::async处理可能抛出异常的任务时，关键在于理解异常不会在异步任务执行时立即传播，而是被封装在返回的std::future对象中。只有当你调用get()获取结果时，异常才会被重新抛出。
异常如何在std::async中传递
当一个通过std::async启动的任务抛出异常，这个异常会被捕获并存储在共享状态中，与返回值一样。你必须通过std::future::get()来访问这个状态——如果任务抛出了异常，get()会重新抛出它。
#include <iostream>
#include <future>
#include <stdexcept>
void may_throw() {
throw std::runtime_error("Something went wrong!");
}
int main() {
std::future<void> fut = std::async(std::launch::async, may_throw);
try {
fut.get(); // 异常在此处重新抛出
} catch (const std::exception& e) {
std::cout << "Caught exception: " << e.what() << '\n';
}
return 0;
}
正确捕获和处理异常的建议
为了避免程序因未捕获的异常而终止，你应该始终对future::get()调用进行异常包装。以下是几个实用做法：
- 确保每个
std::async返回的future都被调用get()或wait()，否则在析构时若异常未处理，会调用std::terminate。 - 即使你不关心返回值，也应调用
get()以触发潜在异常的传播。 - 可以使用
std::promise手动控制异常存储，适用于更复杂的异步流程管理。
避免future析构时崩溃
如果一个std::future对象在没有调用get()或wait()的情况下被销毁，且其异步任务抛出了异常，那么在future析构时会调用std::terminate，导致程序直接退出。
立即学习“C++免费学习笔记（深入）”；
解决方法是：保证所有future都被正确“消费”。
auto fut = std::async(std::launch::async, []{
throw std::logic_error("Error in task");
});
try {
fut.get();
} catch (...) {
// 处理或忽略异常，但不能跳过get()
}
基本上就这些。关键是记住：异常不会自动传播，必须通过get()触发。只要记得检查future状态并处理可能的异常，就能安全地管理异步任务中的错误。 
