std::expected 不支持 operator>>=，因其未定义monadic操作符；链式调用需依赖and_then/or_else成员函数，且要求错误类型严格一致，否则编译失败。
std::expected 的嵌套错误处理为什么不能直接用 operator>>=
因为 C++23 标准库里的 std::expected **根本没定义 operator>>= 或任何 monadic 绑定操作符**。你在网上看到的链式调用（比如 e1 >>= f >>= g）要么是第三方库（如 tl::expected）、自定义扩展，要么是误把 Rust/Haskell 语法套到 C++ 上了。
标准 std::expected 只提供 and_then 和 or_else —— 它们是成员函数，不是操作符，且返回类型严格受限：必须返回另一个 std::expected，且值类型和错误类型需精确匹配签名要求。
-
and_then接收一个参数为T（即成功值类型）的可调用对象，返回std::expected，其中E必须与原错误类型一致 - 若想改变错误类型（比如从
std::error_code转成MyError），必须手动用or_else+ 构造新expected，无法自动传播 - 连续调用
and_then时，中间任意一步返回的expected若错误类型不匹配，编译直接失败，不是运行时“短路”
如何安全链式调用 and_then 处理嵌套逻辑
关键不是“怎么写得像 Monad”，而是让每层返回的 std::expected 类型能被下一层接受。常见陷阱是忽略错误类型的传递一致性。
假设你有三步操作：parse_input → validate → execute，都可能失败：
std::expected<int std::string> parse_input(std::string); std::expected<double std::string> validate(int); std::expected<bool std::string> execute(double);</bool></double></int>
这时可以链式调用，因为错误类型统一为 std::string：
auto result = parse_input("42")
.and_then(validate)
.and_then(execute);
- 如果某步改用
std::error_code作错误类型，比如validate返回std::expected，那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，其中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 时连哪一步崩的都看不清
真正麻烦的从来不是怎么写链式调用，而是决定哪些错误值得抽象成统一类型、哪些必须当场拆解处理。类型系统不会替你做业务判断。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
