std::optional 的推导指引

C++ 参考手册

C++11
C++14
C++17
C++20
C++ 编译器支持情况表
独立与宿主实现
C++ 语言
C++ 关键词
预处理器
C++ 标准库头文件
具名要求
功能特性测试 (C++20)
工具库
程序支持工具
std::initializer_list
函数对象
std::hash
std::pair
std::tuple
std::optional
std::hash <std::optional>
std::optional<T>::operator->, std::optional<T>::operator*
std::optional<T>::operator=
std::optional<T>::optional
std::optional<T>::~optional
std::optional<T>::operator bool, std::optional<T>::has_value
std::optional<T>::value
std::optional<T>::value_or
std::optional<T>::emplace
std::optional<T>::swap
std::optional<T>::reset
operator==, !=, <, <=, >, >=, <=>(std::optional)
std::make_optional
std::swap(std::optional)
std::optional 的推导指引
std::nullopt_t
std::bad_optional_access
std::nullopt
std::apply
库特性测试宏 (C++20)
std::any
std::variant
格式化库 (C++20)
std::integer_sequence
std::exchange
std::make_from_tuple
std::launder
std::to_chars
std::from_chars
std::as_const
std::source_location
变参数函数
std::bitset
std::cmp_equal, cmp_not_equal, cmp_less, cmp_greater, cmp_less_equal, cmp_greater_equal
std::in_range
std::declval
std::forward
std::move
std::move_if_noexcept
std::chars_format
std::piecewise_construct_t
std::piecewise_construct
std::in_place, std::in_place_type, std::in_place_index, std::in_place_t, std::in_place_type_t, std::in_place_index_t
注释
类型支持（基本类型、RTTI、类型特性）
概念库 (C++20)
错误处理
动态内存管理
日期和时间工具
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
输入/输出库
文件系统库
本地化库
正则表达式库
原子操作库
线程支持库
实验性 C++ 特性
有用的资源
索引
std 符号索引
协程支持 (C++20)
C++ 关键词

位置：首页 > C++ 参考手册 >工具库 >std::optional > std::optional 的推导指引

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

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

示例

运行此代码

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