C++ 概念： Compare

 

C++

语言

头文件

库概念

语言支持库

诊断库

工具库

字符串库

容器库

算法库

迭代器库

数值库

输入/输出库

本地化库

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

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

C++ 概念

基础
可默认构造 可复制赋值 可复制构造	可移动赋值 (C++11) 可移动构造 (C++11) 可析构
布局
平凡类型 (C++11) 可平凡复制 (C++11)	标准布局类型 (C++11) POD 类型
库所属
可比较相等 可比较小于 可交换 (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++11) 随机数引擎 (C++11)	随机数分布 (C++11) 均匀随机位生成器 (C++11) 随机数引擎适配器 (C++11)
并发
基础可锁 (C++11) 可锁 (C++11) 定时可锁 (C++11)	互斥 (C++11) 定时互斥 (C++11) 共享互斥 (C++17) 共享定时互斥 (C++14)
其他
字符特性 正则表达式特性 (C++11) 位掩码类型 数值类型 字面类型 (C++11)	一元类型特性 (C++11) 二元类型特性 (C++11) 变换特性 (C++11) 时钟 (C++11) 平凡时钟 (C++11)

 

概念比较 (Compare) 是一些标准库设施从用户提供的函数对象类型期待的要求集合。

应用到比较 (Compare) 类型对象的函数调用操作的返回值，在按照语境转换到 bool 时，若调用的第一个参数在此比较 (Compare) 类型所引入的严格弱序关系中先出现于第二个参数，则生成 true ，否则生成 false 。

同任何二元谓词 (BinaryPredicate) ，不允许该表达式的求值通过解引用的迭代器调用非 const 函数。

要求

类型 T 满足比较 (Compare) ，若

• 类型 T 满足二元谓词 (BinaryPredicate) ，且

给定

• comp ，比较 (Compare) 类型对象
• equiv(a, b) ，等价于 !comp(a, b) && !comp(b, a) 的表达式

下列表达是必须合法且拥有其指定的效应

表达式	返回类型	要求
comp(a, b)	可隐式转换为 bool	建立有下列属性的严格弱序关系 对于所有 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 的公开成员函数)
sort	对元素进行排序 (std::list 的公开成员函数)
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 的公开成员函数)
merge	合并二个已排序列表 (std::list 的公开成员函数)
inplace_merge	就地合并两个有序的区间 (函数模板)
includes	如果一个集合是另外一个集合的子集则返回true (函数模板)
set_difference	计算两个集合的差集 (函数模板)
set_intersection	计算两个集合的交集 (函数模板)
set_symmetric_difference	计算两个集合的对称差 (函数模板)
set_union	计算两个集合的并集 (函数模板)
push_heap	将元素加入到堆 (函数模板)
pop_heap	将堆中的最大元素删除 (函数模板)
make_heap	根据区间内的元素创建出一个堆 (函数模板)
sort_heap	将堆变成一个排好序的区间 (函数模板)
is_heap	检查给定的区间是否为一个堆 (函数模板)
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	按字典顺序产生区间内元素下一个较小的排列组合 (函数模板)