std::experimental::optional
来自 cppreference.cn
< cpp | experimental
| 定义于头文件 <experimental/optional> |
||
| template< class T > class optional; |
(library fundamentals TS) | |
类模板 std::experimental::optional 管理一个可选的包含值，即可能存在也可能不存在的值。
optional 的一个常见用例是可能失败的函数的返回值。与其他方法（例如 std::pair<T,bool>）相比，optional 可以很好地处理构造开销大的对象，并且更易于阅读，因为意图表达得很明确。
在任何给定时间点，optional<T> 的任何实例要么包含一个值，要么不包含值。
如果 optional<T>包含一个值，则保证该值作为 optional 对象 footprint 的一部分进行分配，即永远不会发生动态内存分配。因此，即使定义了 operator*() 和 operator->()，optional 对象也模拟一个对象，而不是指针。
当类型为 optionaltrue，如果对象不包含值，则返回 false。
在以下条件下，optional 对象包含一个值
- 对象使用类型
T的值初始化。 - 对象从另一个包含一个值的
optional赋值。
在以下条件下，对象不包含值
- 对象被默认初始化。
- 对象使用
std::experimental::nullopt_t的值或不包含值的optional对象初始化。 - 对象从
std::experimental::nullopt_t的值或不包含值的optional赋值。
内容 |
[编辑] 模板参数
| T | - | 要管理初始化状态的值的类型。该类型必须满足 Destructible 的要求。 |
[编辑] 成员类型
| 成员类型 | 定义 |
value_type
|
T
|
[编辑] 成员函数
| 构造 optional 对象 (公共成员函数) | |
| 销毁包含的值（如果存在） (公共成员函数) | |
| 赋值内容 (公共成员函数) | |
观察器 | |
| 访问包含的值 (公共成员函数) | |
| 检查对象是否包含值 (公共成员函数) | |
| 返回包含的值 (公共成员函数) | |
| 如果可用，则返回包含的值，否则返回另一个值 (公共成员函数) | |
修改器 | |
| 交换内容 (公共成员函数) | |
| 就地构造包含的值 (公共成员函数) | |
[编辑] 成员对象
| 成员名称 | 定义 |
val (私有) |
指向包含值的指针（指向同一对象的数据成员），该名称仅用于说明 |
[编辑] 非成员函数
| 比较 optional 对象 (函数模板) | |
| 创建一个 optional 对象 (函数模板) | |
特化 std::swap 算法(函数) |
[编辑] 辅助类
特化 std::hash 算法(类模板特化) | |
| (library fundamentals TS) |
具有未初始化状态的 optional 类型的指示符 (类) |
| (library fundamentals TS) |
用于 optional 类型就地构造的消歧义标签类型 (类) |
| (library fundamentals TS) |
指示对不包含值的 optional 进行检查访问的异常 (类) |
[编辑] 辅助对象
| (library fundamentals TS) |
类型为 nullopt_t 的对象(函数) |
| (library fundamentals TS) |
类型为 std::experimental::in_place_t 的对象(函数) |
