标准库标头 <optional> (C++17)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

标准库头

语言支持 <cfloat> <climits> <compare>(C++20) <contracts>(C++26) <coroutine>(C++20) <csetjmp> <csignal> <cstdarg> <cstddef> <cstdint>(C++11) <cstdlib> <exception> <initializer_list>(C++11)    <limits> <new> <source_location>(C++20) <stdfloat>(C++23) <typeinfo> <version>(C++20) 概念 <concepts>(C++20) 诊断 <cassert> <cerrno> <debugging>(C++26) <stacktrace>(C++23) <stdexcept> <system_error>(C++11) 内存管理 <memory> <memory_resource>(C++17) <scoped_allocator>(C++11) 元编程 <type_traits>(C++11) <ratio>(C++11)

通用工具 <any>(C++17) <bitset> <bit>(C++20) <charconv>(C++17) <expected>(C++23) <format>(C++20) <functional> <optional>(C++17) <stdbit.h>(C++26) <tuple>(C++11) <typeindex>(C++11) <utility> <variant>(C++17) 容器 <array>(C++11) <deque> <flat_map>(C++23) <flat_set>(C++23) <forward_list>(C++11) <hive>(C++26) <inplace_vector>(C++26)    <list> <map> <mdspan>(C++23) <queue> <set> <span>(C++20) <stack> <unordered_map>(C++11) <unordered_set>(C++11) <vector> 迭代器 <iterator> 范围 <generator>(C++23) <ranges>(C++20)

算法 <algorithm> <numeric> 字符串 <cctype> <cstring> <cuchar>(C++11) <cwchar> <cwctype> <string_view>(C++17) <string> 文本处理 <clocale> <codecvt>(C++11/17/26*) <locale> <regex>(C++11) <text_encoding>(C++26)    cpp/header#数值库数值 <cfenv>(C++11) <cmath> <complex> <linalg>(C++26) <numbers>(C++20) <random>(C++11) <simd>(C++26) <stdckdint.h>(C++26) <valarray> 时间 <chrono>(C++11) <ctime> C 兼容性 <ccomplex>(C++11/17/20*) <ciso646>(C++20 前) <cstdalign>(C++11/17/20*) <cstdbool>(C++11/17/20*) <ctgmath>(C++11/17/20*)

输入/输出 <cinttypes>(C++11) <cstdio> <filesystem>(C++17) <fstream> <iomanip> <iosfwd> <iostream> <ios> <istream> <ostream> <print>(C++23) <spanstream>(C++23) <sstream> <streambuf> <strstream>(C++98/26*) <syncstream>(C++20) 并发支持 <atomic>(C++11) <barrier>(C++20) <condition_variable>(C++11) <future>(C++11) <hazard_pointer>(C++26) <latch>(C++20) <mutex>(C++11) <rcu>(C++26) <semaphore>(C++20) <shared_mutex>(C++14) <stdatomic.h>(C++23) <stop_token>(C++20) <thread>(C++11) 执行支持 <execution>(C++17)

 

此头文件是通用工具库的一部分。

包含
<compare> (C++20)	三路比较运算符支持
类
optional (C++17)	可能或可能不保有一个对象的包装器 (类模板)
bad_optional_access (C++17)	指示进行了到不含值的 optional 的有检查访问的异常 (类)
std::hash<std::optional> (C++17)	std::optional 的散列支持 (类模板特化)
nullopt_t (C++17)	不含值的 std::optional 的指示器 (类)
前置声明
在标头 <functional> 定义
hash (C++11)	散列函数对象 (类模板)
常量
nullopt (C++17)	nullopt_t 类型的对象 (常量)
函数
比较
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20)	比较 optional 对象 (函数模板)
特化的算法
std::swap(std::optional) (C++17)	特化 std::swap 算法 (函数模板)
make_optional (C++17)	创建一个 optional 对象 (函数模板)

概要

