std::expected是c++23新增的类模板,需显式指定成功类型t和错误类型e,声明为std::expected,构造时用值或std::unexpected,不支持隐式转换或std::make_expected。

std::expected在C++23中怎么声明和构造
它不是模板别名,而是标准库新增的类模板,头文件是<expected></expected>。必须用std::expected<t e></t>显式指定成功值类型T和错误类型E,不能省略任一参数。
常见错误是误写成std::expected<int></int>——这会编译失败,因为缺少错误类型。正确写法如:std::expected<int std::string></int>或std::expected<double std::error_code></double>。
-
std::expected<int std::string> ok = 42;</int>→ 构造成功值 -
std::expected<int std::string> err = std::unexpected("failed");</int>→ 构造错误值 - 不要用
std::make_expected(不存在),也没有隐式转换构造函数
如何链式处理多个可能失败的操作
std::expected本身不提供map或and_then成员函数(不像Rust的Result),但C++23标准提供了std::expected::transform和std::expected::and_then——注意:仅当编译器支持C++23且启用了完整标准库实现时才可用(GCC 13.2+、Clang 16+、MSVC 19.35+)。
若环境不支持,需手动检查has_value()并展开,否则容易漏掉错误分支:
auto read_config() -> std::expected<:string std::string> { /* ... */ }
auto parse_json(const std::string&) -> std::expected<json std::string> { /* ... */ }
<p>// 正确:逐层检查
auto res = read_config();
if (!res) return res;
auto parsed = parse_json(<em>res);
if (!parsed) return parsed;
return process(</em>parsed);</p></json></:string>
- 避免嵌套
if:用早期返回更清晰 - 不要用
operator*解包前不检查has_value(),否则触发未定义行为 - 注意
and_then返回的是std::expected<u e></u>,其中U是回调返回的std::expected的成功类型
std::expected和std::variant/std::optional的区别在哪
它不是std::optional<t></t>的增强版,也不是std::variant<t e></t>的语法糖。关键差异在于语义和约束:
-
std::expected<t e></t>要求E必须是可复制/可移动的,且不能是void;T也不能是void -
std::variant<t e></t>允许任意数量的替代类型,但无法表达“正常路径 vs 错误路径”的意图,也不提供has_value()等语义方法 -
std::optional<t></t>只表示“有或没有”,不携带错误信息;而std::expected强制你考虑E——这是设计核心 - 性能上三者都接近零开销,但
std::expected对E有额外约束(如不能是引用类型、不能是不可移动的POD)
错误类型E选std::error_code还是自定义enum class
选std::error_code适合系统级I/O或跨模块错误传递,比如文件打开失败、网络超时;选enum class更适合业务逻辑错误,比如enum class ParseError { InvalidFormat, MissingField };。
关键限制:如果选enum class,必须为其定义std::is_error_code_enum_v特化,否则无法与std::unexpected配合使用(某些编译器会静默失败):
enum class MyErr { BadInput, Overflow };
namespace std {
template struct is_error_code_enum<myerr> : std::true_type {};
}</myerr>
-
std::error_code天然支持category()和message(),便于日志和调试 - 自定义
enum class更类型安全,不会意外与其它枚举混淆 - 避免用
std::string作E——它可能抛异常(拷贝失败),违反std::expected的noexcept保证
多重错误路径真正难的不是语法,而是统一错误分类和传播边界。比如一个HTTP客户端函数返回std::expected<response httperror></response>,但内部调用的JSON解析器返回std::expected<json parseerror></json>,这时得决定是把ParseError转为HttpError::InvalidBody,还是暴露两层错误类型——后者会让接口变重,前者容易丢失原始上下文。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











