標準ライブラリヘッダ <optional>

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

入出力ライブラリ

ローカライゼーションライブラリ

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

ファイルシステムライブラリ(C++17)

技術仕様書

 

標準ライブラリヘッダ

言語サポート
<cstddef> <limits> <climits> <coroutine>	<cfloat> <cstdint> <new> <source_location>	<typeinfo> <exception> <initializer_list> <version>	<csignal> <csetjmp> <cstdarg>
コンセプト
<concepts>
診断
<stdexcept>	<cassert>	<cerrno>	<system_error>
汎用ユーティリティ
<utility> <memory> <memory_resource> <scoped_allocator>     <compare>	<bitset> <tuple> <optional> <any> <variant>	<type_traits> <ratio> <chrono> <typeindex> <functional>	<ctime> <cstdlib>
文字列
<string> <string_view> <cstring>	<charconv> <format>	<cctype> <cwctype>	<cwchar> <cuchar>
ローカライゼーション
<locale>	<codecvt>	<clocale>
コンテナ
<span> <array> <vector>	<deque> <forward_list> <list>	<map> <set> <queue>	<unordered_map> <unordered_set> <stack>
イテレータ
<iterator>
範囲
<ranges>
アルゴリズム
<algorithm>	<execution>
数値演算
<complex> <random>	<valarray> <numeric>	<bit> <numbers>	<cfenv> <cmath>
入出力
<iosfwd> <ios> <iomanip> <streambuf>	<istream> <ostream> <iostream>	<sstream> <fstream> <syncstream>	<cstdio> <cinttypes> <strstream>
正規表現
<regex>
ファイルシステムサポート
<filesystem>
スレッドサポート
<thread> <atomic> <mutex>	<shared_mutex> <condition_variable> <future>	<stop_token> <semaphore>	<latch> <barrier>
C互換
<ciso646> <cstdalign>	<cstdbool> <ccomplex>	<ctgmath>

 

クラス
optional (C++17)	値を保持するかもしれないし保持しないかもしれないラッパー (クラステンプレート)
bad_optional_access (C++17)	値を格納していない optional へのチェック付きアクセスを表す例外 (クラス)
std::hash<std::optional> (C++17)	std::hash アルゴリズムの特殊化 (クラステンプレートの特殊化)
nullopt_t (C++17)	未初期化状態の optional 型を表す標識 (クラス)
定数
nullopt (C++17)	nullopt_t 型のオブジェクト (定数)
関数
比較
operator==operator!=operator<operator<=operator>operator>= (C++17)	optional オブジェクトを比較します (関数テンプレート)
アルゴリズムの特殊化
std::swap(std::optional) (C++17)	std::swap アルゴリズムの特殊化 (関数)
make_optional (C++17)	optional オブジェクトを作成します (関数テンプレート)

概要

namespace std {// class template optionaltemplate<class T>class optional;   // no-value state indicatorstruct nullopt_t{/* see description */};inlineconstexpr nullopt_t nullopt(/* unspecified */);   // class bad_optional_accessclass bad_optional_access;   // relational operatorstemplate<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>&);   // comparison with nullopttemplate<class T>constexprbool operator==(const optional<T>&, nullopt_t)noexcept;template<class T>constexpr strong_ordering operator<=>(const optional<T>&, nullopt_t)noexcept;   // comparison with Ttemplate<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, three_way_comparable_with<T> U>constexpr compare_three_way_result_t<T,U> operator<=>(const optional<T>&, const U&);   // specialized algorithmstemplate<class T>void swap(optional<T>&, optional<T>&)noexcept(/* see description */);   template<class T>constexpr optional</* see description */> 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);   // hash supporttemplate<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;   // constructorsconstexpr optional()noexcept;constexpr optional(nullopt_t)noexcept;constexpr optional(const optional&);constexpr optional(optional&&)noexcept(/* see description */);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 = T>explicit(/* see description */)constexpr optional(U&&);template<class U>explicit(/* see description */) optional(const optional<U>&);template<class U>explicit(/* see description */) optional(optional<U>&&);   // destructor ~optional();   // assignment optional& operator=(nullopt_t)noexcept;constexpr optional& operator=(const optional&);constexpr optional& operator=(optional&&)noexcept(/* see description */);template<class U = T> optional& operator=(U&&);template<class U> optional& operator=(const optional<U>&);template<class U> optional& operator=(optional<U>&&);template<class... Args> T& emplace(Args&&...);template<class U, class... Args> T& emplace(initializer_list<U>, Args&&...);   // swapvoid swap(optional&)noexcept(/* see description */);   // observersconstexprconst T* operator->()const;constexpr T* operator->();constexprconst T& operator*()const&;constexpr T& operator*()&;constexpr T&& operator*()&&;constexprconst T&& operator*()const&&;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>constexpr T value_or(U&&)const&;template<class U>constexpr T value_or(U&&)&&;   // modifiersvoid reset()noexcept;   private: T *val;// exposition only};   template<class T> optional(T)-> optional<T>;}