C future、promise 与 async接收后台结果也接住后台异常启动线程只是并发任务的一半另一半是把结果或失败传回来。future 负责接收共享状态中的结果promise 负责显式提供结果async 则把任务启动与结果通道组合起来。最低标准C14示例使用初始化捕获。示例显式使用 launch::async不依赖默认启动策略。1. 两种交付结果的方式#includeexception#includefuture#includeiostream#includestdexcept#includethread#includeutilityintsquare(intx){if(x0)throwstd::runtime_error(negative input);returnx*x;// 本例仅传入 -1通用函数需额外处理乘法溢出}intmain(){autotaskstd::async(std::launch::async,square,-1);try{std::couttask.get()\n;}catch(conststd::exceptione){std::coute.what()\n;}std::promiseintproducer;autoresultproducer.get_future();std::threadworker([pstd::move(producer)]()mutable{try{p.set_value(42);}catch(...){p.set_exception(std::current_exception());}});worker.join();std::coutresult.get()\n;}future、promise 和 async 工具本身自 C11 提供本例使用 C14 的初始化捕获来转移 promise。输出为 negative input 和 42。async 任务的异常保存在共享状态里在 get 时重新抛出promise 也可以通过 set_exception 把工作线程的异常传回接收端。2. get 与 wait 不是一回事wait 等到共享状态就绪但不取出结果也不负责把任务异常重新抛出。get 等待并取得结果或者抛出保存的异常。普通 future 的 get 会消耗关联状态之后不能再重复 get。需要多个接收者重复观察同一结果时可以研究 shared_future但它不自动让结果指向的可变对象线程安全。3. 默认 async 不保证马上开线程不指定策略时实现可以选择异步执行或延迟执行。使用 launch::async 可以明确要求异步方式但资源不足仍可能让任务启动失败需要按实际场景处理异常。来自 async 的 future 在特定条件下销毁时可能等待任务结束。因此把返回的 future 当成临时对象直接丢弃可能让本以为并行的多次调用变成串行等待。应保存 future并在合适的位置统一接收结果。4. promise 是一次性交付通道同一个共享状态不能随意重复 set_value 或 set_exception。若提供者在交付前销毁接收端可能得到 broken_promise 错误。通道不是队列不适合反复传递多条消息。示例先 join 再 get确保本地线程正常结束后才处理结果。实际代码若把可能抛异常的操作放在 join 之前还需要用 RAII 管理线程防止异常路径留下 joinable 的 thread。异步不等于可以无限创建任务。任务很多时要限制并发量并设计取消、超时和退出流程这些能力不能仅靠一个 future 自动获得。
C future、promise 与 async接收后台结果也接住后台异常启动线程只是并发任务的一半另一半是把结果或失败传回来。future 负责接收共享状态中的结果promise 负责显式提供结果async 则把任务启动与结果通道组合起来。最低标准C14示例使用初始化捕获。示例显式使用 launch::async不依赖默认启动策略。1. 两种交付结果的方式#includeexception#includefuture#includeiostream#includestdexcept#includethread#includeutilityintsquare(intx){if(x0)throwstd::runtime_error(negative input);returnx*x;// 本例仅传入 -1通用函数需额外处理乘法溢出}intmain(){autotaskstd::async(std::launch::async,square,-1);try{std::couttask.get()\n;}catch(conststd::exceptione){std::coute.what()\n;}std::promiseintproducer;autoresultproducer.get_future();std::threadworker([pstd::move(producer)]()mutable{try{p.set_value(42);}catch(...){p.set_exception(std::current_exception());}});worker.join();std::coutresult.get()\n;}future、promise 和 async 工具本身自 C11 提供本例使用 C14 的初始化捕获来转移 promise。输出为 negative input 和 42。async 任务的异常保存在共享状态里在 get 时重新抛出promise 也可以通过 set_exception 把工作线程的异常传回接收端。2. get 与 wait 不是一回事wait 等到共享状态就绪但不取出结果也不负责把任务异常重新抛出。get 等待并取得结果或者抛出保存的异常。普通 future 的 get 会消耗关联状态之后不能再重复 get。需要多个接收者重复观察同一结果时可以研究 shared_future但它不自动让结果指向的可变对象线程安全。3. 默认 async 不保证马上开线程不指定策略时实现可以选择异步执行或延迟执行。使用 launch::async 可以明确要求异步方式但资源不足仍可能让任务启动失败需要按实际场景处理异常。来自 async 的 future 在特定条件下销毁时可能等待任务结束。因此把返回的 future 当成临时对象直接丢弃可能让本以为并行的多次调用变成串行等待。应保存 future并在合适的位置统一接收结果。4. promise 是一次性交付通道同一个共享状态不能随意重复 set_value 或 set_exception。若提供者在交付前销毁接收端可能得到 broken_promise 错误。通道不是队列不适合反复传递多条消息。示例先 join 再 get确保本地线程正常结束后才处理结果。实际代码若把可能抛异常的操作放在 join 之前还需要用 RAII 管理线程防止异常路径留下 joinable 的 thread。异步不等于可以无限创建任务。任务很多时要限制并发量并设计取消、超时和退出流程这些能力不能仅靠一个 future 自动获得。
