std::error_code比throw更轻量,适合高频预期错误;它是值类型、零开销、无RTTI/堆分配、支持多错误域和跨平台语义归一,需谨慎设计error_category边界。

std::error_code 比 throw 更轻量,适合高频错误分支
当错误是预期中频繁发生的(比如网络超时、文件不存在、系统调用返回 EAGAIN),用 throw 会触发栈展开,开销大且不可预测。而 std::error_code 是值类型,仅含两个整数字段:value() 和 category(),构造/拷贝零成本,无异常机制的运行时负担。
- 不依赖 RTTI 或堆分配,编译期确定行为
- 可安全用于中断处理、实时线程、嵌入式受限环境
- 和 C 风格 API(如
errno、WSAGetLastError())天然对齐,转换无损
支持多错误域共存,避免 errno 覆盖问题
传统 errno 是全局变量,多次系统调用可能覆盖前一次错误;std::error_code 把错误值和其语义绑定在同一个对象里,靠 std::error_category 区分来源。例如:
std::error_code ec1 = std::make_error_code(std::errc::no_such_file_or_directory); // generic_category std::error_code ec2 = std::error_code(WSAENOTCONN, system_category()); // Windows 网络错误 ec1.category() != ec2.category(); // true
- 每个 category 控制
message()、default_error_condition()等行为 - 用户可派生自
std::error_category实现自定义错误域(如数据库错误、协议解析错误) - 不同 domain 的相同数值不会误判相等(
ec1 == ec2为 false,即使value()相同)
和 std::error_condition 配合实现“逻辑错误抽象”
std::error_code 描述“发生了什么”,std::error_condition 描述“意味着什么”。比如 EPERM(Linux)、ACCESS_DENIED(Windows)、SEC_E_ACCESS_DENIED(SSPI)都映射到同一个 std::errc::permission_denied 条件。
- 业务层应基于
std::error_condition分支,而非原始error_code.value() - 通过
category::default_error_condition()实现跨平台语义归一 - 避免写
if (ec.value() == 13)这类不可移植代码
和返回值组合使用时,避免隐式转换陷阱
std::error_code 支持隐式构造(如 return std::errc::invalid_argument;),但容易掩盖错误未检查问题。更安全的做法是:
立即学习“C++免费学习笔记(深入)”;
- 函数签名显式返回
std::error_code&引用参数(推荐) - 或返回
std::expected(C++23) - 禁用隐式转换:继承
std::error_code并删掉explicit构造函数(需谨慎) - 静态检查:启用
-Wimplicit-exception-spec-mismatch(Clang)或类似警告
真正难的是设计 error category 的边界——比如把 HTTP 状态码塞进 system_category 还是另建 category,这决定了错误能否被上层统一处理。没想清楚这点,后面所有优化都只是搬砖。










