std::expected

std::expected是 C++23 标准库引入的一个类模板，用于表示一个操作可能成功并返回一个值，也可能失败并返回一个错误信息。它提供了一种类型安全、语义明确且零成本的现代错误处理机制，旨在替代传统的错误码和异常。

🤔 为什么需要 std::expected？

在std::expected出现之前，C++ 的错误处理方式各有痛点：

• 错误码 (Error Codes):容易被调用者忽略，且无法携带丰富的错误上下文信息。
• 异常 (Exceptions):虽然能携带详细信息，但存在性能开销（栈展开），并且会使控制流变得隐式和难以追踪。在一些对性能敏感或禁用异常的环境中（如游戏引擎、嵌入式系统）不适用。
• std::optional<T>:只能表示“有值”或“无值”，但无法说明“为什么无值”。

std::expected<T, E>完美地解决了这些问题。它明确表示一个操作要么返回一个类型为T的成功值，要么返回一个类型为E的错误值。这迫使调用者必须显式地处理失败的情况，从而提高了代码的健壮性。

💡 基本用法

std::expected的使用非常直观。

#include <expected> #include <iostream> #include <string> // 一个可能失败的函数：除法运算 std::expected<double, std::string> divide(double a, double b) { if (b == 0.0) { // 返回一个错误 return std::unexpected("除数不能为零"); } // 返回成功值 return a / b; } int main() { auto result = divide(10.0, 2.0); // 1. 检查是否包含有效值 if (result.has_value()) { // 2. 获取成功值 std::cout << "结果: " << result.value() << std::endl; } else { // 3. 获取错误信息 std::cout << "错误: " << result.error() << std::endl; } // 更简洁的布尔检查 auto bad_result = divide(5.0, 0.0); if (bad_result) { std::cout << "结果: " << *bad_result << std::endl; // 解引用操作符 } else { std::cout << "错误: " << bad_result.error() << std::endl; } return 0; }

✨ 核心优势：函数式组合

std::expected最强大的地方在于它支持链式调用，可以将多个可能失败的操作优雅地组合在一起，避免深层的if-else嵌套。

• and_then:如果当前expected对象包含值，则调用提供的函数（该函数也必须返回一个std::expected）；如果当前是错误，则直接短路，传递错误。
• or_else:如果当前expected对象包含错误，则调用提供的函数进行错误恢复或转换。
• transform:如果当前包含值，则对值进行转换。

// 假设我们有以下几个可能失败的函数 std::expected<std::string, std::error_code> read_file(const std::string& path); std::expected<Config, std::error_code> parse_json(const std::string& json); std::expected<void, std::error_code> validate_config(const Config& cfg); // 使用 and_then 进行链式调用 auto config_result = read_file("config.json") .and_then(parse_json) .and_then(validate_config); if (!config_result) { // 任何一步失败，都会到达这里 std::cerr << "配置加载失败: " << config_result.error().message() << std::endl; }

📊 与其他机制的对比

✅ 何时使用？

std::expected适用于处理那些可预期的、常规的、可恢复的错误。

• I/O 操作：文件不存在、网络超时、权限不足。
• 数据解析：JSON 格式错误、字符串转换数字失败。
• 业务逻辑校验：用户输入不符合规则。

不应该用它来处理程序逻辑缺陷或资源耗尽等意外的、不可恢复的灾难性错误（如内存分配失败std::bad_alloc、数组越界），这些情况仍然应该交给异常或std::abort处理。