C++ 命名需求： Compare

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 命名要求

基本 DefaultConstructible（可預設構造） MoveConstructible（可移動構造） (C++11) CopyConstructible（可複製構造） CopyAssignable（可複製賦值） MoveAssignable（可移動賦值） (C++11) Destructible（可析構） 型別屬性 ScalarType（標量型別） PODType（POD型別） TriviallyCopyable（可平凡複製） (C++11) TrivialType（平凡型別） (C++11) StandardLayoutType（標準佈局型別） (C++11)   ImplicitLifetimeType（隱式生命週期型別） 全庫範圍 BooleanTestable（可布林測試） EqualityComparable（可相等比較） LessThanComparable（可小於比較） Swappable（可交換） ValueSwappable（值可交換） (C++11) NullablePointer（可空指標） (C++11) Hash（雜湊） (C++11) Allocator FunctionObject（函式物件） Callable Predicate（謂詞） BinaryPredicate（二元謂詞） Compare

Container（容器） Container（容器） ReversibleContainer（可逆容器） AllocatorAwareContainer（分配器感知容器） SequenceContainer（序列容器） ContiguousContainer（連續容器） (C++17) AssociativeContainer（關聯容器） UnorderedAssociativeContainer（無序關聯容器） (C++11)   容器元素 DefaultInsertable（可預設插入） (C++11) CopyInsertable（可複製插入） (C++11) MoveInsertable（可移動插入） (C++11) EmplaceConstructible（可就地構造） (C++11) Erasable（可擦除） (C++11) 迭代器 (Iterator) LegacyIterator（傳統迭代器） LegacyInputIterator（傳統輸入迭代器） LegacyOutputIterator（傳統輸出迭代器） LegacyForwardIterator（傳統前向迭代器） LegacyBidirectionalIterator（傳統雙向迭代器） LegacyRandomAccessIterator（傳統隨機訪問迭代器） LegacyContiguousIterator（傳統連續迭代器） (C++17) ConstexprIterator（常量表達式迭代器） (C++20) 流 I/O FormattedInputFunction（格式化輸入函式） UnformattedInputFunction（非格式化輸入函式） FormattedOutputFunction（格式化輸出函式） UnformattedOutputFunction（非格式化輸出函式） 格式化器 BasicFormatter（基本格式化器） (C++20) Formatter (C++20)

隨機數 SeedSequence（種子序列） (C++11) RandomNumberEngine（隨機數引擎） (C++11) RandomNumberDistribution（隨機數分佈） (C++11) UniformRandomBitGenerator（均勻隨機位元生成器） (C++11) RandomNumberEngineAdaptor（隨機數引擎介面卡） (C++11) 併發 BasicLockable（基本可鎖定） (C++11) Lockable（可鎖定） (C++11) TimedLockable（定時可鎖定） (C++11) SharedLockable（共享可鎖定） (C++14) SharedTimedLockable（共享定時可鎖定） (C++14) Mutex (C++11) TimedMutex（定時互斥量） (C++11) SharedMutex（共享互斥量） (C++17) SharedTimedMutex（共享定時互斥量） (C++14) Ranges RangeAdaptorObject（範圍介面卡物件） (C++20) RangeAdaptorClosureObject（範圍介面卡閉包物件） (C++20) 多維檢視 LayoutMapping（佈局對映） (C++23) LayoutMappingPolicy（佈局對映策略） (C++23) AccessorPolicy (C++23) 其他 CharTraits（字元特性） RegexTraits（正則表示式特性） (C++11)   BitmaskType（位掩碼型別） LiteralType（字面量型別） (C++11) NumericType（數值型別） UnaryTypeTrait（一元型別特性） (C++11) BinaryTypeTrait（二元型別特性） (C++11) TransformationTrait（轉換特性） (C++11) Clock（時鐘） (C++11) TrivialClock（平凡時鐘） (C++11)

 

Compare 是標準庫某些工具對使用者提供的函式物件型別所期望的一組需求。

當對滿足 Compare 型別的物件應用函式呼叫操作時，其返回值轉換為 bool，如果呼叫的第一個引數在此型別所引發的嚴格弱序關係中出現在第二個引數之前，則返回 true，否則返回 false。

與任何 BinaryPredicate 一樣，不允許透過解引用的迭代器呼叫非 const 函式，並且從語法上講，函式呼叫操作必須接受 const 物件引數，無論引數是 const 還是非 const，行為都相同。

需求

型別 T 滿足 Compare，如果

• 型別 T 滿足 BinaryPredicate，並且

給定

