截至2025年底,c++23三大实用新特性已全面落地:std::expected提供类型安全的错误处理替代方案,std::mdspan实现多维数据零成本视图,std::stacktrace支持跨平台标准化堆栈追踪。

截至2025年底,C++23已全面落地主流编译器(GCC 13+、Clang 16+、MSVC 19.40+),其中 std::expected、std::mdspan 和 std::stacktrace 是最常被工程团队采用的三大标准库新特性。它们不是“未来可期”,而是当前就能用、值得立刻评估集成的实用工具。
std::expected:替代错误码和异常的第三条路
它本质是一个持有 成功值 T 或 错误值 E 的类型安全联合体,比 std::optional 多一个错误上下文,比 throw 更轻量可控。
- 适合高频失败场景(如解析、IO、配置加载),避免异常开销和栈展开不确定性
- 支持链式调用:
.and_then()处理成功路径,.or_else()处理错误路径 - 与现有代码兼容好:可隐式转换为 bool(true 表示有值),也能用
std::get_if<t>(&e)</t>安全提取 - 典型用法:
std::expected<int std::String> safe_divide(int a, int b)</int>,错误时返回"division by zero"
std::mdspan:多维数据的零成本视图
它不分配内存,只描述“怎么看一块连续内存”——是 C++ 对科学计算、图像、ai 张量操作的一次关键补强。
- 支持动态/静态维度混合,例如
mdspan<Float dextents>></float>(第二维运行时确定) - 内置三种布局:
layout_right(行优先)、layout_left(列优先)、layout_stride(自定义步长),适配不同硬件或库(如 numpy、CUDA) - 可直接绑定 std::vector、C 数组、std::Array,无需拷贝;配合
std::mdarray(C++26 提案中)可进一步统一拥有型接口 - 注意点:生命周期必须长于 mdspan 本身;修改元素即修改原数据
std::stacktrace:标准化的崩溃现场还原
这是 C++ 首次在标准库中提供跨平台堆栈追踪能力,不再依赖平台 API(如 backtrace())或第三方库(如 libbacktrace、Boost.Stacktrace)。
立即学习“C++免费学习笔记(深入)”;
- 核心类型是
std::stacktrace,可从当前点捕获:auto st = std::stacktrace::current(); - 支持迭代帧(
stacktrace_entry),获取函数名、文件、行号(取决于编译选项 -g 和调试信息保留程度) - 可用于日志、panic handler、断言失败时自动打印上下文,显著缩短定位时间
- 轻量级:不强制符号解析,未启用调试信息时仍能返回地址,保持低开销
基本上就这些。三个特性都已稳定可用,没有实验性标签,也不依赖模块或协程等复杂前提。选一个你项目中最痛的点,今天就能加一行 #include <expected></expected> 开始试水。