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

冬伟酱_7517

冬伟酱_7517

2026-03-19

985人浏览

原创

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

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

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

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

常见错误现象:有人把 std::expected<void std::error_code></void> 当成“带错误信息的 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></t> 的事)
  • 性能影响:无堆分配,和 std::optional 类似,比抛异常轻量;但比裸 int 错误码多几个字节(含状态标记位)

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

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

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

  • 推荐做法:底层函数(如系统调用封装)返回 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 类型(会自动包一层)。

C++14
C++14

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

下载

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

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

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

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

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

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

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

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

相关专题

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

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

2023.08.07

2135

5

json是什么
json是什么

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

2023.08.23

3302

1

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

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

2023.10.13

1116

3

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

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

2025.09.10

3779

7

string转int
string转int

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

2023.08.02

6439

3

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

scripterror怎么解决
scripterror怎么解决

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

2023.10.18

989

5

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

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

2023.10.25

2980

5

热门下载

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

精品课程

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

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

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

共0课时 | 0人学习