std::experimental::optional<T>::optional

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS 功能特性

模式匹配

线性代数

std::execution

契约

2D 图形

 

库基础

experimental::optional

experimental::any

experimental::basic_string_view

experimental::sample

experimental::shared_ptr

experimental::weak_ptr

experimental::apply

experimental::invocation_typeexperimental::raw_invocation_type

experimental::search

experimental::default_searcherexperimental::make_default_searcher

experimental::boyer_moore_searcherexperimental::make_boyer_moore_searcher

experimental::boyer_moore_horspool_searcherexperimental::make_boyer_moore_horspool_searcher

类型擦除及多态分配器

类型特性的变量模板

 

std::experimental::optional

成员函数

optional::optional

optional::~optional

optional::operator=

观察器

optional::operator->optional::operator*

optional::operator bool

optional::value

optional::value_or

修改器

optional::emplace

optional::swap

非成员函数

operator==operator!=operator<operator<=operator>operator>=

make_optional

swap

辅助类

hash

nullopt_t

in_place_t

bad_optional_access

辅助对象

nullopt

in_place

 

constexpr optional() noexcept; constexpr optional( std::experimental::nullopt_t ) noexcept;	(1)	(库基础 TS)
optional( const optional& other );	(2)	(库基础 TS)
optional( optional&& other ) noexcept(/* see below */);	(3)	(库基础 TS)
constexpr optional( const T& value );	(4)	(库基础 TS)
constexpr optional( T&& value );	(5)	(库基础 TS)
template< class... Args > constexpr explicit optional( std::experimental::in_place_t, Args&&... args );	(6)	(库基础 TS)
template< class U, class... Args > constexpr explicit optional( std::experimental::in_place_t,                              std::initializer_list<U> ilist,                              Args&&... args );	(7)	(库基础 TS)

构造新 optional 对象。

1) 构造不含值的对象。

2) 复制构造函数：如果 other 含有值，则如同从表达式 *other 直接初始化（但并非直接列表初始化）T 类型的对象一样初始化所含的值。如果 other 并不含有值，则构造不含值的对象。

3) 移动构造函数：如果 other 含有值，则如同从表达式 std::move(*other) 直接初始化（但并非直接列表初始化）T 类型的对象一样初始化所含的值，且并不使 other 为空：被移动 optional 仍然含有值，但其值自身被移动。如果 other 并不含有值，则构造不含值的对象。

4) 构造包含值的 optional 对象，如同从表达式 value 直接初始化（但并非直接列表初始化）T 类型的对象一样进行初始化。如果由直接初始化所选中的 T 的构造函数为 constexpr，则此构造函数为 constexpr。

5) 构造包含值的 optional 对象，如同从表达式 std::move(value) 直接初始化（但并非直接列表初始化）T 类型的对象一样进行初始化。如果由直接初始化所选中的 T 的构造函数为 constexpr，则此构造函数为 constexpr。

6) 构造包含值的 optional 对象，如同从实参 std::forward<Args>(args)... 直接初始化（但并非直接列表初始化）T 类型的对象一样进行初始化。

7) 构造包含值的 optional 对象，如同从实参 ilist, std::forward<Args>(args)... 直接初始化（但并非直接列表初始化）T 类型的对象一样进行初始化。如果 std::is_constructible<T, std::initializer_list<U>&, Args&&...>::value != true，则此函数并不参与重载决议。

Parameters

other	-	从中复制其所包含值的另一 optional 对象
value	-	用以初始化所包含值的值
args...	-	用以初始化所包含值的实参
ilist	-	用以初始化所包含值的初始化式列表
类型要求
- 为使用重载 (2,4)， T 必须满足可复制构造 (CopyConstructible) 。
- 为使用重载 (3,5)， T 必须满足可移动构造 (MoveConstructible) 。

异常

2) 抛出 T 的构造函数所抛出的任何异常。

3) 抛出 T 的构造函数所抛出的任何异常。具有如下 noexcept 声明：

noexcept 说明：  

noexcept(std::is_nothrow_move_constructible<T>::value)

4-7) 抛出 T 的构造函数所抛出的任何异常。

示例

运行此代码

#include <experimental/optional>
#include <iostream>
#include <string>
 
int main()
{
    std::experimental::optional<int> o1,      // 空
                                     o2 = 1,  // 从右值初始化
                                     o3 = o2; // 复制构造函数
 
    std::experimental::optional<std::string> o4(std::experimental::in_place,
                                                {'a', 'b', 'c'});
 
    std::cout << *o2 << ' ' << *o3 << ' ' << *o4 << '\n';
}

输出：

1 1 abc

参阅

make_optional

创建一个 optional 对象 (函数模板)