在C++23标准之前，函数遇到错误通常只有两条路：通过返回值加错误码让上层判断，或者直接抛出异常交给调用栈去捕获。这两种方式各有明显短板，而新加入的std::expected试图用一种更直观的容器式返回值来统一表达“成功结果或失败原因”。它本质上是一个判别式联合，在编译期就要求调用者面对错误可能，从而减少疏漏。
std::expected的底层语义与基本用法
std::expected<T, E>是一个模板类，第一个类型参数T代表函数正常执行时产出的结果，第二个类型参数E代表出错时携带的错误信息。对象内部维护一个布尔标记，指示当前持有的是值还是错误。从语义上看，它类似std::variant<T, E>但增加了大量针对“期望结果”的便捷接口，例如has_value、value、error以及布尔转换。调用方必须主动拆包，否则无法拿到结果，这从语言层面消灭了忽略错误码的坏习惯。
创建std::expected非常轻量：返回正常结果时直接构造T即可，返回错误时用std::unexpected包裹E。标准还提供了and_then、or_else、transform等组合子，使多个可能失败的步骤可以链式串联，而不必写层层if判断。这种函数式风格让控制流集中体现在返回值上，调用栈保持干净。
下面是一段最小示例，展示如何定义并返回std::expected：
#include <expected>
#include <string>
#include <iostream>
std::expected<int, std::string> divide(int a, int b) {
if (b == 0) {
return std::unexpected<std::string>("division by zero");
}
return a / b;
}
int main() {
auto r = divide(10, 0);
if (r) {
std::cout << "result=" << *r << std::endl;
} else {
std::cout << "error=" << r.error() << std::endl;
}
}
与异常机制和错误码方案的多维对比
异常的最大优势在于自动沿调用栈传播，不用每个函数都手写判断，但代价是栈展开带来的运行时开销，以及在嵌入式、游戏引擎等禁用异常的项目中完全不可用。此外异常属于控制流“旁路”，阅读代码时容易忽略哪些函数会抛什么异常。std::expected把错误变成普通返回值，没有任何隐藏跳转，性能可预测，也方便在禁止异常的环境使用。
旧式错误码常写成返回bool加输出参数，或者返回int表示状态码，真实数据通过引用传出。这种模式迫使接口丑陋，且调用者可能忘记检查返回值，导致后续逻辑在无效数据上继续运行。相较之下，std::expected把数据和错误绑在同一个对象里，类型系统会提醒你处理。下面的表格归纳了三者差异：
| 维度 | 异常 | 错误码 | std::expected |
|---|---|---|---|
| 开销 | 栈展开较重 | 极低 | 接近错误码 |
| 可读性 | 控制流分散 | 接口杂乱 | 显式且连贯 |
| 强制检查 | 不捕获则终止 | 易忽略 | 编译期提醒 |
当然std::expected也不是银弹：当错误需要在很深的函数调用链中频繁跨越大量中间层时，逐层用and_then转发虽然清晰，但代码量比异常传播更多。错误类型E的设计也需要团队统一，否则不同模块返回不同的错误结构会增加转换成本。
在工程代码中落地std::expected的实践建议
建议把底层库中所有“可能失败且失败常见”的接口改为返回std::expected，例如文件读取、网络解析、数值转换等。对于那些真正罕见、代表程序逻辑崩溃的状况，仍可用异常。这样项目里形成清晰分界：常见业务错误走返回值，致命错误走异常，二者互不混淆。
在组合多个步骤时，优先使用and_then串联正常逻辑，用or_else统一处理错误。比如先解析字符串再计算再存储，任何一步失败都直接短路到错误处理分支，主逻辑保持线性。下面的代码演示链式调用：
#include <expected>
#include <string>
#include <cmath>
std::expected<double, std::string> parse(const std::string& s) {
try {
return std::stod(s);
} catch(...) {
return std::unexpected<std::string>("parse fail");
}
}
std::expected<double, std::string> sqrt_val(double x) {
if (x < 0) return std::unexpected<std::string>("negative");
return std::sqrt(x);
}
std::expected<double, std::string> pipeline(const std::string& s) {
return parse(s).and_then(sqrt_val);
}
最后要注意错误类型尽量选用轻量且可拷贝的对象，例如枚举或包含错误码与文本的结构体，避免把大型异常对象塞进std::expected导致性能下降。配合std::format或日志库，可以在or_else里集中输出上下文，既保证错误不漏，也维持了主流程简洁。
std::expectedC++23错误处理修改时间：2026-08-17 11:08:30