std::expected是C++23引入的模板类，用于显式表示操作成功值或失败错误，相比异常具有无栈展开开销、编译期约束和noexcept兼容等优势，适用于预期错误、性能敏感场景及库接口设计，推动C++向现代化错误处理演进。
在 C++23 中引入的 std::expected 被视为错误处理领域的一项重要演进，它提供了一种更明确、更安全且性能可预测的方式来处理可能失败的操作，逐渐成为传统异常处理的一种有力替代方案。
std::expected 是什么？
std::expected
例如，一个可能出错的除法函数可以这样声明：
std::expected
if (b == 0.0) return std::unexpected("Division by zero");
return a / b;
}
立即学习“C++免费学习笔记（深入）”；
相比异常的优势
与传统的 try/catch 异常机制相比，std::expected 在多个方面展现出优势：
- 显式错误传递：调用者必须主动检查结果是否包含错误，无法忽略。这提高了代码的可读性和健壮性，避免因遗漏 catch 块而导致程序崩溃。
- 无栈展开开销：异常在抛出时需要进行栈展开（stack unwinding），这一过程可能带来不可预测的性能损耗，尤其在性能敏感场景中不可接受。而 std::expected 像普通对象一样传递，开销可控且可预测。
- 编译期约束：错误类型 E 是接口的一部分，调用者在编译时就能知道可能发生的错误种类，有助于编写更精确的错误处理逻辑。
- 兼容 noexcept 函数：可以在标记为 noexcept 的函数中使用，因为不依赖异常机制，适合系统编程或实时系统。
适用场景与最佳实践
std::expected 并非要完全取代异常，而是为特定场景提供更合适的工具。它特别适用于：
- 预期中可能频繁出现的错误，如输入解析、文件打开失败等；
- 性能关键路径上的操作，需避免异常带来的不确定性；
- 库接口设计，希望清晰表达错误类型和语义。
使用建议包括：优先返回具体错误码或轻量错误类型（如 enum class），避免传递复杂异常对象；结合模式匹配风格的检查方式，提升代码清晰度；对于严重不可恢复的错误，仍可保留异常机制。
向现代 C++ 错误处理演进
std::expected 的加入标志着 C++ 向更现代化、更函数式风格的错误处理范式靠拢。它借鉴了 Rust 的 Result 类型、Haskell 的 Either 等理念，在保持值语义和零成本抽象的前提下，提升了错误处理的安全性和表达力。
基本上就这些。随着编译器支持完善和开发者习惯转变，std::expected 有望成为未来 C++ 项目中主流的错误处理方式之一。
