std::expected是C++23引入的用于安全处理可能失败操作的模板类,它封装成功值或错误信息,提供类型安全、显式错误处理,避免异常开销,适用于嵌入式与高可靠性场景。

在C++23中,std::expected 被正式引入作为标准库的一部分,用于更安全、更清晰地处理可能失败的操作。它提供了一种类型安全的方式来表示一个值或一个错误,取代传统的异常抛出或返回错误码的方式,尤其适合在不希望使用异常的项目中进行可靠错误处理。
什么是 std::expected?
std::expected
相比以下方式:
- 用返回值表示结果,通过输出参数带回错误码 —— 不直观且易出错
- 抛出异常 —— 在禁用异常的环境(如嵌入式)不可用,性能开销大
- 使用 std::optional + 全局错误状态 —— 无法传递具体错误信息
std::expected 提供了更现代、更安全的替代方案。
立即学习“C++免费学习笔记(深入)”;
基本用法示例
下面是一个使用 std::expected 实现整数除法的简单例子:
#include#include #include std::expected
divide(int a, int b) { if (b == 0) { return std::unexpected("除数不能为零"); } return a / b; } int main() { auto result = divide(10, 2); if (result.has_value()) { std::cout << "结果: " << result.value() << "\n"; } else { std::cout << "错误: " << result.error() << "\n"; }
auto bad_result = divide(10, 0); if (!bad_result) { std::cout zuojiankuohaophpcnzuojiankuohaophpcn "错误: " zuojiankuohaophpcnzuojiankuohaophpcn bad_result.error() zuojiankuohaophpcnzuojiankuohaophpcn "\n"; }}
在这个例子中:
- 成功时返回 std::expected
包含结果值 - 失败时通过 std::unexpected(err) 构造错误分支
- 使用 has_value() 或隐式转换判断是否成功
- 通过 .value() 获取正常值,.error() 获取错误信息
错误类型的选取建议
选择合适的错误类型 E 很重要。常见做法包括:
- 使用枚举类型(如 enum class ErrorCode)提高性能和类型安全
- 使用 std::string 或 std::string_view 方便调试和日志输出
- 结合 std::error_code 与自定义错误类别,实现与现有系统集成
例如:
enum class ParseError { InvalidSyntax, Overflow };std::expected
parse_int(const std::string& str) { // ... 解析逻辑 if (/ 格式错误 /) { return std::unexpected(ParseError::InvalidSyntax); } if (/ 溢出 /) { return std::unexpected(ParseError::Overflow); } return parsed_value; } 链式操作与映射错误
虽然当前标准尚未提供像 .and_then() 或 .or_else() 这样的函数式组合方法(预计后续标准加入),但你可以手动实现简洁的链式调用:
auto result = compute_a(); if (!result) return result;auto next = compute_b(result.value()); if (!next) return std::unexpected(next.error());
return next;
与异常的对比与选择
std::expected 并非要完全取代异常,而是提供另一种选择:
- 当你希望错误处理显式可见、编译期检查时,用 expected
- 当错误是真正异常的、罕见的情况,且项目允许异常时,仍可用 throw/catch
- 在资源受限或禁用异常的环境中,expected 是更优解
它的优势在于:
- 零成本抽象:没有异常机制的运行时开销
- 强制错误检查:调用者必须处理失败可能
- 支持移动语义和任意可构造类型
基本上就这些。std::expected 让 C++ 的错误处理更加现代化和安全,特别适合系统编程、库开发和高可靠性场景。