#include <compare>   namespace std {// 类模板 optionaltemplate<class T>class optional;   template<class T>constexprboolranges::enable_view<optional<T>>=true;template<class T>constexprauto format_kind<optional<T>>= range_format::disabled;   template<class T> concept /*is-derived-from-optional*/= requires(const T& t){// 仅用于阐述[]<class U>(const optional<U>&){}(t);};   // 无值状态指示器struct nullopt_t{/* 见描述 */};inlineconstexpr nullopt_t nullopt(/* 未指明 */);   // 类 bad_optional_accessclass bad_optional_access;   // 关系运算符template<class T, class U>constexprbool operator==(const optional<T>&, const optional<U>&);template<class T, class U>constexprbool operator!=(const optional<T>&, const optional<U>&);template<class T, class U>constexprbool operator<(const optional<T>&, const optional<U>&);template<class T, class U>constexprbool operator>(const optional<T>&, const optional<U>&);template<class T, class U>constexprbool operator<=(const optional<T>&, const optional<U>&);template<class T, class U>constexprbool operator>=(const optional<T>&, const optional<U>&);template<class T, three_way_comparable_with<T> U>constexpr compare_three_way_result_t<T,U> operator<=>(const optional<T>&, const optional<U>&);   // 与 nullopt 比较template<class T>constexprbool operator==(const optional<T>&, nullopt_t)noexcept;template<class T>constexpr strong_ordering operator<=>(const optional<T>&, nullopt_t)noexcept;   // 与 T 比较template<class T, class U>constexprbool operator==(const optional<T>&, const U&);template<class T, class U>constexprbool operator==(const T&, const optional<U>&);template<class T, class U>constexprbool operator!=(const optional<T>&, const U&);template<class T, class U>constexprbool operator!=(const T&, const optional<U>&);template<class T, class U>constexprbool operator<(const optional<T>&, const U&);template<class T, class U>constexprbool operator<(const T&, const optional<U>&);template<class T, class U>constexprbool operator>(const optional<T>&, const U&);template<class T, class U>constexprbool operator>(const T&, const optional<U>&);template<class T, class U>constexprbool operator<=(const optional<T>&, const U&);template<class T, class U>constexprbool operator<=(const T&, const optional<U>&);template<class T, class U>constexprbool operator>=(const optional<T>&, const U&);template<class T, class U>constexprbool operator>=(const T&, const optional<U>&);template<class T, class U> requires (!/*is-derived-from-optional*/<U>)&& three_way_comparable_with<T, U>constexpr compare_three_way_result_t<T, U> operator<=>(const optional<T>&, const U&);   // 特化的算法template<class T>constexprvoid swap(optional<T>&, optional<T>&)noexcept(/* 见描述 */);   template<class T>constexpr optional<decay_t<T>> make_optional(T&&);template<class T, class... Args>constexpr optional<T> make_optional(Args&&... args);template<class T, class U, class... Args>constexpr optional<T> make_optional(initializer_list<U> il, Args&&... args);   // 散列支持template<class T>struct hash;template<class T>struct hash<optional<T>>;}

类模板 std::optional

namespace std {template<class T>class optional {public:using value_type = T;using iterator =/* 由实现定义 */;using const_iterator =/* 由实现定义 */;   // 构造函数constexpr optional()noexcept;constexpr optional(nullopt_t)noexcept;constexpr optional(const optional&);constexpr optional(optional&&)noexcept(/* 见描述 */);template<class... Args>constexprexplicit optional(in_place_t, Args&&...);template<class U, class... Args>constexprexplicit optional(in_place_t, initializer_list<U>, Args&&...);template<class U = remove_cv_t<T>>constexprexplicit(/* 见描述 */) optional(U&&);template<class U>constexprexplicit(/* 见描述 */) optional(const optional<U>&);template<class U>constexprexplicit(/* 见描述 */) optional(optional<U>&&);   // 析构函数constexpr ~optional();   // 赋值constexpr optional& operator=(nullopt_t)noexcept;constexpr optional& operator=(const optional&);constexpr optional& operator=(optional&&)noexcept(/* 见描述 */);template<class U = remove_cv_t<T>>constexpr optional& operator=(U&&);template<class U>constexpr optional& operator=(const optional<U>&);template<class U>constexpr optional& operator=(optional<U>&&);template<class... Args>constexpr T& emplace(Args&&...);template<class U, class... Args>constexpr T& emplace(initializer_list<U>, Args&&...);   // 交换constexprvoid swap(optional&)noexcept(/* 见描述 */);   // 迭代器支持constexpr iterator begin()noexcept;constexpr const_iterator begin()constnoexcept;constexpr iterator end()noexcept;constexpr const_iterator end()constnoexcept;   // 观察器constexprconst T* operator->()constnoexcept;constexpr T* operator->()noexcept;constexprconst T& operator*()const&noexcept;constexpr T& operator*()&noexcept;constexpr T&& operator*()&&noexcept;constexprconst T&& operator*()const&&noexcept;constexprexplicit operator bool()constnoexcept;constexprbool has_value()constnoexcept;constexprconst T& value()const&;constexpr T& value()&;constexpr T&& value()&&;constexprconst T&& value()const&&;template<class U = remove_cv_t<T>>constexpr T value_or(U&&)const&;template<class U = remove_cv_t<T>>constexpr T value_or(U&&)&&;   // 单子操作template<class F>constexprauto and_then(F&& f)&;template<class F>constexprauto and_then(F&& f)&&;template<class F>constexprauto and_then(F&& f)const&;template<class F>constexprauto and_then(F&& f)const&&;template<class F>constexprauto transform(F&& f)&;template<class F>constexprauto transform(F&& f)&&;template<class F>constexprauto transform(F&& f)const&;template<class F>constexprauto transform(F&& f)const&&;template<class F>constexpr optional or_else(F&& f)&&;template<class F>constexpr optional or_else(F&& f)const&;   // 修改器constexprvoid reset()noexcept;   private: T *val;// 仅用于阐述};   template<class T> optional(T)-> optional<T>;}