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

C++23 expected中and_then和or_else怎么链式处理结果

风丽酱_7032

风丽酱_7032

发布时间:2026-10-08 14:50:15

|

117人浏览过

|

来源于php中文网

原创

and_then本质是flatMap,接收返回std::expected的函数,成功时传值并展平,失败时短路;or_else仅在错误时调用,返回同value_type的expected;链式调用需严格保持value_type和error_type一致性。

c++23 expected中and_then和or_else怎么链式处理结果

and_then 本质是 flatMap,不是 map

and_then 接收一个返回 std::expected 的函数,把当前成功值传进去,再“展平”一层嵌套。如果当前是错误,就直接短路返回原 std::expected,不调用函数。

常见错误是传入返回普通值(比如 int 或 std::string)的 lambda,编译失败报错类似:no matching function for call to 'and_then' —— 因为类型不匹配,and_then 要求返回另一个 std::expected。

  • ✅ 正确写法:e.and_then([](int x) { return std::expected<int std::string>(x * 2); })</int>
  • ❌ 错误写法:e.and_then([](int x) { return x * 2; })(返回 int,不是 expected)
  • ⚠️ 注意:返回的 expected 类型必须和原始对象的 error_type 一致,否则编译不过(例如原始是 expected<int std::errc></int>,就不能在 and_then 里返回 expected<double std::string></double>)

or_else 处理错误分支,但只在 has_value() == false 时触发

or_else 接收一个以 error_type 为参数、返回 std::expected 的函数。它不处理成功值,只在当前对象处于错误状态时才调用该函数。

容易踩的坑是误以为它像 catch 那样“兜底”,结果发现成功路径被吞掉或逻辑跳过。比如:e.or_else([](auto err) { return std::expected<int std::string>("fallback"); })</int> —— 如果 e 是成功的,整个表达式还是原 e,不会变成 fallback 值。

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

C++ Code Review Master
C++ Code Review Master

组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载
  • ✅ 典型用途:错误恢复,如重试、降级、转换错误类型:e.or_else([](std::errc e) { return std::expected<int std::string>(std::make_error_code(e).message()); })</int>
  • ⚠️ 返回的 expected 必须和原对象的 value_type 一致(成功值类型),否则无法参与链式调用
  • ⚠️ 不要试图在 or_else 里返回 std::unexpected —— 它只接受返回 expected 的函数,返回 unexpected 会导致类型推导失败

链式组合 and_then / or_else 的顺序决定控制流走向

链式调用不是任意排列都等价的。and_then 在前会优先处理成功路径,中间出错就终止;or_else 在前则先检查错误,但若它返回成功值,后续 and_then 仍可继续处理。

示例:读配置 → 解析整数 → 默认值兜底

auto res = read_config("timeout")
    .and_then([](std::string s) -> std::expected<int, std::string> {
        try { return std::stoi(s); }
        catch (...) { return std::unexpected("invalid number"); }
    })
    .or_else([](std::string err) -> std::expected<int, std::string> {
        return std::expected<int, std::string>(30); // 默认 30 秒
    });
  • ✅ 这里 or_else 把解析失败转为默认值,且返回的是 expected<int, ...>,所以能继续被后续 and_then 消费(如果还有)
  • ⚠️ 如果把 or_else 放最前面,而 read_config 成功了,or_else 根本不执行,后续逻辑照常;但如果它失败了,or_else 返回成功值,那整个链就“变成功”了 —— 控制流语义和你放的位置强相关
  • ⚠️ 链中任一环节返回的 expected 的 error_type 必须兼容,否则模板实例化失败(比如前面用 std::errc,后面 or_else 返回 std::string 错误,类型不匹配)

实际项目中容易忽略的兼容性细节

C++23 的 std::expected 在不同标准库实现中仍有细微差异,尤其是 MSVC 的 STL 和 libstdc++ 对 and_then/or_else 的 SFINAE 处理更严格。

  • ✅ GCC 13+ / Clang 16+ + libc++ 17+ 支持完整 C++23 行为
  • ⚠️ 使用 Clang 编译时若链接 libstdc++(而非 libc++),可能遇到 and_then 未定义 —— 因为旧版 libstdc++ 尚未实现这些扩展
  • ⚠️ and_then 和 or_else 都是 const 成员函数,但它们的参数函数可以是 mutable lambda;不过一旦你在 lambda 里修改了外部状态,要注意是否符合预期的副作用时机(比如错误分支根本没执行,状态就没变)
  • ⚠️ 不要依赖移动语义自动优化:如果 and_then 内部构造的 expected 含大对象,显式用 std::move 包裹返回值更安全(尤其在 debug 模式下)

链式调用看着简洁,但每一步的类型契约和短路逻辑都得对得上,否则编译器报错信息往往藏在十几层模板栈里,盯住 error_type 和 value_type 的一致性最省时间。

热门AI工具

更多
超级简历WonderCV

一款AI办公效率工具,主要用于免费求职简历模版下载制作,应届生职场人必备简历制作神器,适合需要提升相关任务效率的用户。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

DeepSeek

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

WorkBuddy

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

SkildArt
SkildArt Hot

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

墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

火山引擎

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

豆包大模型

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

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

相关专题

更多
FrankenPHP集成Laravel详细教程
FrankenPHP集成Laravel详细教程

本专题提供FrankenPHP集成Laravel的详细配置指南,全面解析运行原理、开发环境搭建、Caddyfile配置、Octane工作模式、数据库连接、队列任务、定时任务和生产环境优化,解决部署过程中常见的报错与兼容性问题。

0

2026.10.08

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

120

2026.09.30

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

100

2026.09.30

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

80

2026.09.30

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

80

2026.09.30

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

100

2026.09.29

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

300

2026.09.23

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

180

2026.09.23

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

140

2026.09.23

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习

CLion CMake 快速入门教程
CLion CMake 快速入门教程

共0课时 | 0人学习

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

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