C++ 如何利用 std::expected 优化业务层错误分发机制与链路回退

std::expected不是自动错误传播器，必须每步显式检查has_value()，否则value()调用会抛std::bad_expected_access；错误类型e须可复制/可移动（推荐std::error_code）；and_then要求严格类型匹配与短路语义。

c++ 如何利用 std::expected 优化业务层错误分发机制与链路回退 _ c++23【实战】

std::expected 不是自动错误传播器，它不会帮你跳过检查、也不会吞掉错误——你必须每一步都显式判断 has_value()，否则调用 value() 会直接抛 std::bad_expected_access 崩溃。

常见错误现象：连续调用多个返回 std::expected 的函数后，只在最后判一次 has_value()，中间任意一步失败都会导致后续 value() 访问非法内存。

典型错误是误用 transform 替代 and_then，或错误类型不统一。

C++14

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

下载

and_then 只在 has_value() == true 时执行 lambda，失败则原样透传错误；transform 无论成功失败都执行回调，错误会被覆盖或转成无关类型
所有链上函数的错误类型 E 必须完全一致（含 cv 限定、引用性），混合 std::error_code 和 std::string 会导致模板推导失败
lambda 形参类型必须严格匹配上游 T：上游返回 std::expected<int e></int>，形参就得是 int 或 int&&，不是 const int&（除非你显式声明）
lambda 返回值必须是 std::expected<u e></u>，写 return x * 2; 或 return res.value(); 直接编译失败

std::expected 对错误类型 E 有硬性要求：必须可复制、可移动、可比较。很多自定义类型踩坑于此。

std::string 在部分标准库实现中不被视为 trivially copyable，std::expected<int std::string></int> 可能触发 static_assert failed: 'E must be copyable and movable'
std::exception_ptr 不满足 copy_constructible 要求，不能作 E；试图塞进任意异常只会让程序崩溃
推荐用 std::error_code：它被标准保证可复制/可移动，天然支持 std::errc::invalid_argument 等枚举，还能跨平台映射系统错误
自定义错误枚举必须配套注册独立 std::error_category 子类，不能复用 std::generic_category()

没有 ? 操作符，也没有内置 or_else（C++23 中 or_else 是成员函数，但主流编译器支持仍不稳定），必须手动展开。

不要写 if (auto r = f()) { ... } else if (auto r2 = g()) { ... } —— 这里 r2 类型无法推导，且 g() 会在 f() 失败时无条件执行，破坏短路语义
正确做法是逐层嵌套：if (auto r = f()) return r.value(); else if (auto r2 = g()) return r2.value(); else return default_fallback();
每个 else 分支必须返回同类型的 std::expected，不能返回裸值（如 return Config{};），否则类型不匹配
fallback 函数本身也应返回 std::expected<t e></t>，保持整条链类型一致，避免隐式构造默认 T 导致逻辑错误