c++23的std::expected如何优雅地处理函数错误？ (替代异常和错误码)

裘德小鎮的故事

发布时间：2026-01-09 12:30:09

387人浏览过

来源于php中文网

原创

std::expected 是 C++23 引入的值语义错误处理工具，本质是 std::variant 的封装，适合替代错误码而非异常，用于需显式传播错误但禁用异常的场景（如嵌入式、系统调用），不适用于需栈展开或不可恢复错误。

c++23的std::expected如何优雅地处理函数错误？ (替代异常和错误码)

std::expected 是什么，它适合替代异常还是错误码？

std::expected 是 C++23 引入的值语义错误处理工具，本质是 std::variant 的封装，其中 T 是成功值类型，E 是错误类型（通常为 std::error_code 或自定义错误枚举）。它既不抛异常，也不靠返回码隐式判断，而是把「结果」和「错误」都显式打包进一个对象里。

它适合替代「需要明确传播错误但又不想用异常」的场景，比如嵌入式、游戏引擎底层、系统调用封装、异步 I/O 回调链。不适合替代异常的场景：需要栈展开清理资源、错误不可恢复且应立即中止流程。

常见误用是把它当 bool 用——只检查 has_value() 就丢掉 error()，这等于把错误码又变回了“忽略型错误码”。

如何从函数返回 std::expected 并保持调用链清晰？

关键不是“怎么返回”，而是“怎么让调用方不用写一堆 if (!res.has_value())”。推荐组合使用 and_then（C++23）和手动解包逻辑。

立即学习“C++免费学习笔记（深入）”；

TemPolor

AI音乐生成器，一键创作免版税音乐

下载

and_then 接收一个 std::expected (T&&) 形式的函数，自动在 has_value() == true 时调用，并透传错误；失败时直接短路返回原错误
避免裸写 res.value() —— 它会 throw std::bad_expected_access，除非你确定已检查过
对可预期的错误（如文件不存在），优先用 error() 获取后做分支；对意外错误（如 std::errc::io_error），可转为 std::unreachable() 或日志后 abort

std::expected parse_int(std::string_view s) {
    char* end;
    long v = std::strtol(s.data(), &end, 10);
    if (*end != '\0') return std::unexpected{std::errc::invalid_argument};
    if (v < INT_MIN || v > INT_MAX) return std::unexpected{std::errc::result_out_of_range};
    return static_cast(v);
}
auto res = parse_int("42")
.and_then([](int i) -> std::expected {
if (i < 0) return std::unexpected{std::errc::invalid_argument};
return i * 2;
});
// res 是 std::expected，无需手动判空

std::expected 和 std::error_code 配合时要注意哪些陷阱？

std::expected 是最常用组合，但容易踩三个坑：

不要直接用 std::make_error_code 构造泛型错误——它不保证跨编译单元唯一性；应统一用 std::errc 或自定义 std::error_category
std::error_code 默认可隐式构造，导致 std::expected{42} 编译通过，但其实是把 42 当作 error 构造了！务必显式用 std::expected{std::in_place, 42} 或直接写 std::expected{42} 仅当 T 可隐式转换自 int（不推荐）
比较两个 std::error_code 要用 ==，不是 .value() == —— 后者忽略 category，可能误判（例如 std::errc::no_such_file_or_directory 和 Windows 的 ERROR_FILE_NOT_FOUND 值相同但 category 不同）