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

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

工具庫

語言支援 型別支援（基本型別、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)

Monadic operations

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>
比較兩個 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) 比較兩個 optional 物件 lhs 和 rhs。僅當 lhs 和 rhs 都包含值時，才比較它們所包含的值（使用 T 對應的運算子）。否則，

• 當且僅當 lhs 和 rhs 都不包含值時，lhs 被認為是等於 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++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 2945	C++17	與 T 比較的模板引數順序不一致	已使其保持一致