讲师中心 微信公众号
AI工具推荐 视频效率加速

c++ c++23 monad aot c++ std::expected的and_then如何使用

风静大大_6791

风静大大_6791

发布时间:2026-03-18 21:55:32

|

465人浏览过

|

来源于php中文网

原创

std::expected的and_then是C++23中用于短路链式调用的接口,专为返回std::expected的函数设计,执行扁平化操作:成功时调用函数并展开其返回的expected,失败时直接传递error;而map仅转换value且不处理error传播。

c++ c++23 monad aot c++ std::expected的and_then如何使用

std::expected 的 and_then 是什么,和 map 有什么区别

and_then 是 C++23 中 std::expected 提供的「短路链式调用」接口,专门用于处理**返回另一个 std::expected 的函数**。它不像 map 那样只转换值,而是真正做“扁平化”:如果当前是 error,直接跳过函数调用,原样返回 error;如果当前是 value,才调用函数,并把函数返回的 std::expected 拆出来——相当于手动写 if (has_value()) return f(value()); else return unexpected(error());。

常见错误现象:and_then 编译失败,往往是因为传入的 lambda 或函数返回类型不是 std::expected<t e></t>(比如忘了加 return、或返回了裸 T)。

  • 使用场景:连续多个可能失败的操作,比如「读配置 → 解析 JSON → 校验字段」,每一步都可能返回 std::expected<t std::string></t>
  • 参数差异:它只接受一个可调用对象,且该对象必须接收 value_type&&(即当前成功的值),返回 std::expected<u e></u>,其中 E 必须和原 expected 的 error 类型一致(或可隐式转换)
  • 性能影响:零开销抽象,不额外分配内存,只是条件分支 + 移动构造

怎么写一个能被 and_then 接收的函数

关键不是“怎么调用”,而是“怎么定义后续函数”——它必须显式返回 std::expected,不能靠自动推导或隐式转换。

示例(错误写法 vs 正确写法):

C++14
C++14

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

下载

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

// ❌ 错误:返回裸 int,编译不过
auto parse_int = [](std::string s) -> int {
    try { return std::stoi(s); }
    catch (...) { return -1; } // 还没包装成 expected!
};
<p>// ✅ 正确:返回 std::expected,error 类型和上游一致
auto parse_int = [](std::string s) -> std::expected<int, std::string> {
try { return std::stoi(s); }
catch (...) { return std::unexpected("invalid number format"); }
};</p>
  • 容易踩的坑:lambda 返回类型省略时,编译器无法从多条 return 路径推导出 std::expected,必须显式写 -> std::expected<...></...>
  • 兼容性注意:GCC 13+ / Clang 16+ 才完整支持 C++23 std::expected 及 and_then;MSVC 19.35+ 支持但需 /std:c++23
  • 如果 error 类型不一致(比如上游是 std::errc,下游想用 std::string),and_then 不会自动转换,得先用 transform_error 统一

嵌套 and_then 和错误传播的实际表现

连续调用多个 and_then 时,只要任意一步返回 unexpected,后续所有 and_then 都不会执行,最终结果就是那个最先出现的 error —— 这就是「短路」,也是它比手写 if-else 更可靠的地方。

示例链式调用:

std::expected<std::string, std::string> load_config() { /* ... */ }
auto parse = [](std::string s) -> std::expected<int, std::string> { /* ... */ };
auto check = [](int x) -> std::expected<bool, std::string> { return x > 0 ? true : std::unexpected("non-positive"); };
<p>auto result = load_config()
.and_then(parse)
.and_then(check);
// 如果 load_config() 失败 → result 是那个 error
// 如果 parse() 失败 → result 是 parse 的 error,check 不执行
// 如果 check() 失败 → result 是 check 的 error</p>
  • 不要试图在 and_then 里 throw 异常:虽然语法允许,但会终止整个链并抛出,破坏预期的 error 值传递语义
  • error 类型必须严格匹配(或可转换),否则第二层 and_then 编译失败 —— 比如上游是 std::expected<int std::errc></int>,下游函数返回 std::expected<double std::string></double>,就过不了
  • 返回的 std::expected 中的 value 类型可以不同(int → bool),但 error 类型链必须一致

为什么不用 std::optional + 手动检查,而要用 and_then

因为 std::optional 不带 error 信息,一旦出错只能丢弃上下文;而 std::expected 的 and_then 把「成功路径的自然流动」和「错误路径的精准保留」绑在一起,不靠异常、不靠全局状态、也不靠重复的 if (!x.has_value()) return x.error();。

  • 真实代价:多写几个 std::expected<... ...></...> 模板参数,但换来的是类型安全的错误源头追踪
  • 容易被忽略的点:and_then 返回的是新 std::expected,不是引用,所以别指望它能修改原对象;所有操作都是纯函数式风格
  • 复杂点在于 error 类型管理——项目初期定好 error 类型(比如统一用 enum class Error),后面加 and_then 才不会反复卡在类型不匹配上

相关文章

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

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

下载

相关标签:

c++

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

热门AI工具

更多
火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

相关专题

更多
json数据格式
json数据格式

JSON是一种轻量级的数据交换格式。本专题为大家带来json数据格式相关文章,帮助大家解决问题。

2275

2023.08.07

json是什么
json是什么

JSON是一种轻量级的数据交换格式,具有简洁、易读、跨平台和语言的特点,JSON数据是通过键值对的方式进行组织,其中键是字符串,值可以是字符串、数值、布尔值、数组、对象或者null,在Web开发、数据交换和配置文件等方面得到广泛应用。本专题为大家提供json相关的文章、下载、课程内容,供大家免费下载体验。

3662

2023.08.23

jquery怎么操作json
jquery怎么操作json

操作的方法有:1、“$.parseJSON(jsonString)”2、“$.getJSON(url, data, success)”;3、“$.each(obj, callback)”;4、“$.ajax()”。更多jquery怎么操作json的详细内容,可以访问本专题下面的文章。

1216

2023.10.13

go语言处理json数据方法
go语言处理json数据方法

本专题整合了go语言中处理json数据方法,阅读专题下面的文章了解更多详细内容。

4239

2025.09.10

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

7159

2023.08.02

scripterror怎么解决
scripterror怎么解决

scripterror的解决办法有检查语法、文件路径、检查网络连接、浏览器兼容性、使用try-catch语句、使用开发者工具进行调试、更新浏览器和JavaScript库或寻求专业帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

1049

2023.10.18

500error怎么解决
500error怎么解决

500error的解决办法有检查服务器日志、检查代码、检查服务器配置、更新软件版本、重新启动服务、调试代码和寻求帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

3340

2023.10.25

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

7159

2023.08.02

DBeaver怎么导入数据
DBeaver怎么导入数据

DBeaver数据导入专题,整理Excel、CSV、SQL、TXT等常见文件的数据导入方法,涵盖目标数据库选择、数据表创建、字段映射、数据类型设置及导入参数配置等操作,帮助用户将本地文件中的数据写入数据库,并了解批量导入、重复数据处理和导入失败等常见问题的解决方法。

20

2026.11.05

热门下载

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

精品课程

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

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

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

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn