std::expected 提供类型安全、无异常开销的错误处理,强制调用者处理成功与失败情况。1. 使用值类型 T 和轻量错误类型 E;2. 通过 and_then、or_else 链式组合操作;3. 包装旧接口实现平滑迁移,提升代码健壮性。

在C++23中,std::expected 提供了一种更清晰、更安全的方式来处理可能失败的操作。相比传统的异常抛出或返回错误码,它让调用者明确意识到“这个函数可能会失败”,并强制处理成功与失败两种情况,从而写出更健壮的代码。
为什么使用 std::expected?
传统做法如返回 bool + 输出参数、全局 errno 或抛出异常,都有明显缺点:bool 容易被忽略;errno 不够类型安全;异常可能被遗漏且影响性能。而 std::expected
- 类型安全:错误类型 E 可以是 enum、自定义结构等
- 无异常开销:不依赖栈展开
- 不可忽略结果:编译器会警告未检查的 expected 值(某些实现)
- 链式操作支持:提供 and_then、or_else、transform 等方法
设计返回值时的最佳实践
将 std::expected 作为函数返回值时,应遵循以下原则:
1. 正确选择 T 和 E 类型
立即学习“C++免费学习笔记(深入)”;
- T 应为值类型或智能指针,避免裸引用
- E 推荐使用轻量级错误类型,例如 enum class 或包含错误码和消息的小结构体
enum class ParseError {
InvalidFormat,
Overflow
};
std::expected parse_int(const std::string& str);
2. 提供清晰的错误构造方式
可以定义辅助函数或工厂函数来简化错误创建:
struct FileError {
int code;
std::string message;
static auto not_found(const std::string& path) {
return FileError{404, "File not found: " + path};
}};
3. 使用 if-const-auto 检查结果
推荐写法:
auto result = parse_int("123");
if (result) {
std::cout << "Parsed: " << *result << "\n";
} else {
handle_error(result.error());
}
链式处理与组合操作
利用 and_then 和 or_else 可以优雅地串联多个可能失败的操作:
std::expected read_file(const std::string& path);
std::expected parse_json(std::string);
// 组合读取并解析 JSON
auto data = read_file("config.json")
.and_then([](std::string s) { return parse_json(s); })
.or_else([](const FileError& e) {
log_error("Read failed: ", e.message);
return std::unexpected(ParseError::InvalidFormat);
});
这种风格避免了深层嵌套判断,使逻辑更线性、可读性更强。
与现有代码兼容过渡
在混合使用旧接口时,可用包装函数平滑迁移:
// 老式 C API
int legacy_divide(int a, int b, int* out);
// 包装为 expected
std::expected safe_divide(int a, int b) {
int result;
if (int err = legacy_divide(a, b, &result); err != 0) {
return std::unexpected("Division failed");
}
return result;
}
基本上就这些。使用 std::expected 的关键是改变思维模式:把错误当作一等公民来设计接口,而不是事后补救。它特别适合解析、I/O、配置加载等常见易错场景。只要坚持正确使用,就能显著提升代码的可靠性和可维护性。










