c++ folly futures用法 c++如何使用folly::future进行异步编程

陌枫酱_2535

陌枫酱_2535

2026-03-22

845人浏览

原创

folly::future 构造后不会自动执行,必须通过 via 指定 executor(如 folly::getcpuexecutor())或调用 wait()/get() 才能触发执行链;异常由 folly::exception_wrapper 封装,经 thenerror/onerror 处理,thenvalue 遇异常直接跳过。

c++ folly futures用法 c++如何使用folly::future进行异步编程

folly::Future 构造后不执行,怎么让它真正跑起来

folly::Future 本身只是个值容器和状态机,不是线程、也不自动调度——它不执行任何异步逻辑,只负责传递结果。你得手动把工作交给 folly::Executor 或显式触发(比如用 via、thenValue 绑定回调)。

常见错误现象:Future 创建后程序退出,回调没被调用;或 get() 卡死——本质是没启动执行链。

  • 必须用 via 指定执行器,例如 folly::getCPUExecutor() 或自定义线程池
  • 如果只是测试,可用 wait() 或 get() 阻塞等待,但生产环境慎用——它会阻塞当前线程,且无法取消
  • makeFuture() 和 makeSemiFuture() 行为不同:前者默认无 executor 绑定,后者更轻量但需显式 via 才能跨线程

示例:

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
auto f = folly::makeFuture(42)
    .via(folly::getCPUExecutor())
    .thenValue([](int x) { return x * 2; });
这里 via 是关键,否则 thenValue 回调可能在调用线程同步执行(甚至不执行,取决于 future 状态)。

folly::Future 链中如何捕获异常

folly 不靠 try/catch 传播异常,而是把异常封装进 folly::exception_wrapper,走错误路径。一旦某个 stage 抛异常,后续 thenValue 被跳过,转而匹配 thenError 或 onError。

使用场景:网络请求失败、解析出错、超时等需要分类型处理的错误分支。

  • thenValue 只接收成功值,遇到异常直接跳过
  • thenError 接收 folly::exception_wrapper,可进一步用 get_exception<:runtime_error>()</:runtime_error> 提取原始异常
  • 别写空的 thenError——没做处理就丢掉异常,debug 时会找不到源头
  • 注意 onError 和 thenError 的参数签名差异:thenError 第一个参数是 folly::exception_wrapper,onError 是模板推导类型

示例:

f.thenValue([](int x) { throw std::runtime_error("boom"); })
  .thenError([](folly::exception_wrapper ew) {
      if (auto e = ew.get_exception<:runtime_error>()) {
          LOG(ERROR) what();
      }
  });</:runtime_error>

folly::SemiFuture 和 Future 混用时容易卡死

folly::SemiFuture 是无 executor 的“半成品”,不能直接 via 或 get;它必须先转成 Future(通过 via),否则调用 get() 会 crash 或 hang。

常见错误现象:对 SemiFuture 直接调用 get(),程序 SIGABRT;或 via 传了 null executor,导致后续链不执行。

  • SemiFuture 适合 IO 密集型操作起点(如 AsyncSocket::read 返回的就是它),避免过早绑定线程
  • 转换必须带非空 Executor:semiFuture.via(executor) → Future
  • 不能把 Future 往回转成 SemiFuture——没提供接口,强行 cast 会 UB
  • 性能影响:SemiFuture 内存开销略小,但多一次 via 调用,延迟增加纳秒级,通常可忽略

多个 Future 并发等待:wait、collect、collectAll 区别在哪

folly 提供三组聚合工具,语义和失败策略完全不同,选错会导致逻辑意外终止或掩盖错误。

  • collect:全成功才返回 vector,任一失败则整个 future 失败(抛第一个异常)
  • collectAll:不管成败都返回 vector<try>></try>,每个元素需手动检查 hasValue() 或 hasException()
  • wait:仅用于单个 future 阻塞等待,**不是**并发等待接口——名字有误导性,别被带偏
  • 注意 collect 对空 vector 返回 ready future;collectAll 同样支持空输入,但返回空 vector

示例:

auto fs = std::vector{f1, f2, f3};
folly::collect(fs).thenValue([](std::vector<int> v) {
    // v 一定全成功,长度=3
});
folly::collectAll(fs).thenValue([](std::vector<:try>> v) {
    // 每个 v[i] 都要 check,可能混着 success/failure
});</:try></int>

最容易被忽略的是 collectAll 的返回类型——它不帮你解包,Try 必须显式处理,漏掉就等于静默吞异常。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

2024.03.01

1678

6

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

2023.10.19

3128

3

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

2025.10.17

4749

12

php8.4实现接口限流的教程
php8.4实现接口限流的教程

PHP8.4本身不内置限流功能,需借助Redis(令牌桶)或Swoole(漏桶)实现;文件锁因I/O瓶颈、无跨机共享、秒级精度等缺陷不适用高并发场景。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2025.12.29

3769

9

java接口相关教程
java接口相关教程

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

2026.01.19

446

15

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

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

2023.08.10

4038

6

PixTV官网入口地址合集
PixTV官网入口地址合集

本专题汇总了 PixTV AI 一站式视频创作平台的官方入口与使用教程。无需下载软件,浏览器直接访问即可使用。平台将剧本、图像、视频、声音与剪辑整合在“无限画布”中,接入 GPT Image 2.5、Seedance 2.5 等头部模型。本专题整理了从新建画布、角色锚定、分镜拆分到视频生成与导出的完整操作指南,助你快速上手 AI 短剧与漫剧创作。

2026.10.10

100

15

Kratos框架HTTP与gRPC服务开发教程
Kratos框架HTTP与gRPC服务开发教程

本专题围绕Kratos框架双协议服务开发,涵盖HTTP路由与处理器编写、参数获取、gRPC服务实现与客户端调用、metadata上下文传递、encoding编解码注册、统一响应封装、超时控制与流式响应实现方法。

2026.10.10

40

15

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习