0

0

c++23 std::expected怎么用 c++优雅处理函数错误返回【详解】

尼克

尼克

发布时间:2026-01-02 05:31:23

|

880人浏览过

|

来源于php中文网

原创

std::expected 是 C++23 引入的值优先、错误显式的标准化错误处理工具,用于替代返回码或自定义包装类型,适用于文件解析、配置读取等可预期失败场景,不取代异常。

c++23 std::expected怎么用 c++优雅处理函数错误返回【详解】

std::expected 是 C++23 引入的标准化错误处理工具,用来替代传统返回码、异常或自定义包装类型(如 std::optional + 状态码),实现“值优先、错误显式”的函数返回风格。它不是万能异常替代品,而是为预期可能失败但不属异常语义的场景(比如文件解析、配置读取、网络响应解码)提供更清晰、更安全、更可组合的返回接口。

std::expected 的基本结构和构造方式

模板形式为 std::expected,其中 T 是成功时携带的值类型,E 是失败时携带的错误类型(通常为 std::error_codestd::string 或自定义错误枚举)。它内部只保存 TE 中的一个,不可同时存在。

  • 成功构造:std::expected ok{42};std::make_expected(42);
  • 失败构造:std::expected err{std::unexpect, "file not found"};std::make_unexpected("timeout");
  • 检查状态:if (res.has_value()) { /* 成功 */ } else { /* 失败,用 res.error() 取错误 */ }

链式调用与错误传播:用 and_then / transform 处理成功路径

当多个操作需按顺序执行、且任一环节失败就终止并透传错误时,and_then 是核心工具。它只在当前为 value 时调用传入的函数,并自动将该函数返回的 expected “扁平化”——避免嵌套 expected,E>

  • auto res = parse_json(str).and_then(validate_schema).and_then(extract_user_id);
  • 每个函数都返回 std::expected,类型需兼容(错误类型最好一致)
  • 若某步返回 unexpected,后续函数不执行,整个链直接返回该错误

错误转换与兜底处理:用 or_else 和 value_or

当需要对特定错误做修复、降级或日志记录时,or_else 接收一个以 const E& 为参数的函数,返回新的 expected;而 value_or 提供简单默认值兜底(仅适用于可默认构造或提供默认值的 T)。

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

  • auto id = fetch_user_id().or_else([](const std::error_code& ec) { return fallback_user_id(); });
  • int timeout = get_timeout_config().value_or(3000); // 失败时用 3000
  • 注意:value_or 会强制移动或拷贝 T,若 T 构造代价高或不可拷贝,应改用 and_then + 显式判断

与异常、optional 的关键区别和使用边界

std::expected 不取代异常,也不等价于 std::optional

  • 异常用于真正意外、无法局部恢复的错误(如内存耗尽、硬件故障);expected 用于业务逻辑中可预见、可分类处理的失败(如“用户不存在”、“配置缺失”)
  • std::optional 只能表达“有/无值”,无法携带错误原因;expected 明确区分“成功值”和“失败原因”,支持错误类型多态和模式匹配(配合 std::visit 自定义访问器)
  • 函数签名更自文档化:expected parse(const std::string&)bool parse(..., Data& out) 或抛异常更直观、更易组合

不复杂但容易忽略:别把所有函数都改成 expected,优先用于 I/O、解析、校验等天然带失败语义的函数;保持错误类型轻量、可比较、可输出;搭配 std::error_code + std::system_category() 或自定义错误类别,能更好融入系统生态。

相关专题

更多
string转int
string转int

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

312

2023.08.02

if什么意思
if什么意思

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

713

2023.08.22

java多态详细介绍
java多态详细介绍

本专题整合了java多态相关内容,阅读专题下面的文章了解更多详细内容。

15

2025.11.27

scripterror怎么解决
scripterror怎么解决

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

184

2023.10.18

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

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

265

2023.10.25

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

519

2023.09.20

string转int
string转int

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

312

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

522

2024.08.29

php源码安装教程大全
php源码安装教程大全

本专题整合了php源码安装教程,阅读专题下面的文章了解更多详细内容。

74

2025.12.31

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
WEB前端教程【HTML5+CSS3+JS】
WEB前端教程【HTML5+CSS3+JS】

共101课时 | 8.1万人学习

JS进阶与BootStrap学习
JS进阶与BootStrap学习

共39课时 | 3.1万人学习

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

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