0

0

C++中如何基于std::expected构建无异常的健壮API?(C++23错误处理)

尼克

尼克

发布时间:2026-03-09 10:55:03

|

679人浏览过

|

来源于php中文网

原创

std::expected 是值语义的错误携带容器,非控制流机制,不可替代 try/catch;必须显式处理错误分支,error 类型须可移动/可复制且不能为 void,and_then/or_else 要求返回类型严格匹配。

c++中如何基于std::expected构建无异常的健壮api?(c++23错误处理)

std::expected 不能替代 try/catch,它只管值和错误的二元携带

很多人一看到 std::expected 就想把它当“无异常版 std::optional”用,结果在需要传播错误链或做资源清理时卡住——它本身不提供栈展开、不触发析构自动调用,也不隐含控制流跳转。它的角色是**数据容器**,不是控制流机制。

典型误用:把 std::expected<t std::error_code></t> 返回值直接扔进 if (auto res = foo(); res.has_value()) 后就不管错误分支了,导致 res.error() 被忽略、资源泄漏或逻辑静默失败。

  • 必须显式检查 has_value() 或用 and_then/or_else 链式处理,否则错误对象只是躺在那儿
  • 若错误类型含非平凡析构(比如封装了 FILE*std::thread),且你没调用 error() 或移动走它,析构时会按常规路径销毁——这点和 std::variant 一致,但容易被忽略
  • 别在函数末尾写 return std::unexpected(e); 然后以为调用方“自然会处理”,C++ 不会强制约束消费端

构造 std::expected 时,error 类型必须可复制或可移动,且不能是 void

std::expected<t e></t> 要求 E 满足 std::is_copy_constructible_v<e> || std::is_move_constructible_v<e></e></e>,常见坑是传入临时 std::error_code{errc::invalid_argument} 没问题,但若 E 是自定义类且删了移动/拷贝构造,编译直接报错,提示像 use of deleted function 'E::E(const E&)'

  • 避免用裸指针或唯一资源句柄(如 std::unique_ptr<char></char>)作 E,除非你明确接管其生命周期管理
  • std::expected<int void></int> 非法——void 不满足错误类型要求;真要表达“只关心是否成功”,用 std::expected<void std::error_code></void>
  • 若错误信息需携带上下文(如文件名、行号),推荐用聚合类型:struct IoError { std::error_code code; std::string path; int line; };,确保它可移动

and_then / or_else 的返回类型必须严格匹配,否则编译失败

这两个成员函数本质是 flatmap:它们接收一个可调用对象,该对象返回另一个 std::expected,然后自动展平一层。但 C++23 对返回类型的约束很硬——如果 and_then 里返回的是 std::expected<double std::errc></double>,而原 std::expectedstd::expected<int std::error_code></int>,编译器会拒绝,报错类似 no matching member function for call to 'and_then'

Dora
Dora

创建令人惊叹的3D动画网站,无需编写一行代码。

下载

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

  • 返回类型中的 value 和 error 类型必须分别与外层一致,或能隐式转换(例如 std::error_code 可转 std::errc,但反过来不行)
  • 若想做类型转换,先用 transform(改 value)或 transform_error(改 error),再接 and_then
  • 不要在 or_else 里 throw 异常——它设计初衷就是替代异常分支,混用会让错误处理模型分裂

与 C API 或 legacy 错误码交互时,别直接包装 errno

直接写 return (ret == -1) ? std::unexpected(std::error_code{errno, std::generic_category()}) : std::expected{ret}; 看似简洁,但有隐患:POSIX 规定 errno 只在系统调用失败时被设置,且某些实现中成功调用也可能修改它(比如 glibc 的部分函数)。你读到的 errno 可能是上一次失败残留的脏值。

  • 必须在系统调用**紧后**立即检查返回值并捕获 errno,中间不能穿插任何可能改 errno 的操作(包括 std::cout )
  • 更安全的做法是封装成 RAII 辅助:struct ErrnoGuard { int saved = errno; ~ErrnoGuard() { errno = saved; } };,在调用前声明,确保恢复
  • 对 Windows API,优先用 GetLastError() + std::system_category(),而非依赖 errno

真正难的不是怎么造一个 std::expected,而是让整个调用链都尊重它的语义:每个中间函数都返回它、每个消费点都处理它、每个错误类型都可移动且轻量。漏掉任意一环,就退化成带壳的魔法数字。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
string转int
string转int

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

990

2023.08.02

if什么意思
if什么意思

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

846

2023.08.22

scripterror怎么解决
scripterror怎么解决

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

472

2023.10.18

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

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

375

2023.10.25

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

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

560

2023.09.20

string转int
string转int

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

990

2023.08.02

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

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

607

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

314

2025.08.29

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

59

2026.03.06

热门下载

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

精品课程

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

共94课时 | 11万人学习

C 教程
C 教程

共75课时 | 5.3万人学习

C++教程
C++教程

共115课时 | 21.2万人学习

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

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