• comp，一個 T 型別的物件，
• equiv(a, b)，與 !comp(a, b) && !comp(b, a) 表示式等價。

以下表達式必須有效並具有其指定的效果

表示式	返回型別	要求
comp(a, b)	滿足 BooleanTestable (C++20 前) 模型 boolean-testable (C++20 起)	建立具有以下屬性的嚴格弱序關係 對於所有 a，comp(a, a) == false。 如果 comp(a, b) == true 則 comp(b, a) == false。 如果 comp(a, b) == true 且 comp(b, c) == true 則 comp(a, c) == true。
equiv(a, b)	bool	建立具有以下屬性的等價關係 對於所有 a，equiv(a, a) == true。 如果 equiv(a, b) == true，則 equiv(b, a) == true。 如果 equiv(a, b) == true 且 equiv(b, c) == true，則 equiv(a, c) == true。

注：comp 在由 equiv 確定的等價類上引入了嚴格全序。

標準庫

以下標準庫工具需要 Compare 型別。

set	唯一鍵的集合，按鍵排序 (類模板)
map	鍵值對集合，按鍵排序，鍵唯一 (類模板)
multiset	鍵的集合，按鍵排序 (類模板)
multimap	鍵值對的集合，按鍵排序 (類模板)
priority_queue	適配容器以提供優先順序佇列 (類模板)
sort	將一個範圍按升序排序 (函式模板)
sort	排序元素 (std::forward_list<T,Allocator> 的 public 成員函式)
sort	排序元素 (std::list<T,Allocator> 的 public 成員函式)
stable_sort	對一個範圍的元素進行排序，同時保留相等元素之間的順序 (函式模板)
partial_sort	對一個範圍的前 N 個元素進行排序 (函式模板)
partial_sort_copy	複製並部分排序一個範圍的元素 (函式模板)
is_sorted (C++11)	檢查一個範圍是否按升序排序 (函式模板)
is_sorted_until (C++11)	尋找最大的已排序子範圍 (函式模板)
nth_element	部分排序給定的範圍，確保它被給定的元素劃分 (函式模板)
lower_bound	返回一個指向第一個不小於給定值的元素的迭代器 (函式模板)
upper_bound	返回一個指向第一個大於某個值的元素的迭代器 (函式模板)
binary_search	判斷一個元素是否存在於部分有序的範圍中 (函式模板)
equal_range	返回與特定鍵匹配的元素範圍 (函式模板)
merge	歸併兩個已排序的範圍 (函式模板)
merge	歸併兩個已排序連結串列 (std::forward_list<T,Allocator> 的 public 成員函式)
merge	歸併兩個已排序連結串列 (std::list<T,Allocator> 的 public 成員函式)
inplace_merge	就地歸併兩個有序範圍 (函式模板)
includes	如果一個序列是另一個序列的子序列，則返回 true (函式模板)
set_difference	計算兩個集合的差集 (函式模板)
set_intersection	計算兩個集合的交集 (函式模板)
set_symmetric_difference	計算兩個集合的對稱差 (函式模板)
set_union	計算兩個集合的並集 (函式模板)
push_heap	向一個最大堆新增一個元素 (函式模板)
pop_heap	從一個最大堆中移除最大的元素 (函式模板)
make_heap	從一個元素範圍建立一個最大堆 (函式模板)
sort_heap	將一個最大堆轉換成一個按升序排序的元素範圍 (函式模板)
is_heap (C++11)	檢查給定的範圍是否是一個最大堆 (函式模板)
is_heap_until (C++11)	尋找是一個最大堆的最大子範圍 (函式模板)
max	返回給定值中較大的那個 (函式模板)
max_element	返回一個範圍中最大的元素 (函式模板)
min	返回給定值中較小的那個 (函式模板)
min_element	返回一個範圍中最小的元素 (函式模板)
minmax (C++11)	返回兩個元素中較小和較大的一個 (函式模板)
minmax_element (C++11)	返回範圍中最小和最大的元素 (函式模板)
lexicographical_compare	如果一個範圍在字典上小於另一個範圍，則返回 true (函式模板)
next_permutation	生成元素範圍的下一個更大的字典序排列 (函式模板)
prev_permutation	生成元素範圍的下一個更小的字典序排列 (函式模板)

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 2114 (P2167R3)	C++98	返回型別到 bool 的上下文可轉換性未 反映實現實踐	需求已更正
LWG 3031	C++98	對 const 值的要求不足	要求已加強

參閱

strict_weak_order (C++20)	指定 relation 施加嚴格弱序 (概念)
比較運算子	<, <=, >, >=, ==, !=, 和 <=> (C++20)，比較引數