std::expected

在标头 `<expected>` 定义
template< class T, class E > class expected;		(C++23 起)

类模板 std::expected 提供存储二个值之一的方式。 std::expected 的对象再任何给定时刻要么保有一个期待的 T 类型值，要么保有一个不期待的 E 类型值。 std::expected 决不会无值。

存储的值直接分配于 expected 对象所占用的存储中。不发生动态分配。

若程序以引用类型、函数类型，或 std::unexpected 的特化实例化 expected 则程序非良构。另外， T 必须不是 std::in_place_t 或 std::unexpect_t 。

T	-	期待的值的类型。类型必须为（可有 cv 限定的） void 或符合可析构 (Destructible) 要求（尤其是不允许数组或引用类型）。
E	-	不期待的值的类型。类型必须符合可析构 (Destructible) 要求，且必须对于 `std::unexpected` 为合法的模板形参（尤其是不允许数组、非对象类型及 cv 限定的类型）。

成员类型	定义
`value_type`	`T`
`error_type`	`E`
`unexpected_type`	`std::unexpected<E>`
`rebind`	template< class U > using rebind = expected<U, error_type>;

(构造函数) (C++23)	构造 `expected` 对象 (公开成员函数)
(析构函数) (C++23)	销毁 `expected` 对象以及其所含的值 (公开成员函数)
operator= (C++23)	赋值内容 (公开成员函数)
观察器
operator->operator* (C++23)	返回期待的值 (公开成员函数)
operator boolhas_value (C++23)	检查对象是否含有期待的值 (公开成员函数)
value (C++23)	返回期待的值 (公开成员函数)
error (C++23)	返回不期待的值 (公开成员函数)
value_or (C++23)	如果有期待的值则返回它，否则返回另一个值 (公开成员函数)
单子操作
and_then (C++23)	若期待的值存在则返回给定的函数在其上的结果，否则返回 `expected` 本身 (公开成员函数)
transform (C++23)	若期待的值存在则返回含有变换后期待的值的 `expected` ，否则返回 `expected` 本身 (公开成员函数)
or_else (C++23)	若 `expected` 含有期待的值则返回其自身，否则返回给定的函数在不期待的值上的结果 (公开成员函数)
transform_error (C++23)	若含有期待的值则返回 `expected` 本身，否则返回含有变换后不期待的值的 `expected` (公开成员函数)
修改器
emplace (C++23)	在原位构造期待的值 (公开成员函数)
swap (C++23)	交换内容 (公开成员函数)

operator== (C++23)	比较 `expected` 对象 (函数模板)
swap(std::expected) (C++23)	特化 std::swap 算法 (函数)

unexpected (C++23)	表示为不期待的值 (类模板)
bad_expected_access (C++23)	指示对含有不期待的值的 `expected` 的有检查访问的异常 (类模板)
unexpect_tunexpect (C++23)	`expected` 中不期待的值的原位构造标签 (类) (常量)

拥有相同功能的类型在 Rust 与 Haskell 中分别被称为 Result 和 Either 。

功能特性测试宏	值	标准
`__cpp_lib_expected`	202202L	(C++23)

variant (C++17)	类型安全的可辨识联合体 (类模板)
optional (C++17)	可能或可能不保有一个对象的包装器 (类模板)