C++ 命名需求: 比较

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

C++ 命名需求

基本 默认可构造 移动可构造 (C++11) 复制可构造 复制可赋值 移动可赋值 (C++11) 可析构 类型属性 标量类型 POD 类型 平凡可复制 (C++11) 平凡类型 (C++11) 标准布局类型 (C++11)   隐式生命周期类型 库范围 布尔可测试 相等可比较 小于可比较 可交换 值可交换 (C++11) 可空指针 (C++11) 哈希 (C++11) 分配器 函数对象 可调用 谓词 二元谓词 比较

容器 容器 可逆容器 分配器感知容器 序列容器 连续容器 (C++17) 关联容器 无序关联容器 (C++11)   容器元素 默认可插入 (C++11) 复制可插入 (C++11) 移动可插入 (C++11) 就地构造可插入 (C++11) 可删除 (C++11) 迭代器 传统迭代器 传统输入迭代器 传统输出迭代器 传统前向迭代器 传统双向迭代器 传统随机访问迭代器 传统连续迭代器 (C++17) 常量表达式迭代器 (C++20) 流 I/O 格式化输入函数 非格式化输入函数 格式化输出函数 非格式化输出函数 格式化程序 基本格式化程序 (C++20) 格式化程序 (C++20)

随机数 种子序列 (C++11) 随机数引擎 (C++11) 随机数分布 (C++11) 均匀随机位生成器 (C++11) 随机数引擎适配器 (C++11) 并发 基本可锁定 (C++11) 可锁定 (C++11) 计时可锁定 (C++11) 共享可锁定 (C++14) 共享计时可锁定 (C++14) 互斥锁 (C++11) 计时互斥锁 (C++11) 共享互斥锁 (C++17) 共享计时互斥锁 (C++14) 范围 范围适配器对象 (C++20) 范围适配器闭包对象 (C++20) 多维视图 布局映射 (C++23) 布局映射策略 (C++23) 访问器策略 (C++23) 其他 字符特征 正则表达式特征 (C++11)   位掩码类型 文字类型 (C++11) 数值类型 一元类型特征 (C++11) 二元类型特征 (C++11) 转换特征 (C++11) 时钟 (C++11) 平凡时钟 (C++11)

 

比较 是一组标准库设施对用户提供的函数对象类型期望的要求。

当将应用于满足 比较 的类型的对象的函数调用操作的返回值 转换为 bool 时，如果调用的第一个参数在此类型引起的 严格弱排序关系 中出现在第二个参数之前，则产生 true，否则产生 false。

与任何 二元谓词 一样，不允许对该表达式的计算通过解引用迭代器调用非常量函数，并且在语法上，函数调用操作必须接受 const 对象参数，无论参数是 const 还是非 const，行为都相同。

要求

如果类型 T 满足以下条件，则类型 T 满足 比较：

• 类型 T 满足 二元谓词，并且

给定

• comp，类型 T 的一个对象，
• equiv(a, b)，表达式等效 于 !comp(a, b) && !comp(b, a)。

以下表达式必须有效，并具有其指定的效应：

表达式	返回类型	要求
comp(a, b)	满足 布尔可测试 (直到 C++20) 建模为 布尔可测试 (自 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 确定的等价类上引起 严格全排序。

标准库

以下标准库设施期望 比较 类型。

集合	唯一键的集合，按键排序 (类模板)
映射	键值对的集合，按键排序，键是唯一的 (类模板)
多重集合	键的集合，按键排序 (类模板)
多重映射	键值对的集合，按键排序 (类模板)
优先队列	调整容器以提供优先队列 (类模板)
排序	将范围排序为升序 (函数模板)
排序	对元素进行排序 (std::forward_list<T,Allocator> 的公共成员函数)
排序	对元素进行排序 (std::list<T,Allocator> 的公共成员函数)
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> 的公共成员函数)
merge	合并两个排序的列表。 (std::list<T,Allocator> 的公共成员函数)
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++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 2114 (P2167R3)	C++98	返回值类型到 bool 的上下文可转换性没有 反映实现的实践	要求已更正
LWG 3031	C++98	对 const 值的要求不足	要求已加强

参见

strict_weak_order (C++20)	指定 relation 强加严格的弱排序。 (概念)
比较运算符	<, <=, >, >=, ==, != 和 <=> (C++20) 比较参数。