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)，比较参数