`std::optional` 的推导指引

语言支持
类型支持（基本类型、 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)

定义于头文件 `<optional>`
template<class T> optional(T) -> optional<T>;		(C++17 起)

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

运行此代码

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

std::optional 的推导指引