C++23 中的 std::expected：现代错误处理的优雅新范式

在 C++ 长期演进过程中，错误处理机制始终是语言设计的关键挑战。传统上，开发者依赖异常（exceptions）、返回码（error codes）、std::pair<T, Error> 或第三方库（如 outcome、tl::expected）来表达操作结果的“成功或失败”。C++23 正式将 std::expected<T, E> 引入标准库，标志着一种类型安全、零成本抽象、无异常依赖的预期结果建模方式成为主流实践。它并非替代异常，而是为明确可预见的错误场景提供更清晰、更可控的契约表达。

std::expected<T, E> 是一个类模板，用于封装两种可能状态：成功时持有类型 T 的值，失败时持有类型 E 的错误对象（通常为 std::error_code、std::string 或自定义错误枚举）。其核心优势在于——编译期强制处理分支、避免隐式转换、消除异常抛出开销、支持移动语义与完美转发。相比 std::optional<T>（仅表示“有值/无值”，不携带错误上下文），expected 显式区分了“成功”与“失败”的语义，使接口意图一目了然。

以下是最小可行示例，演示基本构造与状态检查：

#include <expected>
#include <iostream>
#include <string>

// 模拟一个可能失败的解析函数
std::expected<int, std::string> parse_int(const std::string& s) {
    try {
        size_t pos;
        int val = std::stoi(s, &pos);
        if (pos != s.length()) {
            return std::unexpected("trailing characters");
        }
        return val;
    } catch (const std::exception&) {
        return std::unexpected("invalid number format");
    }
}

int main() {
    auto result = parse_int("42");
    if (result.has_value()) {
        std::cout << "Parsed: " << result.value() << "\n";  // 输出：Parsed: 42
    } else {
        std::cout << "Error: " << result.error() << "\n";   // 错误路径
    }
}

has_value() 判断是否成功；value() 获取成功值（若失败则抛 std::bad_expected_access）；error() 获取错误对象。这种显式分支迫使调用者直面失败可能性，杜绝“忽略返回码”的隐患。

更进一步，expected 支持链式转换（类似 Rust 的 map / and_then），通过 transform 和 and_then 成员函数实现无副作用映射与带状态的扁平化：

#include <expected>
#include <vector>

// 将整数转为其平方，并确保非负
std::expected<int, std::string> square(int x) {
    if (x < 0) return std::unexpected("negative input not allowed");
    return x * x;
}

// 解析并平方
auto parse_and_square(const std::string& s) -> std::expected<int, std::string> {
    return parse_int(s)
        .and_then(square);  // 仅当 parse_int 成功时调用 square
}

// 使用 transform 进行无状态映射（如转字符串）
auto to_string_result(std::expected<int, std::string> e)
    -> std::expected<std::string, std::string> {
    return e.transform([](int i) { return std::to_string(i); });
}

注意：transform 接受一个纯函数，返回新值类型；而 and_then 接受返回 expected<U, E> 的函数，支持嵌套错误传播——这正是构建可靠流水线的关键。

expected 还深度集成于现代 C++ 特性。它满足 std::movable，支持结构化绑定（C++17+）：

auto get_user_id() -> std::expected<int, std::string> {
    return 123;
}

// 结构化绑定（需启用 C++23 或使用辅助函数）
if (auto [val, err] = get_user_id(); val.has_value()) {
    std::cout << "User ID: " << val.value() << "\n";
} else {
    std::cout << "Failed: " << err.error() << "\n";
}

此外，std::expected 提供 operator==、swap 及字面量支持（如 std::make_unexpected(e)），便于单元测试与调试。其内存布局保证为单个存储（union + tag），无额外分配，性能与裸指针或 std::variant<T, E> 相当，但语义更精准。

值得注意的是，expected 并非万能。它适用于预期会发生且需程序逻辑处理的错误（如文件不存在、网络超时、输入格式错误）；而对不可恢复的编程错误（如空指针解引用、越界访问），仍应使用断言或异常。二者定位不同：expected 是“业务错误”的载体，异常是“系统故障”的信号。

在工程实践中，expected 显著提升 api 可组合性。例如，一个 HTTP 客户端可定义：

struct HttpError { int code; std::string message; };
using Httpresponse = std::expected<std::string, HttpError>;

Httpresponse fetch(const std::string& url);
Httpresponse parse_json(const std::string& body);

// 清晰的错误传播链
auto result = fetch("https://api.example.com/data")
    .and_then(parse_json);

调用方无需层层 try-catch，亦无需手动检查每个返回码，所有错误沿调用链自然传递，最终由顶层统一决策（重试、降级、提示用户）。

综上所述，C++23 的 std::expected 并非语法糖，而是一次范式升级：它将错误处理从运行时隐式行为，转变为编译时可验证、语义可推导、组合可预测的类型系统能力。它降低了大型系统中错误遗漏的风险，增强了接口契约的表达力，并为未来异步编程、Result-driven 设计模式奠定坚实基础。随着编译器支持日趋完善（GCC 13+、Clang 16+、MSVC 19.35+），拥抱 expected 已成为现代 C++ 工程师提升代码健壮性与可维护性的务实之选。