c++ c++23新特性 c++23的std::expected如何使用

阿磊大大_5182

阿磊大大_5182

2026-03-20

880人浏览

原创

std::expected需c++23支持,编译需-g++13+/clang16+/msvc19.35+、-std=c++23及#include ;t/e须可移动且e≠t,错误需显式检查,无自动传播,性能优于异常但有空间与构造开销。

c++ c++23新特性 c++23的std::expected如何使用

std::expected 编译失败:缺少头文件或标准版本不对

用 std::expected 时第一反应往往是“找不到标识符”,不是你写错了,而是它根本没被编译器认出来。C++23 才把它正式纳入标准库,但很多项目仍默认用 C++17 或 C++20 编译,std::expected 就直接不可见。

实操建议:

  • 确认编译器支持:GCC 13+、Clang 16+、MSVC 19.35+(VS 2022 17.5+)才完整支持 C++23 的 std::expected
  • 显式启用 C++23:编译时加 -std=c++23(GCC/Clang),MSVC 加 /std:c++23
  • 包含正确头文件:#include <expected></expected> —— 注意不是 <optional></optional> 或 <variant></variant>
  • 别用 std::experimental::expected:那是 TS 版本,接口不兼容,且已被废弃

std::expected 的 T 和 E 类型约束很实际

std::expected 不是万能容器,它的模板参数有明确限制:两个类型都必须是可移动的(movable),且 E 不能是 void 或与 T 相同;T 可以是 void(表示“无返回值,只关心错误”)。

常见错误现象:

  • 定义 std::expected<int int></int> → 编译报错:static_assert 失败,“E must not be the same as T”
  • 用非 movable 类型如 std::array<int></int> 作 T → 移动构造可能被禁用,导致 std::expected 构造失败
  • 把 std::expected<void std::string></void> 当成“只有错误”的结果类型 → 合法,但取值要用 .value() 前必须先 .has_value() 判断,否则未定义行为

使用场景提示:适合替代 std::optional<t></t> + 单独错误码,也比抛异常更轻量,尤其在系统调用、文件 IO、解析函数中。

C++14
C++14

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

下载

std::expected 的错误传播容易漏掉 .error() 检查

很多人以为 std::expected 能自动“冒泡”错误,像 Rust 的 ? 运算符那样——但它没有。你必须显式检查、提取、转发,否则错误就静默丢失了。

实操建议:

  • 别直接解包:auto res = may_fail(); int x = res.value(); —— 如果 res.has_value() == false,.value() 抛 std::bad_expected_access
  • 安全写法优先用 if (res) 或 if (res.has_value()),再取 .value();出错分支用 else 处理 res.error()
  • 想链式调用?得自己封装辅助函数,比如 and_then 风格的扩展(标准库没提供),或用第三方如 tl::expected 的接口做过渡
  • 注意 .error() 返回的是 const E&,修改错误对象需先 move 出来再构造新 expected

和异常比,std::expected 的性能开销在哪

用 std::expected 主要图它零成本抽象:没有栈展开、无运行时异常表开销、错误值内联存储。但它不是免费的 —— 空间和构造逻辑有隐含代价。

关键点:

  • 内存布局:std::expected<t></t> 至少占 max(sizeof(T), sizeof(E)) + 1 字节(额外 1 字节存状态标记),比单纯返回 T 多一点空间
  • 构造开销:如果 T 和 E 都有非平凡构造函数,std::expected 必须在内部 union 上做 placement new,比裸返回多一次分支判断和可能的构造调用
  • 移动语义依赖:若 T 移动代价高(如大字符串),而你频繁返回 expected<bigstring err></bigstring>,性能可能反不如异常(异常只在失败路径触发)
  • 编译器优化友好:现代编译器对 if (e) { ... } else { ... } 分支预测良好,但过度嵌套的 expected 层叠会阻碍内联

真正容易被忽略的是:它不解决控制流复杂度问题。一个函数返回 expected,调用方就得处理,层层传递时逻辑分散,比集中 try/catch 更难一眼看清错误流向。

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

相关文章

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

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

下载

相关标签:

c++

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

相关专题

更多
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全

C++系统编程中的内存管理是指 对程序运行时内存的申请、使用和释放进行精细控制的机制,涵盖了栈、堆、静态区等不同区域,开发者需要通过new/delete、智能指针或内存池等方式管理动态内存,以避免内存泄漏、野指针等问题,确保程序高效稳定运行。它核心在于开发者对低层内存有完全控制权,带来灵活性,但也伴随高责任,是C++性能优化的关键。

2025.12.22

86

5

Rust异步编程与Tokio运行时实战
Rust异步编程与Tokio运行时实战

本专题聚焦 Rust 语言的异步编程模型,深入讲解 async/await 机制与 Tokio 运行时的核心原理。内容包括异步任务调度、Future 执行模型、并发安全、网络 IO 编程以及高并发场景下的性能优化。通过实战示例,帮助开发者使用 Rust 构建高性能、低延迟的后端服务与网络应用。

2026.02.11

258

16

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

2026.03.05

602

19

Rust 系统编程入门与实战
Rust 系统编程入门与实战

统讲解近年最受关注的系统级编程语言 Rust 的核心知识体系,涵盖 Rust 的安装与 Cargo 项目管理、变量绑定与不可变性设计哲学、所有权(Ownership)/ 借用(Borrowing)/ 生命周期(Lifetime)三大核心概念、结构体/枚举与模式匹配(match)、Trait 特征系统与泛型编程、错误处理(Result/Option)、智能指针(Box/Rc/Arc)、并发编程的无畏并发(Fearless Concurre

2026.05.29

477

21

Rust异步网络服务与Tokio Runtime深度实践
Rust异步网络服务与Tokio Runtime深度实践

本专题围绕 Rust 在高并发网络服务中的应用展开,系统讲解 Tokio 异步运行时、任务调度模型、Future 执行机制以及高性能网络编程方式。结合实际服务端案例,帮助开发者构建低延迟、高可靠的异步服务架构。

2026.06.29

256

13

string转int
string转int

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

2023.08.02

5839

3

java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

2023.10.24

5944

49

Go语言中的运算符有哪些
Go语言中的运算符有哪些

Go语言中的运算符有:1、加法运算符;2、减法运算符;3、乘法运算符;4、除法运算符;5、取余运算符;6、比较运算符;7、位运算符;8、按位与运算符;9、按位或运算符;10、按位异或运算符等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.02.23

2684

5

php三元运算符用法
php三元运算符用法

本专题整合了php三元运算符相关教程,阅读专题下面的文章了解更多详细内容。

2025.10.17

1692

13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

CMake 与 Conan 集成实践
CMake 与 Conan 集成实践

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习