0

0

C++中如何通过std::async实现简单的异步编程? (Future模型)

穿越時空

穿越時空

发布时间:2026-02-24 10:10:04

|

860人浏览过

|

来源于php中文网

原创

必须显式指定 std::launch::async 才能确保真正异步执行;默认策略可能延迟启动,导致隐式阻塞;std::future 仅可 get() 一次,多次调用引发未定义行为;按值捕获或共享智能指针避免悬空引用;异常在 get() 时才抛出,需加 try/catch。

c++中如何通过std::async实现简单的异步编程? (future模型)

std::async 启动异步任务时,launch策略选 std::launch::async 还是默认?

默认行为不保证真正异步执行——它可能是延迟启动(std::launch::deferred),也就是调用 get()wait() 时才同步运行。这会让代码看起来“异步”,实则阻塞,尤其在调试或压测时容易误判。

  • 明确需要并发执行:必须传 std::launch::async,例如 std::async(std::launch::async, []{ return 42; })
  • 想复用线程池或控制资源:别用 std::async,它不提供线程管理能力;改用 std::thread + std::promise 或第三方库(如 folly、taskflow)
  • 忘记指定策略又没调 get():任务根本不会运行,std::future 会一直处于无效状态,后续调用 get()std::future_error(错误码为 no_state

std::future::get() 调用一次后再次调用会崩溃

std::future 是一次性消费对象,get() 不仅取值,还会移动内部状态,第二次调用直接触发未定义行为(常见表现是 std::terminate 或 SIGABRT)。

  • 安全做法:只调一次 get(),且确保它一定会被调用(比如 RAII 封装、或放在作用域末尾)
  • 如果需要多次检查结果:改用 std::shared_future,通过 share() 获得,支持多处 get()
  • 想非阻塞轮询:用 wait_for(std::chrono::seconds(0)) == std::future_status::ready,而不是反复 get()

lambda 捕获局部变量后异步访问导致悬空引用

常见错误是按引用捕获栈上变量,比如 [&x] { use(x); },而 xstd::async 返回后就已析构。此时访问就是野指针,行为不可预测。

  • 确认生命周期:只有当异步任务执行完、且 futureget() 后,捕获的栈变量才安全——但这几乎无法保证
  • 稳妥做法:按值捕获([=]),或显式拷贝需要的数据,例如 [x = x] { use(x); }
  • 若必须传大对象:用 std::shared_ptr 管理,捕获智能指针而非原始引用
  • 编译器一般不报错,但 AddressSanitizer 能检测到这类悬空访问

异常从 async 任务逃逸到 get() 才抛出

异步任务里抛的异常不会立即传播,而是被 std::future 捕获并暂存,直到调用 get() ——这时才重新抛出原始异常。这容易让人误以为“没出错”,直到取结果时程序崩溃。

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

  • 务必在 get() 周围加 try/catch,尤其是任务逻辑可能失败时
  • 异常类型必须可拷贝(满足 CopyConstructible),否则 get() 行为未定义
  • 不能靠 wait() 判断是否成功:它只说明任务结束,不区分正常完成还是异常终止
C++ 的 std::async 表面简单,但 launch 策略、future 生命周期、捕获语义和异常传递这四点,任意一个没对齐实际需求,就会在运行时咬你一口——而且往往不在出问题的地方。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

212

2023.09.15

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

192

2025.11.08

Python lambda详解
Python lambda详解

本专题整合了Python lambda函数相关教程,阅读下面的文章了解更多详细内容。

60

2026.01.05

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

422

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

595

2023.08.10

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

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

719

2023.08.10

Java 并发编程高级实践
Java 并发编程高级实践

本专题深入讲解 Java 在高并发开发中的核心技术,涵盖线程模型、Thread 与 Runnable、Lock 与 synchronized、原子类、并发容器、线程池(Executor 框架)、阻塞队列、并发工具类(CountDownLatch、Semaphore)、以及高并发系统设计中的关键策略。通过实战案例帮助学习者全面掌握构建高性能并发应用的工程能力。

95

2025.12.01

promise的用法
promise的用法

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

326

2023.10.12

pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法
pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法

本专题系统整理pixiv网页版官网入口及登录访问方式,涵盖官网登录页面直达路径、在线阅读入口及快速进入方法说明,帮助用户高效找到pixiv官方网站,实现便捷、安全的网页端浏览与账号登录体验。

1226

2026.02.13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 10万人学习

C 教程
C 教程

共75课时 | 4.9万人学习

C++教程
C++教程

共115课时 | 19.1万人学习

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

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