operator==, !=, <, <=, >, >=, <=>(std::optional)

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

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

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

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

言語サポート 型のサポート (基本型、RTTI) ライブラリ機能検査マクロ (C++20) プログラムユーティリティ 可変引数関数 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) コルーチンサポート (C++20) 契約サポート (C++26) 三方比較 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_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

汎用ユーティリティ 関数オブジェクト ビット操作 (C++20) bitset hash (C++11) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 共通語彙型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

std::optional

メンバ関数

optional::optional

optional::~optional

optional::operator=

監視

optional::operator->optional::operator*

optional::operator booloptional::has_value

optional::value

optional::value_or

イテレータ

optional::begin (C++26)

optional::end (C++26)

モナド操作

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(std::optional)

推論補助

ヘルパークラス

hash<std::optional>

nullopt_t

in_place_t

bad_optional_access

ヘルパーオブジェクト

nullopt

in_place

 

ヘッダ <optional> で定義
2つの optional オブジェクトを比較する
template< class T, class U > constexpr bool operator==( const optional<T>& lhs, const optional<U>& rhs );	(1)	(C++17以降)
template< class T, class U > constexpr bool operator!=( const optional<T>& lhs, const optional<U>& rhs );	(2)	(C++17以降)
template< class T, class U > constexpr bool operator<( const optional<T>& lhs, const optional<U>& rhs );	(3)	(C++17以降)
template< class T, class U > constexpr bool operator<=( const optional<T>& lhs, const optional<U>& rhs );	(4)	(C++17以降)
template< class T, class U > constexpr bool operator>( const optional<T>& lhs, const optional<U>& rhs );	(5)	(C++17以降)
template< class T, class U > constexpr bool operator>=( const optional<T>& lhs, const optional<U>& rhs );	(6)	(C++17以降)
template< class T, std::three_way_comparable_with<T> U > constexpr std::compare_three_way_result_t<T, U>     operator<=>( const optional<T>& lhs, const optional<U>& rhs );	(7)	(C++20以降)
optional オブジェクトを nullopt と比較する
template< class T > constexpr bool operator==( const optional<T>& opt, std::nullopt_t ) noexcept;	(8)	(C++17以降)
template< class T > constexpr bool operator==( std::nullopt_t, const optional<T>& opt ) noexcept;	(9)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator!=( const optional<T>& opt, std::nullopt_t ) noexcept;	(10)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator!=( std::nullopt_t, const optional<T>& opt ) noexcept;	(11)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator<( const optional<T>& opt, std::nullopt_t ) noexcept;	(12)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator<( std::nullopt_t, const optional<T>& opt ) noexcept;	(13)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator<=( const optional<T>& opt, std::nullopt_t ) noexcept;	(14)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator<=( std::nullopt_t, const optional<T>& opt ) noexcept;	(15)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator>( const optional<T>& opt, std::nullopt_t ) noexcept;	(16)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator>( std::nullopt_t, const optional<T>& opt ) noexcept;	(17)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator>=( const optional<T>& opt, std::nullopt_t ) noexcept;	(18)	(C++17以降) (C++20まで)
template< class T > constexpr bool operator>=( std::nullopt_t, const optional<T>& opt ) noexcept;	(19)	(C++17以降) (C++20まで)
template< class T > constexpr std::strong_ordering     operator<=>( const optional<T>& opt, std::nullopt_t ) noexcept;	(20)	(C++20以降)
optional オブジェクトを値と比較する
template< class T, class U > constexpr bool operator==( const optional<T>& opt, const U& value );	(21)	(C++17以降)
template< class U, class T > constexpr bool operator==( const U& value, const optional<T>& opt );	(22)	(C++17以降)
template< class T, class U > constexpr bool operator!=( const optional<T>& opt, const U& value );	(23)	(C++17以降)
template< class U, class T > constexpr bool operator!=( const U& value, const optional<T>& opt );	(24)	(C++17以降)
template< class T, class U > constexpr bool operator<( const optional<T>& opt, const U& value );	(25)	(C++17以降)
template< class U, class T > constexpr bool operator<( const U& value, const optional<T>& opt );	(26)	(C++17以降)
template< class T, class U > constexpr bool operator<=( const optional<T>& opt, const U& value );	(27)	(C++17以降)
template< class U, class T > constexpr bool operator<=( const U& value, const optional<T>& opt );	(28)	(C++17以降)
template< class T, class U > constexpr bool operator>( const optional<T>& opt, const U& value );	(29)	(C++17以降)
template< class U, class T > constexpr bool operator>( const U& value, const optional<T>& opt );	(30)	(C++17以降)
template< class T, class U > constexpr bool operator>=( const optional<T>& opt, const U& value );	(31)	(C++17以降)
template< class U, class T > constexpr bool operator>=( const U& value, const optional<T>& opt );	(32)	(C++17以降)
template< class T, std::three_way_comparable_with<T> U > constexpr std::compare_three_way_result_t<T, U>     operator<=>( const optional<T>& opt, const U& value );	(33)	(C++20以降)

