std::expected是C++23引入的用于表示可能成功或失败操作的模板类,它包含预期值T或错误E,提供比异常更清晰、类型安全且无性能开销的错误处理方式,适用于可预期错误场景。

std::expected 是什么?
std::expected
- T 是你期望得到的正常返回值类型。
- E 是可能出现的错误类型(比如 std::error_code 或自定义错误枚举)。
与 std::optional
为什么它比异常更好?
虽然异常是 C++ 中传统的错误处理机制,但它们存在一些问题,而 std::expected 提供了更优的替代方案:
- 显式错误传播:使用 std::expected 时,调用者必须主动检查是否成功,不能忽略错误(除非故意)。异常可能被遗漏或意外捕获,导致逻辑错误。
- 无性能开销(在无错路径):异常在抛出时有显著运行时开销(栈展开等),而 std::expected 像普通值一样传递,只有在出错时才携带错误信息,对性能影响小且可预测。
- 类型安全:错误类型 E 是类型的一部分,编译器可以检查你如何处理错误。异常只能通过动态类型(throw 的类型)传播,难以静态分析。
- 适用于异步和函数式编程:std::expected 可以轻松地在回调、future 或链式调用中传递,而异常在异步上下文中难以处理。
- 局部控制流:你可以像处理普通值一样使用 if、map、and_then 等方法处理结果,逻辑更清晰,避免 try/catch 打乱代码结构。
简单使用示例
假设我们写一个除法函数,可能因除零失败:
立即学习“C++免费学习笔记(深入)”;
#include#include std::expected divide(double a, double b) { if (b == 0.0) { return std::unexpected("Division by zero"); } return a / b; } // 使用 auto result = divide(10, 2); if (result) { std::cout << "Result: " << *result << "\n"; } else { std::cout << "Error: " << result.error() << "\n"; }
这里错误类型用了 std::string,实际项目中建议使用 enum class 或 std::error_code 以提高效率和类型安全。
适合哪些场景?
- 预期可能失败的操作(如文件打开、网络请求、解析)。
- 库函数设计,希望用户明确处理错误。
- 性能敏感代码,需避免异常开销。
- 现代 C++ 风格,追求可读性和可维护性。
当然,异常仍有其用途,比如资源分配失败、严重不可恢复错误等。std::expected 并非要完全取代异常,而是为“可预期的错误”提供了更好的选择。
基本上就这些。std::expected 让错误处理变得更像数据处理,逻辑清晰,控制力强,是现代 C++ 发展的重要一步。











