如何使用C++ std::expected进行嵌套错误处理及23种monadic操作符链式调用技巧？

本文共计1178个文字，预计阅读时间需要5分钟。

由于C++23标准库中的`std::expected`类型别名没有定义`operator*`，直接使用会导致编译错误。以下是一个简化的解决方案，不使用`operator*`：

标准 std::expected 只提供 and_then 和 or_else —— 它们是成员函数，不是操作符，且返回类型严格受限：必须返回另一个 std::expected，且值类型和错误类型需精确匹配签名要求。

• and_then 接收一个参数为 T（即成功值类型）的可调用对象，返回 std::expected<u e></u>，其中 E 必须与原错误类型一致
• 若想改变错误类型（比如从 std::error_code 转成 MyError），必须手动用 or_else + 构造新 expected，无法自动传播
• 连续调用 and_then 时，中间任意一步返回的 expected 若错误类型不匹配，编译直接失败，不是运行时“短路”

如何安全链式调用 and_then 处理嵌套逻辑

关键不是“怎么写得像 Monad”，而是让每层返回的 std::expected 类型能被下一层接受。常见陷阱是忽略错误类型的传递一致性。

假设你有三步操作：parse_input → validate → execute，都可能失败：

立即学习“C++免费学习笔记（深入）”；

std::expected<int, std::string> parse_input(std::string); std::expected<double, std::string> validate(int); std::expected<bool, std::string> execute(double);

这时可以链式调用，因为错误类型统一为 std::string：

auto result = parse_input("42") .and_then(validate) .and_then(execute);

• 如果某步改用 std::error_code 作错误类型，比如 validate 返回 std::expected<double, std::error_code>，那 and_then 就会编译失败 —— 类型不兼容
• 不能靠隐式转换绕过：即使 std::error_code 可转成 std::string，and_then 的模板推导也不做用户定义转换
• 解决办法只有两个：统一错误类型，或在中间用 or_else 显式转换错误（但会打断链式）

and_then 与 or_else 的执行时机和短路行为

and_then 只在 has_value() == true 时调用；or_else 只在 has_value() == false 时调用。它们都**不抛异常、不重试、不延迟求值** —— 是纯函数式风格的立即分支选择。

• 一旦某步 and_then 返回含错误的 expected，后续所有 and_then 都不会执行，但也不会“丢弃”这个错误值 —— 它就是最终结果
• or_else 的参数如果是 lambda，它只接收错误值（类型为 E），返回值必须是 std::expected<t e2></t>，其中 E2 可以不同，但下一级 and_then 仍需匹配新的 E2
• 注意：lambda 捕获外部变量时，若涉及移动语义（比如捕获 std::unique_ptr），要确保 lambda 是可调用的右值 —— 否则 and_then 内部转发可能失败

替代方案：什么时候该放弃链式，改用 if/else 或 visit

当错误处理逻辑开始差异化（比如不同错误要打不同日志、触发不同重试策略、需要访问多个上下文状态），硬撑链式只会让代码更难读、更难调试。

• 链式适合“线性管道”场景：输入 → 转换 → 验证 → 输出，且错误语义单一
• 一旦出现“若错误是 A 就重试，是 B 就告警，是 C 就降级”，立刻停用 and_then 链，改用 if (e.has_value()) { ... } else { switch(e.error()) { ... } }
• std::visit 不适用于 std::expected —— 它是为 std::variant 设计的。对 expected，直接用 has_value() + value()/error() 更直白
• 别为了“函数式”而函数式：C++ 的 std::expected 是工具，不是范式教具。嵌套深了还硬链，最后 debug 时连哪一步崩的都看不清

真正麻烦的从来不是怎么写链式调用，而是决定哪些错误值得抽象成统一类型、哪些必须当场拆解处理。类型系统不会替你做业务判断。