C++ std::expected异常处理实例 _ 相比std::variant的优势【详解】-C++-PHP中文网

std::expected 是错误值返回协议而非异常处理机制，需手动 try/catch 并封装抛异常的 api，错误类型应选 std::error_code 而非 std::string，且不可与 std::variant 语义互换。

c++ std::expected异常处理实例 _ 相比std::variant的优势【详解】

它不替代 try/catch，也不捕获异常——你得自己 try、自己 catch、自己构造 std::unexpected。常见误解是“用了 std::expected 就不用写 try 块”，结果代码在文件打开失败时直接 std::terminate。

关键点：

std::filesystem::ifstream 构造函数不返回 std::expected，它该抛 std::filesystem::filesystem_error 还是抛
所有标准 I/O 函数（std::fstream、std::filesystem::read_bytes 等）目前（C++23）均无原生 std::expected 版本
必须手动封装：try → 操作 → if (!stream.is_open()) → catch → return std::unexpected(...)
错误类型选 std::error_code 而非 std::string：前者支持 ==、.category()、跨平台映射；后者只能做子串查找，脆弱且无法静态约束错误集合

std::variant 表示“可能是 A，也可能是 B，二者皆合法”，比如解析配置时字段可为 int 或 std::string；而 std::expected<t e></t> 表示“预期是 T，但可能因失败变成 E”，E 是错误状态，不是业务分支。

误用 std::variant 替代 std::expected 的典型后果：

调用方无法强制检查错误路径：std::variant 允许访问任一 branch，std::expected 强制先调用 .has_value() 或用 if (auto r = f()) { ... } 解包
无内置短路逻辑：std::expected::and_then 可自然串联多个 IO 操作，std::variant 没有等价机制
错误类型丢失语义：std::variant<t std::string></t> 无法区分“文件不存在”和“JSON 格式错误”，而 std::expected<t std::error_code></t> 可精确比对 std::errc::no_such_file_or_directory

它不是语法糖，是严格类型驱动的链式调用。写错参数类型或返回类型，编译器报错晦涩，运行时却不会帮你兜底。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

正确用法前提：

直接写 std::error_code{ENOSPC} 是错的——它没指定 category，ENOSPC 在不同系统上含义不同，且无法与 std::errc::no_space_on_device 对齐。

正确做法始终是：

读/写失败后取 errno，构造为 std::error_code{errno, std::generic_category()}
对 std::filesystem 操作，优先用 std::filesystem::status 预检，其返回值本身已是 std::expected<file_status std::error_code></file_status>
自定义错误枚举（如 enum class io_errc）应配套实现 std::error_category 子类，并通过 std::error_code{static_cast<int>(e), my_category()}</int> 构造