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

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

星枫同学_6229

星枫同学_6229

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

|

699人浏览过

|

来源于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::expected 是 std::expected<int std::error_code></int>,编译器会拒绝,报错类似 no matching member function for call to 'and_then'。

C++14
C++14

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

下载

立即学习“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工具

更多
Seko
Seko Hot

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

WorkBuddy

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

DeepSeek

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

咔片AIPPT

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

SkildArt
SkildArt Hot

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

墨刀AI
墨刀AI Hot

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

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

豆包大模型

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

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

相关专题

更多
string转int
string转int

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

6639

2023.08.02

scripterror怎么解决
scripterror怎么解决

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

1009

2023.10.18

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

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

3080

2023.10.25

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

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

2278

2023.09.20

string转int
string转int

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

6639

2023.08.02

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

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

3205

2024.08.29

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

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

4168

2025.08.29

C++中int的含义
C++中int的含义

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

2845

2025.08.29

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

60

2026.10.22

热门下载

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

精品课程

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