C++如何使用std::expected进行函数式风格的优雅错误控制-C++-PHP中文网

c++oding="utf-8" ?>

std::expected 不能直接替代 try/catch，因其不抛异常而无法触发栈展开自动清理资源，仅适用于预期失败的正常业务路径，而非严重故障；需显式检查 has_value() 或用 and_then/or_else 安全链式调用。

c++如何使用std::expected进行函数式风格的优雅错误控制

std::expected 为什么不能直接替代 try/catch

因为 std::expected 不抛异常，它把错误当作值来传递，所以你没法靠栈展开自动清理资源——比如局部 std::ofstream 或 std::unique_ptr 的析构仍会发生，但调用链上不会自动跳转。它适合“预期可能失败、且失败是正常业务路径”的场景，比如解析配置、读取文件头、网络响应解码，而不是处理内存分配失败这类严重故障。

常见错误现象：std::expected<int std::string> f() { return std::unexpected("bad"); }</int> 写对了，但后续用 value() 强解包导致 std::bad_expected_access 崩溃——这和 std::optional::value() 一样危险。

必须先检查 has_value()，或用 and_then()/or_else() 链式处理
不要在循环里反复调用 value()，尤其当错误路径不是罕见异常而是高频分支时
std::expected 的 error() 返回的是 const 引用，修改 error 类型需 move 构造新对象

如何安全链式调用多个返回 expected 的函数

用 and_then 是最自然的写法，它只在有值时调用下一个函数，且自动传播错误类型（要求下游函数返回同 error 类型的 std::expected）。

std::expected<int std::string> parse_int(std::string_view s) {
    try { return std::stoi(std::string(s)); }
    catch (...) { return std::unexpected("parse failed"); }
}

std::expected<double std::string> sqrt_positive(int x) {
    if (x 
</double></int>

注意：如果中间某步返回的 std::expected error 类型不同（比如 std::error_code），and_then 会编译失败。此时要么统一 error 类型，要么用 transform + 手动包装错误。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

transform 只映射 value，不处理 error；map_error 只映射 error，不碰 value
想做“失败时 fallback 到默认值”，用 value_or(0.0)，但注意这会隐藏错误信息
嵌套 and_then 深度超过 3 层时，考虑拆成命名变量，避免可读性下降

与 std::optional 和 std::variant 的关键区别在哪

std::expected 明确区分“无值”（std::nullopt）和“有错误”（std::unexpected）——而 std::optional 的 std::nullopt 语义模糊，无法携带错误原因；std::variant<t e></t> 虽能表示两种状态，但没提供 and_then、or_else 这类语义化操作接口，且构造时需显式指定索引或标签，易出错。

典型误用：std::variant<int std::string> v = "timeout";</int> 看似等价，但后续无法用统一方式提取 int 或 fallback 处理 string 错误——你得手动 std::visit，且每次都要写完整匹配逻辑。

error 类型必须可复制或可移动，否则 std::expected 无法构造（如 non-copyable class）需 wrap 成 std::unique_ptr
std::expected 的 value_type 和 error_type 不能相同（编译器禁止），避免歧义
若 error 是 enum class，推荐用 std::error_code 或 std::string_view，而非裸 enum，便于调试和日志