std::expected 是值语义的错误携带容器,非控制流机制,不可替代 try/catch;必须显式处理错误分支,error 类型须可移动/可复制且不能为 void,and_then/or_else 要求返回类型严格匹配。

std::expected 不能替代 try/catch,它只管值和错误的二元携带
很多人一看到 std::expected 就想把它当“无异常版 std::optional”用,结果在需要传播错误链或做资源清理时卡住——它本身不提供栈展开、不触发析构自动调用,也不隐含控制流跳转。它的角色是**数据容器**,不是控制流机制。
典型误用:把 std::expected<t std::error_code></t> 返回值直接扔进 if (auto res = foo(); res.has_value()) 后就不管错误分支了,导致 res.error() 被忽略、资源泄漏或逻辑静默失败。
- 必须显式检查
has_value()或用and_then/or_else链式处理,否则错误对象只是躺在那儿 - 若错误类型含非平凡析构(比如封装了
FILE*或std::thread),且你没调用error()或移动走它,析构时会按常规路径销毁——这点和std::variant一致,但容易被忽略 - 别在函数末尾写
return std::unexpected(e);然后以为调用方“自然会处理”,C++ 不会强制约束消费端
构造 std::expected 时,error 类型必须可复制或可移动,且不能是 void
std::expected<t e></t> 要求 E 满足 std::is_copy_constructible_v<e> || std::is_move_constructible_v<e></e></e>,常见坑是传入临时 std::error_code{errc::invalid_argument} 没问题,但若 E 是自定义类且删了移动/拷贝构造,编译直接报错,提示像 use of deleted function 'E::E(const E&)'。
- 避免用裸指针或唯一资源句柄(如
std::unique_ptr<char></char>)作E,除非你明确接管其生命周期管理 -
std::expected<int void></int>非法——void不满足错误类型要求;真要表达“只关心是否成功”,用std::expected<void std::error_code></void> - 若错误信息需携带上下文(如文件名、行号),推荐用聚合类型:
struct IoError { std::error_code code; std::string path; int line; };,确保它可移动
and_then / or_else 的返回类型必须严格匹配,否则编译失败
这两个成员函数本质是 flatmap:它们接收一个可调用对象,该对象返回另一个 std::expected,然后自动展平一层。但 C++23 对返回类型的约束很硬——如果 and_then 里返回的是 std::expected<double std::errc></double>,而原 std::expected 是 std::expected<int std::error_code></int>,编译器会拒绝,报错类似 no matching member function for call to 'and_then'。
立即学习“C++免费学习笔记(深入)”;
- 返回类型中的 value 和 error 类型必须分别与外层一致,或能隐式转换(例如
std::error_code可转std::errc,但反过来不行) - 若想做类型转换,先用
transform(改 value)或transform_error(改 error),再接and_then - 不要在
or_else里 throw 异常——它设计初衷就是替代异常分支,混用会让错误处理模型分裂
与 C API 或 legacy 错误码交互时,别直接包装 errno
直接写 return (ret == -1) ? std::unexpected(std::error_code{errno, std::generic_category()}) : std::expected{ret}; 看似简洁,但有隐患:POSIX 规定 errno 只在系统调用失败时被设置,且某些实现中成功调用也可能修改它(比如 glibc 的部分函数)。你读到的 errno 可能是上一次失败残留的脏值。
- 必须在系统调用**紧后**立即检查返回值并捕获
errno,中间不能穿插任何可能改errno的操作(包括std::cout ) - 更安全的做法是封装成 RAII 辅助:
struct ErrnoGuard { int saved = errno; ~ErrnoGuard() { errno = saved; } };,在调用前声明,确保恢复 - 对 Windows API,优先用
GetLastError()+std::system_category(),而非依赖errno
真正难的不是怎么造一个 std::expected,而是让整个调用链都尊重它的语义:每个中间函数都返回它、每个消费点都处理它、每个错误类型都可移动且轻量。漏掉任意一环,就退化成带壳的魔法数字。









