C++ std::expected结合Monadic操作链式处理复杂逻辑 _ 现代C++方案【详解】-C++-PHP中文网

std::expected未定义operator>>=，仅提供and_then和or_else实现编译期类型严格匹配的链式调用；错误类型不一致直接导致模板推导失败，无法运行时短路。

c++ std::expected结合monadic操作链式处理复杂逻辑 _ 现代c++方案【详解】

标准 std::expected 不支持 operator>>=，链式调用必须用 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，它们是纯函数式风格的立即分支选择：

and_then 只在 has_value() == true 时调用，传入成功值，返回另一个 std::expected
or_else 只在 has_value() == false 时调用，传入错误值，返回另一个 std::expected
两者都不抛异常、不重试、不延迟求值

and_then 链式调用失败的典型原因

连续 and_then 调用能跑通的前提，是每一步返回的 std::expected 类型必须被下一层签名接受。常见报错是模板推导失败，错误信息往往很长，但核心就一条：错误类型不匹配。

假设三步函数：

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>

这个链可以跑：

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

但只要其中任意一个改成 std::error_code：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

validate 返回 std::expected<double std::error_code></double>
and_then 就会编译失败 —— 即使 std::error_code 可隐式转成 std::string，模板推导也不做用户定义转换

解决办法只有两个：

统一所有步骤的错误类型（推荐）
在中间用 or_else 显式构造新 std::expected，但会打断链式结构

and_then vs transform：别吃掉错误

在 IO 或解析类链式调用中，and_then 是推进流程的核心；transform 是包装器，它**无论成功失败都会执行回调**，容易掩盖错误。

比如读文件后解析 JSON：

// ❌ 错误：open_file 失败时，transform 仍会执行，parse_json 不该被调用
auto result = open_file("cfg.json").transform([](auto fd) {
  return parse_json(fd);
});

// ✅ 正确：and_then 确保 parse_json 只在 open_file 成功时执行
auto result = open_file("cfg.json").and_then([](auto fd) {
  return parse_json(fd);
});

关键区别：