optional オブジェクトに対する比較演算を実行する。

1-7) 2つの optional オブジェクト lhs と rhs を比較する。lhs と rhs の両方が値を持っている場合にのみ、格納された値が比較される（T の対応する演算子を使用）。そうでない場合、

• lhs は、lhs と rhs の両方が値を含んでいない場合に限り、rhs と等しいと見なされます。
• rhs が値を含み、lhs が値を含まない場合に限り、lhs は rhs より小さいとみなされる。

1-6) これらの各関数について、@ を対応する比較演算子とする

対応する式 *lhs @ *rhs が不正な形式であるか、その結果が bool に変換できない場合、プログラムは不正な形式となる。	(C++26まで)
このオーバーロードは、対応する式 *lhs @ *rhs が整形式であり、その結果が bool に変換できる場合にのみ、オーバーロード解決に参加する。	(C++26以降)

8-20) opt を nullopt と比較する。値を含まない optional と比較する場合の (1-6) と同等。

<, <=, >, >=, != 演算子は、それぞれ operator<=> と operator== から合成されます。

(C++20以降)

21-33) opt を value と比較する。opt が値を持っている場合にのみ、値が比較される（T の対応する演算子を使用）。そうでない場合、opt は value より小さいとみなされる。

21-32) これらの各関数について、@ を対応する比較演算子とする

対応する式 *opt @ value または value @ *opt (オペランドの位置による) が不正な形式であるか、その結果が bool に変換できない場合、プログラムは不正な形式となる。	(C++26まで)
このオーバーロードは、以下のすべての条件が満たされた場合にのみオーバーロード解決に参加する。 U は std::optional の特殊化ではない。 対応する式 *opt @ value または value @ *opt (オペランドの位置による) が整形式であり、その結果が bool に変換できる。	(C++26以降)

パラメータ

lhs, rhs, opt	-	比較する optional オブジェクト
value	-	格納された値と比較する値

戻り値

1) lhs.has_value() != rhs.has_value() ? false :
    (lhs.has_value() == false ? true : *lhs == *rhs)

2) lhs.has_value() != rhs.has_value() ? true :
    (lhs.has_value() == false ? false : *lhs != *rhs)

3) !rhs ? false : (!lhs ? true : *lhs < *rhs)

4) !lhs ? true : (!rhs ? false : *lhs <= *rhs)

5) !lhs ? false : (!rhs ? true : *lhs > *rhs)

6) !rhs ? true : (!lhs ? false : *lhs >= *rhs)

7) lhs && rhs ? *lhs <=> *rhs : lhs.has_value() <=> rhs.has_value()

8,9) !opt

10,11) opt.has_value()

12) false

13) opt.has_value()

14) !opt

15) true

16) opt.has_value()

17) false

18) true

19) !opt

20) opt.has_value() <=> false

21) opt.has_value() ? *opt == value : false

22) opt.has_value() ? value == *opt : false

23) opt.has_value() ? *opt != value : true

24) opt.has_value() ? value != *opt : true

25) opt.has_value() ? *opt < value  : true

26) opt.has_value() ? value < *opt  : false

27) opt.has_value() ? *opt <= value : true

28) opt.has_value() ? value <= *opt : false

29) opt.has_value() ? *opt > value  : false

30) opt.has_value() ? value > *opt  : true

31) opt.has_value() ? *opt >= value : false

32) opt.has_value() ? value >= *opt : true

33) opt.has_value() ? *opt <=> value : std::strong_ordering::less

例外

1-7) 実装定義の例外を投げる場合がある。

21-33) 比較が例外を投げる場合に、その例外を投げる。

備考

機能テストマクロ	値	規格	機能
__cpp_lib_constrained_equality	202403L	(C++26)	std::optional の制約付き比較演算子

欠陥報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 2945	C++17	T と比較するケースでテンプレートパラメータの順序が不整合	整合性が取れた