C++23有哪些值得期待的特性_C++23标准中std::expected与std::mdspan概览

穿越時空 2025-12-31 00:00:00 次阅读

C++23引入std::expected和std::mdspan，前者提供类型安全的错误处理，替代异常并支持链式操作；后者实现高效多维数组访问，统一索引语法且零开销，提升代码安全与互操作性。

C++23 标准为现代 C++ 开发带来了多项实用的新特性，其中 std::expected 和 std::mdspan 因其在各自领域的强大功能而备受关注。它们分别革新了错误处理和多维数组访问的方式，让代码更安全、更清晰。

std::expected 是 C++23 中最重要的新工具之一，旨在提供一种比传统异常或错误码更优越的错误处理方案。它的核心思想是将操作的成功结果和失败原因都作为返回值的一部分，强制调用者显式处理两种情况。

替代异常，避免性能开销：C++ 异常的栈展开机制在频繁出错的路径上可能带来显著的性能损耗。std::expected 将错误信息（类型 E）与正常值（类型 T）一起通过返回值传递，完全避开了异常的运行时成本，特别适合高性能、嵌入式或禁用异常的编译环境。
语义清晰，防错设计：与只表示“有值/无值”的 std::optional 不同，std::expected 能携带具体的错误类型 E（如一个枚举或 std::error_code）。这使得函数接口明确表达了“我可能成功返回 T，也可能失败并告诉你为什么”，错误信息不再丢失。
支持链式编程：它提供了 and_then、or_else 等方法，可以方便地组合多个可能失败的操作，形成流畅的函数式流水线，简化了错误传播的代码逻辑。

std::mdspan 提供了一种轻量级、非拥有的方式来访问和操作多维数据（如矩阵、张量），类似于 std::span 的多维版本。它解决了传统使用指针或嵌套容器访问多维数据时的繁琐和不安全问题。

统一的多维索引：你可以直接使用 mdspan[i][j][k] 这样的语法来访问任意维度的数据，代码直观易读，无需手动计算内存偏移。
零拷贝，性能优异：std::mdspan 本身不拥有数据，它只是一个指向现有内存块（如 std::vector 或原生数组）的“视图”。创建和传递它几乎没有开销，并且能完美适配不同的底层数据布局（行优先、列优先等）。
提升库的通用性：科学计算、图像处理等领域的库可以接受 std::mdspan 作为参数，从而能够无缝处理来自不同数据源（Eigen 矩阵、自定义数组等）的多维数据，极大地增强了互操作性。