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

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

阿磊大大_5182

阿磊大大_5182

发布时间:2026-03-20 22:33:00

|

880人浏览过

|

来源于php中文网

原创

std::expected需C++23支持,编译需-g++13+/Clang16+/MSVC19.35+、-std=c++23及#include <expected>;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> —— 注意不是 <optional> 或 <variant>
  • 别用 std::experimental::expected:那是 TS 版本,接口不兼容,且已被废弃

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

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

常见错误现象:

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

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

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

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

相关文章

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

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

下载

相关标签:

c++

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

热门AI工具

更多
Seko
Seko Hot

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

切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

LibLibAI
LibLibAI Hot

一款AI视频创作工具,主要用于国内领先的AI创意平台,以海量模型、低门槛操作与“创作-分享-商业化”生态,让小白与专业创作者都能高效实现图文乃至视频创意表达,适合需要提升相关任务效率的用户。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

豆包大模型

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

DeepSeek

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

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

WorkBuddy

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

相关专题

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

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

86

2025.12.22

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

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

258

2026.02.11

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

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

602

2026.03.05

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

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

477

2026.05.29

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

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

256

2026.06.29

string转int
string转int

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

5899

2023.08.02

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

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

5964

2023.10.24

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

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

2724

2024.02.23

Kratos框架HTTP与gRPC服务开发教程
Kratos框架HTTP与gRPC服务开发教程

本专题围绕Kratos框架双协议服务开发,涵盖HTTP路由与处理器编写、参数获取、gRPC服务实现与客户端调用、metadata上下文传递、encoding编解码注册、统一响应封装、超时控制与流式响应实现方法。

0

2026.10.10

热门下载

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

精品课程

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