不能直接替代，std::expected 不捕获异常，需先禁用流异常位，再显式返回错误；推荐用 std::error_code 封装 errno 语义，C++23 可用 and_then 链式调用，但需注意移动语义与错误映射完整性。
std::expected 能否替代 try/catch 处理文件 I/O 异常？
不能直接替代，std::expected 不捕获异常，它只承载「预期之外的结果」——比如 std::ifstream::open() 失败时你主动构造一个 std::unexpected，而不是等 std::ios_base::failure 抛出来。关键在于：你得先关掉流的异常位（stream.exceptions(std::ios_base::goodbit)），否则一旦出错就直接 throw，std::expected 根本没机会介入。
如何用 std::expected 封装 std::ifstream 打开操作
核心是把「打开失败」转为显式返回值，而非隐式异常。常见错误是忘了检查 is_open() 或忽略 failbit/badbit 状态：
- 必须在构造
std::ifstream后立即调用stream.rdstate()或!stream判断状态，不能只看is_open()（某些系统上文件被删后is_open()仍返回 true） - 推荐用
std::error_code作为std::expected的错误类型，对应std::make_error_code(std::errc::no_such_file_or_directory)等标准码 - 不要用
std::string或自定义枚举作错误类型——丢失 errno 语义，且无法和系统 API 对齐
示例：
std::expected<std::ifstream, std::error_code> open_file(const std::string& path) {
std::ifstream f;
f.exceptions(std::ios_base::goodbit); // 关键：禁用异常
f.open(path);
if (!f) {
return std::unexpected(std::make_error_code(
static_cast<std::errc>(errno)
));
}
return std::move(f);
}
链路中多个 I/O 步骤如何组合 std::expected 返回值
不能直接用 operator>> 或 read() 后检查 failbit 并返回新 std::expected —— 那会破坏链式调用。正确做法是封装每步为独立函数，用 and_then（C++23）或手动解包：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- C++23 可用
std::expected::and_then实现扁平化：前一步成功才执行下一步，任一失败立即短路 - 若用 C++20，需手动判断：
if (auto e = step1()) { auto f = step2(*e); ... }，嵌套深时建议提取为 lambda - 注意
std::ifstream移动后原对象进入有效但未定义状态，别在and_then回调里再用原变量名访问 - 读取内容时，
std::getline失败不等于流关闭，要区分eofbit（正常结束）和failbit（格式错误）
std::expected 在文件 I/O 中的实际性能与兼容性代价
零运行时代价 —— std::expected 是值语义，无虚函数、无堆分配。但容易被忽略的是：
- 每个
std::expected<T, E>至少占sizeof(T) + sizeof(E)（对齐后可能更大），若T是std::ifstream（通常 40+ 字节），错误路径开销比裸指针略高 - MSVC 2022 17.5+、GCC 12+、Clang 15+ 才完整支持
std::expected；旧编译器需用absl::StatusOr或手写简易版 - 日志或调试时，
std::expected不自带上下文（如文件路径、行号），需在外层补全，否则错误难定位
真正麻烦的不是语法，而是把「系统级 I/O 错误语义」映射到 std::error_code 的一致性 —— 比如权限拒绝、设备忙、中断信号，每种都要查 errno 值并转成对应 std::errc，漏一种就会让调用方收到 std::errc::operation_not_supported 这类模糊错误。
