`std::optional` 的推导指引

语言支持
类型支持（基本类型、 RTTI）
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
is_constant_evaluated (C++20)
is_within_lifetime (C++26)
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++11)

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

整数比较函数

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

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

(C++20)

swap 与类型运算

常用词汇类型

初等字符串转换

在标头 `<optional>` 定义
template<class T> optional(T) -> optional<T>;		(C++17 起)

为 std::optional 提供一个推导指引以处理隐式推导指引所遗漏的极端情况，尤其是不可复制参数和数组到指针转换。

运行此代码

#include <optional>
 
int main()
{
    int a[2];
    std::optional oa{a}; // 用于此情况的显式推导指引
}

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

std::optional 的推导指引