0

0

c++怎么使用std::future执行异步操作_c++ 线程返回值获取与异常捕获【实战】

尼克

尼克

发布时间:2025-12-31 08:26:02

|

676人浏览过

|

来源于php中文网

原创

std::async是最安全获取std::future的方式,需显式指定std::launch::async确保异步执行;std::promise适用于精细控制结果设置,但只能调用一次set_value/set_exception,且未设置时get()抛出broken_promise异常。

c++怎么使用std::future执行异步操作_c++ 线程返回值获取与异常捕获【实战】

std::async 启动异步任务并获取 std::future

直接用 std::async 是最常用、最安全的获取 std::future 的方式。它自动管理线程生命周期,避免裸线程泄漏或提前析构问题。

关键点:默认启动策略是 std::launch::async | std::launch::deferred,这意味着可能延迟执行(比如调用 get() 时才运行),也可能立即异步执行——行为不保证,除非显式指定策略。

  • 要确保真正异步执行,必须传入 std::launch::async,否则在某些编译器(如 MSVC Debug 模式)下会退化为同步调用,get() 不阻塞但也不并发
  • 函数返回值类型必须能被 std::future 包装;若返回 void,对应的是 std::future<void></void>,仍需调用 get() 等待完成(尤其为了捕获异常)
  • 不能忽略返回的 std::future 对象:若未调用 get()wait(),且其析构时内部状态仍为“未就绪”,则析构会阻塞直到任务结束(C++11 起标准强制要求)
auto fut = std::async(std::launch::async, []() -> int {
    std::this_thread::sleep_for(std::chrono::seconds(2));
    return 42;
});
// 此处可做其他工作
int result = fut.get(); // 阻塞等待,获取返回值,同时 rethrow 异常

从 std::promise 获取 std::future 并手动设值

当需要精细控制何时“完成”、或跨线程/回调中设置结果时,std::promise 更灵活。它和 std::future 是一对“生产-消费”端,通过共享状态关联。

常见误用:多个线程对同一个 std::promise 多次调用 set_value()set_exception() —— 这是未定义行为,只能调用一次。

立即学习C++免费学习笔记(深入)”;

  • std::promise 对象本身不可拷贝,只能移动;但它的 get_future() 返回的 std::future 可以拷贝(多个 future 共享同一状态)
  • 若 promise 析构前未调用任何 set 方法,其关联的 future 在 get() 时会抛出 std::future_error(错误码 std::future_errc::broken_promise
  • 在线程中捕获异常后,应调用 promise.set_exception(std::current_exception()),而非直接 throw —— 否则异常会终止线程,无法传递到 future 端
std::promise<int> prom;
auto fut = prom.get_future();

std::thread t([&prom]() {
    try {
        throw std::runtime_error("oops");
    } catch (...) {
        prom.set_exception(std::current_exception()); // 正确传递异常
    }
});
t.detach(); // 注意:此处仅作示意;实际应 join 或管理生命周期

// 主线程中
try {
    auto x = fut.get(); // 抛出 runtime_error
} catch (const std::exception& e) {
    std::cout << e.what() << "\n"; // 输出: oops
}

std::future::wait_for / wait_until 判断超时与状态

不能只靠 get() 等待,很多场景需要非阻塞轮询或带超时的等待。这时要用 wait_for()wait_until(),它们返回 std::future_status 枚举。

Vondy
Vondy

下一代AI应用平台,汇集了一流的工具/应用程序

下载

注意:wait_for() 的超时时间是相对当前时间的,不是从 future 创建起算;且即使返回 std::future_status::timeout,future 状态仍可能在之后变为 ready —— 它只是“此刻还没好”,不代表永远等不到。

  • 返回 std::future_status::ready 后,仍需调用 get() 才能取值或传播异常;不调用 get() 就直接丢弃 future,会导致析构时阻塞(见上一节)
  • 使用 std::chrono::steady_clock 相关时间点更可靠,避免系统时间被修改影响 wait_until
  • 在循环中反复调用 wait_for 做轮询时,注意避免忙等(例如加小延时),或改用条件变量 + shared state 组合
auto fut = std::async(std::launch::async, []{
    std::this_thread::sleep_for(std::chrono::seconds(3));
    return 123;
});

auto status = fut.wait_for(std::chrono::seconds(1));
if (status == std::future_status::timeout) {
    std::cout << "still running...\n";
} else if (status == std::future_status::ready) {
    std::cout << "result: " << fut.get() << "\n"; // 必须调用 get()
}

异常捕获必须通过 get(),且仅发生一次

std::future 的异常传递机制是“一次性消费”:只有首次调用 get() 会 rethrow 存储的异常;后续再调用会抛出 std::future_errorstd::future_errc::no_state 或类似,取决于实现)。

这是最容易忽略的陷阱:写两次 fut.get(),第二次必然崩溃,而且错误信息不直观。

  • 如果 future 已经调用过 get()(无论成功还是异常),就不能再用于 wait_forwait_until 或再次 get() —— 状态已销毁
  • 想多次检查状态,只能用 wait_for + std::future_status::ready,但最终取值/异常仍只能靠一次 get()
  • 对于 std::future<void></void>get() 不返回值,但仍会传播异常,也仅能调用一次

复杂点在于:异常是否发生,完全取决于你有没有调用 get()。哪怕异步函数里抛了异常,只要你不 get(),程序就不会崩,但你也永远不知道它失败了。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

186

2023.11.23

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

134

2025.11.27

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

766

2023.08.10

promise的用法
promise的用法

“promise” 是一种用于处理异步操作的编程概念,它可以用来表示一个异步操作的最终结果。Promise 对象有三种状态:pending(进行中)、fulfilled(已成功)和 rejected(已失败)。Promise的用法主要包括构造函数、实例方法(then、catch、finally)和状态转换。

337

2023.10.12

html文本框类型介绍
html文本框类型介绍

html文本框类型有单行文本框、密码文本框、数字文本框、日期文本框、时间文本框、文件上传文本框、多行文本框等等。详细介绍:1、单行文本框是最常见的文本框类型,用于接受单行文本输入,用户可以在文本框中输入任意文本,例如用户名、密码、电子邮件地址等;2、密码文本框用于接受密码输入,用户在输入密码时,文本框中的内容会被隐藏,以保护用户的隐私;3、数字文本框等等。

429

2023.10.12

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

25

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

44

2026.03.12

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

174

2026.03.11

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

50

2026.03.10

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
10分钟--Midjourney创作自己的漫画
10分钟--Midjourney创作自己的漫画

共1课时 | 0.1万人学习

Midjourney 关键词系列整合
Midjourney 关键词系列整合

共13课时 | 0.9万人学习

AI绘画教程
AI绘画教程

共2课时 | 0.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号