std::partial_ordering

 

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)

 

定義於標頭檔案 <compare>
class partial_ordering;		(C++20 起)

類型別 std::partial_ordering 是三路比較的結果型別，它

• 允許所有六種關係運算符（==、!=、<、<=、>、>=）。

• 不意味著可替換性：如果 a 等價於 b，則 f(a) 可能不等於 f(b)，其中 f 表示一個僅透過引數的公共 const 成員讀取比較顯著狀態的函式。換句話說，等價的值可能可區分。
• 允許不可比較值：a < b、a == b 和 a > b 都可能為 false。

常量

型別 std::partial_ordering 有四個有效值，作為其型別的 const 靜態資料成員實現。

名稱	定義
inline constexpr std::partial_ordering less [靜態]	一個有效值，表示小於（排在前面）關係 (public static 成員常量)
inline constexpr std::partial_ordering equivalent [靜態]	一個表示等價的有效值（既不排在前面也不排在後面） (public static 成員常量)
inline constexpr std::partial_ordering greater [靜態]	一個有效值，表示大於（排在後面）關係 (public static 成員常量)
inline constexpr std::partial_ordering unordered [靜態]	一個表示與不可比較值之間關係的有效值 (public static 成員常量)

轉換

std::partial_ordering 不能隱式轉換為其他比較類別型別，而 std::strong_ordering 和 std::weak_ordering 都可以隱式轉換為 partial_ordering。

比較

在此型別的值與字面量 ​0​ 之間定義了比較運算子。這支援表示式 a <=> b == 0 或 a <=> b < 0，它們可用於將三路比較運算子的結果轉換為布林關係；參見 std::is_eq、std::is_lt 等。

這些函式對於普通非限定或限定查詢不可見，並且只有當 std::partial_ordering 是引數的關聯類時，才能透過依賴於引數的查詢找到。

程式試圖將 partial_ordering 與除整數字面量 ​0​ 之外的任何內容進行比較的行為是未定義的。

operator==operator<operator>operator<=operator>=operator<=>

與零或 partial_ordering 進行比較 (函式)

operator==

friend constexpr bool operator==( partial_ordering v, /*unspecified*/ u ) noexcept;	(1)
friend constexpr bool     operator==( partial_ordering v, partial_ordering w ) noexcept = default;	(2)

引數

v, w	-	要檢查的 std::partial_ordering 值
u	-	接受字面量零引數的任何型別的未使用引數

返回值

1) 如果 v 是 equivalent，則為 true；如果 v 是 less、greater 或 unordered，則為 false

2) 如果兩個引數的值相同，則為 true；否則為 false

operator<

friend constexpr bool operator<( partial_ordering v, /*unspecified*/ u ) noexcept;	(1)
friend constexpr bool operator<( /*unspecified*/ u, partial_ordering v ) noexcept;	(2)

引數

v	-	要檢查的 std::partial_ordering 值
u	-	接受字面量零引數的任何型別的未使用引數

返回值

1) 如果 v 是 less，則為 true；如果 v 是 greater、equivalent 或 unordered，則為 false

2) 如果 v 是 greater，則為 true；如果 v 是 less、equivalent 或 unordered，則為 false

operator<=

friend constexpr bool operator<=( partial_ordering v, /*unspecified*/ u ) noexcept;	(1)
friend constexpr bool operator<=( /*unspecified*/ u, partial_ordering v ) noexcept;	(2)

引數

v	-	要檢查的 std::partial_ordering 值
u	-	接受字面量零引數的任何型別的未使用引數

返回值

1) 如果 v 是 less 或 equivalent，則為 true；如果 v 是 greater 或 unordered，則為 false

2) 如果 v 是 greater 或 equivalent，則為 true；如果 v 是 less 或 unordered，則為 false

operator>

friend constexpr bool operator>( partial_ordering v, /*unspecified*/ u ) noexcept;	(1)
friend constexpr bool operator>( /*unspecified*/ u, partial_ordering v ) noexcept;	(2)

引數

v	-	要檢查的 std::partial_ordering 值
u	-	接受字面量零引數的任何型別的未使用引數

返回值

1) 如果 v 是 greater，則為 true；如果 v 是 less、equivalent 或 unordered，則為 false

2) 如果 v 是 less，則為 true；如果 v 是 greater、equivalent 或 unordered，則為 false

operator>=

friend constexpr bool operator>=( partial_ordering v, /*unspecified*/ u ) noexcept;	(1)
friend constexpr bool operator>=( /*unspecified*/ u, partial_ordering v ) noexcept;	(2)

引數

v	-	要檢查的 std::partial_ordering 值
u	-	接受字面量零引數的任何型別的未使用引數

返回值

1) 如果 v 是 greater 或 equivalent，則為 true；如果 v 是 less 或 unordered，則為 false

2) 如果 v 是 less 或 equivalent，則為 true；如果 v 是 greater 或 unordered，則為 false

operator<=>

friend constexpr partial_ordering operator<=>( partial_ordering v, /*unspecified*/ u ) noexcept;	(1)
friend constexpr partial_ordering operator<=>( /*unspecified*/ u, partial_ordering v ) noexcept;	(2)

引數

v	-	要檢查的 std::partial_ordering 值
u	-	接受字面量零引數的任何型別的未使用引數

返回值

1) v。

2) 如果 v 是 less，則為 greater；如果 v 是 greater，則為 less；否則為 v。

備註

浮點值之間的內建 operator<=> 使用此排序：正零和負零比較為 equivalent，但可區分，而 NaN 值與任何其他值比較為 unordered。

參閱

strong_ordering (C++20)	支援所有6個運算子並且可替換的三路比較的結果型別 (class)
weak_ordering (C++20)	支援所有6個運算子但不可替換的三路比較的結果型別 (class)