0

0

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

星降

星降

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

|

405人浏览过

|

来源于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>(比如忘了加 return、或返回了裸 T)。

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

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

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

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

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

HaloTool
HaloTool

AI工具在线集合网站

下载
// ❌ 错误:返回裸 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::expectedand_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>,下游函数返回 std::expected<double, std::string>,就过不了
  • 返回的 std::expected 中的 value 类型可以不同(intbool),但 error 类型链必须一致

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

因为 std::optional 不带 error 信息,一旦出错只能丢弃上下文;而 std::expectedand_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++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

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

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

WorkBuddy
WorkBuddy

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

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

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

458

2023.08.07

json是什么
json是什么

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

549

2023.08.23

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

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

337

2023.10.13

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

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

84

2025.09.10

string转int
string转int

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

1091

2023.08.02

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

848

2023.08.22

scripterror怎么解决
scripterror怎么解决

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

533

2023.10.18

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

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

385

2023.10.25

Python WebSocket实时通信与异步服务开发实践
Python WebSocket实时通信与异步服务开发实践

本专题聚焦 Python 在实时通信场景中的开发实践,系统讲解 WebSocket 协议原理、长连接管理、消息推送机制以及异步服务架构设计。内容包括客户端与服务端通信实现、连接稳定性优化、消息队列集成及高并发处理策略。通过完整案例,帮助开发者构建高效稳定的实时通信系统,适用于聊天应用、实时数据推送等场景。

7

2026.03.18

热门下载

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

精品课程

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

共94课时 | 11.6万人学习

C 教程
C 教程

共75课时 | 5.6万人学习

C++教程
C++教程

共115课时 | 22.5万人学习

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

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