std::nullopt_t

语言支持
类型支持（基本类型、 RTTI 、类型特征）
库功能特性测试宏 (C++20)
动态内存管理
程序工具
错误处理
协程支持 (C++20)
变参数函数
launder (C++17)
initializer_list (C++11)
source_location (C++20)
三路比较 (C++20)
three_way_comparablethree_way_comparable_with (C++20)(C++20)
strong_ordering (C++20)
weak_ordering (C++20)
partial_ordering (C++20)
common_comparison_category (C++20)
compare_three_way_result (C++20)
compare_three_way (C++20)
strong_order (C++20)
weak_order (C++20)
partial_order (C++20)
compare_strong_order_fallback (C++20)
compare_weak_order_fallback (C++20)
compare_partial_order_fallback (C++20)
is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

通用工具

关系运算符 (C++20 中弃用)

整数比较函数

(C++20)(C++20)(C++20)

(C++20)(C++20)(C++20)

(C++20)

swap 与类型运算

常用词汇类型

初等字符串转换

to_chars (C++17)
from_chars (C++17)

(C++17)

栈踪

(C++23)

(C++23)

成员函数
optional::optional (C++17)
optional::~optional (C++17)
optional::operator= (C++17)
观察器
optional::operator->optional::operator* (C++17)(C++17)
optional::operator booloptional::has_value (C++17)(C++17)
optional::value (C++17)
optional::value_or (C++17)
单子操作
optional::and_then (C++23)
optional::transform (C++23)
optional::or_else (C++23)
修改器
optional::emplace (C++17)
optional::swap (C++17)
optional::reset (C++17)
非成员函数
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20)
make_optional (C++17)
swap (C++17)
推导指引
辅助类
hash (C++17)
nullopt_t (C++17)
in_place_t (C++17)
bad_optional_access (C++17)
辅助对象
nullopt (C++17)
in_place (C++17)

std::nullopt_t 是空类类型，用于指示 optional 类型拥有未初始化状态。特别是 std::optional 有一个以 nullopt_t 为单参数的构造函数，它创建不含值的 optional 。

std::nullopt_t 必须是非聚合字面类型 (LiteralType) ，而且不能有默认构造函数或 initializer_list 构造函数。

它必须有一个接收实现定义字面类型的 constexpr 构造函数。

nullopt_t 构造函数上的制约，在于支持 op = {}; 和 op = nullopt; 两者都是令 optional 不含对象的语法。

此类的一个可能实现是

struct nullopt_t {
    explicit constexpr nullopt_t(int) {}
};

(C++17)

nullopt_t 类型对象
(常量)