c++11并发编程历程（14）：future中保存异常信息

最新推荐文章于 2025-05-21 09:50:18 发布

原创最新推荐文章于 2025-05-21 09:50:18 发布 · 671 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #exception #多线程

c++11并发编程历程专栏收录该内容

35 篇文章

订阅专栏

本文探讨了 C++ 中 std::async 和 std::future 如何处理异常，特别是在异步调用 square_root 函数时如何捕获并重新抛出异常的情况。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

从当前线程调用异常片段

#include <iostream>
#include <thread>
#include <cmath>   //sqrt
double square_root(double x)
{
    if(x<0)
    {
        throw std::out_of_range("x<0");
    }
    return sqrt(x);
}

int main()
{
    square_root(-1);
}

运行结果：

异步调用异常片段：

#include <iostream>
#include <thread>
#include <cmath>   //sqrt
#include <future>

double square_root(double x)
{
    if(x<0)
    {
        throw std::out_of_range("x<0");
    }
    return sqrt(x);
}

int main()
{
    //square_root(-1);
    std::future<double> result = std::async(square_root,-1);
    //double y = result.get();
    return 0;
}

执行结果：

奇怪了，为啥没有抛出异常呢，因为异常信息被存在future中了

#include <iostream>
#include <thread>
#include <cmath>   //sqrt
#include <future>

double square_root(double x)
{
    if(x<0)
    {
        throw std::out_of_range("x<0");
    }
    return sqrt(x);
}

int main()
{
    //square_root(-1);
    std::future<double> result = std::async(square_root,-1);
    double y = result.get();
    return 0;
}

运行结果：

实际情况是，如果作为std::async一部分的函数调用引发了异常，该异常会被储存在future中，代替所存储的值，future变为就绪，并且对get的调用会重新引发所存储的异常（重新引发的是原始异常对象还是副本，c++标准对此不做要求）。同理std::packed_task也是如此。

std::promise在显示调用下支持手动写入异常。

extern std::promise<double> some_promise;

try
{
    some_promise.set_value(1.1f);
}
catch(...)
{
    some_promise.set_exception(std::current_exception());
}

另一种将异常存储至future的方式，是销毁与future关联的std::promise或std::packaged_task，而无需在promise上调用设置函数或是调用打包任务，在任何一种情况下，如果future尚未就绪，std::promise或std::packaged_task的析构函数会将具有std::future_errc::broken_promise错误代码的std::future_error异常存储在相关联的状态里。