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

c++23 std::expected用法 c++如何替代异常和错误码

冬伟酱_7517

冬伟酱_7517

发布时间:2026-03-19 22:14:55

|

985人浏览过

|

来源于php中文网

原创

std::expected适合替代文件打开、JSON解析、配置读取等预期可能失败且需显式处理的同步操作错误码;不适用于异常拦截或析构函数中,链式调用需区分and_then(下一步可能失败)与transform(纯转换)。

c++23 std::expected用法 c++如何替代异常和错误码

std::expected 适合替代哪些错误码场景

它不是万能的异常替代品,只适合「预期中可能失败、且调用方必须显式处理」的同步操作。比如文件打开、JSON 解析、配置读取——这些本就该返回 std::expected<T, E>,而不是靠 errno 或自定义 int 错误码硬编码。

常见错误现象:有人把 std::expected<void, std::error_code> 当成“带错误信息的 void 函数”,结果发现链式调用时 and_then 无法推导类型,编译报错 no matching function for call to 'and_then'。

  • 使用场景:函数有明确成功值(如 std::string)、失败时需携带上下文(如 std::errc::no_such_file_or_directory),且调用方不希望 throw 或检查全局状态
  • 参数差异:第一个模板参数是成功类型(可为 void),第二个是错误类型(必须可复制,不能是 std::exception_ptr ——那是 std::expected<T, std::exception_ptr> 的事)
  • 性能影响:无堆分配,和 std::optional 类似,比抛异常轻量;但比裸 int 错误码多几个字节(含状态标记位)

std::expected 和异常共存时怎么写才不混乱

别试图用 std::expected 拦截所有异常。C++23 标准没禁止你在 std::expected 构造函数里 throw,但一旦 throw,就违背了它的设计意图:让错误路径变得可见、不可忽略。

容易踩的坑:在 and_then 回调里抛异常,导致外层调用者既得检查 has_value(),又得套 try/catch——这比原来还糟。

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

C++14
C++14

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

下载
  • 推荐做法:底层函数(如系统调用封装)返回 std::expected;上层业务逻辑根据需要决定是否转成异常(例如用 value() 强解,触发内部 throw)
  • 兼容性注意:std::expected 的 value() 在无值时 throw std::bad_expected_access,不是你自定义的异常类型,别依赖其派生关系
  • 不要在析构函数、noexcept 函数里调用 value() 或 error() ——它们都不标 noexcept

std::expected 链式调用(and_then / transform)的边界条件

and_then 不是 std::optional 的简单复刻,它对返回类型的约束更严格:回调必须返回另一个 std::expected,否则编译失败。而 transform 要求回调返回非 expected 类型(会自动包一层)。

典型错误:写 e.and_then([](int x) { return x * 2; }),编译器报 cannot convert 'int' to 'std::expected<...>' ——这里该用 transform。

  • and_then:用于“下一步也可能会失败”的操作,比如解析完 JSON 对象后,再从中取字段(也可能不存在)
  • transform:用于“确定成功后的纯转换”,比如把读到的 std::vector<char> 转成 std::string
  • 嵌套深了容易晕?记住:每个 and_then 都在延长错误传播链,而 transform 只改成功值,不碰错误分支

std::expected 和 C 风格错误码(如 -1 / NULL)互操作

不能直接把 open() 的返回值塞进 std::expected<int, std::error_code>。-1 本身不是错误,errno 才是。漏查 errno,就会把真实错误当成成功。

容易被忽略的地方:很多系统调用失败后 errno 不一定被设置(比如某些 glibc 版本下 close() 失败但 errno 保持原值),所以不能只依赖 errno 构造错误。

  • 安全做法:先判断返回值是否表示失败(如 fd == -1),再用 std::make_error_code(static_cast<std::errc>(errno)) 构造错误值
  • 避免裸 int:不要用 std::expected<int, int> 存系统错误码,优先用 std::error_code ——它支持类别、比较、消息,且和 std::system_category() 兼容
  • 第三方库返回 nullptr?检查前加断言或注释,std::expected<T*, std::string> 可以,但别让 nullptr 同时代表“失败”和“空值”

真正难的不是写对第一个 std::expected,而是整个调用链都坚持用它——中间混一个裸 int 返回或一次忘记检查 has_value(),错误就悄无声息地漏过去了。

相关文章

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

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

下载

相关标签:

c++

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

热门AI工具

更多
UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

超级简历WonderCV

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

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

PixPix
PixPix Hot

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

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

豆包大模型

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

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

WorkBuddy

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

DeepSeek

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

相关专题

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

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

2135

2023.08.07

json是什么
json是什么

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

3282

2023.08.23

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

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

1096

2023.10.13

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

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

3759

2025.09.10

string转int
string转int

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

6419

2023.08.02

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

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

549

2023.09.22

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

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

1678

2024.03.01

scripterror怎么解决
scripterror怎么解决

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

989

2023.10.18

Playwright 测试失败怎么办
Playwright 测试失败怎么办

Playwright测试失败专题汇集超时、定位器匹配、浏览器提前关闭、依赖与插件配置、文件上传、SSL及Docker启动等故障文章,并介绍通过截图、报告和Trace定位错误。

0

2026.10.21

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
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