在C++的文件操作场景中，错误处理一直是容易被忽视但又非常重要的部分。传统的实现方式要么使用异常捕获，要么通过返回布尔值或错误码配合输出参数传递结果，这两种方式都存在一定的弊端。C++23新增的std::expected类型提供了一种更优的错误处理范式，它可以将成功结果和错误信息封装在同一个返回对象中，让代码逻辑更加清晰。
传统文件操作错误管理的痛点
我们先看一段传统的文件读取代码，使用错误码加输出参数的方式实现：
#include <fstream>
#include <string>
#include <system_error>
// 传统方式：返回错误码，内容通过输出参数传递
std::error_code read_file_old(const std::string& path, std::string& out_content) {
std::ifstream file(path);
if (!file.is_open()) {
return std::make_error_code(std::errc::no_such_file_or_directory);
}
std::string content((std::istreambuf_iterator<char>(file)), std::istreambuf_iterator<char>());
out_content = content;
return std::error_code();
}
int main() {
std::string content;
auto ec = read_file_old("test.txt", content);
if (ec) {
// 错误处理
return 1;
}
// 使用content
return 0;
}
这种写法的问题在于：
- 调用方需要提前定义输出参数，代码不够直观
- 错误码和正常结果分离，逻辑分散
- 如果函数需要返回多个信息，输出参数会越来越多，可读性下降
std::expected的基本用法
std::expected是C++23引入的模板类型，定义于<expected>头文件中，它的模板参数第一个是期望的成功结果类型，第二个是错误类型，默认错误类型为std::error_code。我们可以通过以下方式构造std::expected对象：
#include <expected>
#include <string>
#include <system_error>
// 返回成功结果
std::expected<std::string, std::error_code> func_success() {
return "success content";
}
// 返回错误结果
std::expected<std::string, std::error_code> func_fail() {
return std::unexpected(std::make_error_code(std::errc::invalid_argument));
}
调用方可以通过has_value()方法判断是否返回成功，通过value()获取成功结果，通过error()获取错误信息：
auto result = func_success();
if (result.has_value()) {
std::string content = result.value();
// 处理内容
} else {
std::error_code ec = result.error();
// 处理错误
}
用std::expected重构文件读取代码
接下来我们用std::expected重构上面的文件读取函数，让错误和结果统一返回：
#include <expected>
#include <fstream>
#include <string>
#include <system_error>
#include <istreambuf_iterator>
// 重构后的文件读取函数，返回expected封装结果
std::expected<std::string, std::error_code> read_file(std::string path) {
std::ifstream file(path);
if (!file.is_open()) {
return std::unexpected(std::make_error_code(std::errc::no_such_file_or_directory));
}
try {
std::string content((std::istreambuf_iterator<char>(file)), std::istreambuf_iterator<char>());
return content;
} catch (const std::exception& e) {
return std::unexpected(std::make_error_code(std::errc::io_error));
}
}
调用方的代码会变得非常简洁：
int main() {
auto result = read_file("test.txt");
if (result.has_value()) {
// 直接使用结果，不需要额外的输出参数
std::string content = result.value();
// 处理文件内容逻辑
} else {
// 统一处理错误
std::error_code ec = result.error();
// 错误日志输出或处理逻辑
}
return 0;
}
用std::expected重构文件写入代码
文件写入的场景同样可以用std::expected优化，传统写入代码可能返回布尔值表示是否成功，现在可以返回更详细的错误信息：
#include <expected>
#include <fstream>
#include <string>
#include <system_error>
// 重构后的文件写入函数
std::expected<void, std::error_code> write_file(std::string path, std::string content) {
std::ofstream file(path);
if (!file.is_open()) {
return std::unexpected(std::make_error_code(std::errc::permission_denied));
}
if (!(file << content)) {
return std::unexpected(std::make_error_code(std::errc::io_error));
}
return {}; // 返回空的expected表示成功
}
调用写入函数的代码：
int main() {
auto write_result = write_file("output.txt", "hello world");
if (!write_result.has_value()) {
std::error_code ec = write_result.error();
// 处理写入错误
}
return 0;
}
两种方式的对比
我们可以通过表格对比传统方式和std::expected方式的差异：
| 对比维度 | 传统错误码+输出参数方式 | std::expected方式 |
|---|---|---|
| 结果获取方式 | 需要提前定义输出参数，函数内赋值 | 直接通过返回值获取，无需额外参数 |
| 错误处理直观性 | 错误码和结果分离，容易遗漏判断 | 结果和错误封装在一起，判断逻辑更集中 |
| 多返回值支持 | 需要增加更多输出参数，代码臃肿 | 可以自定义成功结果类型，封装多个返回信息 |
| 可读性 | 调用方代码逻辑分散 | 调用方代码逻辑连贯，可读性更高 |
注意事项
使用std::expected时需要注意以下几点：
- 需要编译器支持C++23标准，比如GCC 13及以上版本、Clang 16及以上版本
- 错误类型可以根据需要自定义，不一定局限于std::error_code，比如可以定义自己的错误枚举类型
- 如果不需要错误信息，也可以使用std::expected<T, void>的特化版本，但一般建议携带错误信息方便排查问题
- 访问
value()时如果当前是错误状态，会抛出bad_expected_access异常，因此建议先通过has_value()判断再取值
通过std::expected重构文件操作的错误管理代码，可以让错误处理逻辑更加清晰，减少冗余的参数定义，提升代码的可维护性。在实际项目中，可以将这种范式推广到其他需要错误处理的场景，统一项目的错误处理风格。
C++23std::expected文件操作错误管理修改时间：2026-07-12 08:51:15