C++ 具名要求: Compare

来自cppreference.com
< cpp‎ | named req
 
 
 

比较 (Compare) 是一些标准库设施针对用户提供的函数对象类型所期待的一组要求。

对满足比较 (Compare) 的类型的对象运用函数调用操作的返回值,当按语境转换bool 时,若此类型所引入的严格弱序关系中,该调用的第一实参先于第二实参,则生成 true,否则生成 false

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

[编辑] 要求

以下情况下,类型 T 满足比较 (Compare)

给定

  • T 类型的对象 comp
  • equiv(a, b),为等价于 !comp(a, b) && !comp(b, a) 的表达式

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

表达式 返回类型 要求
comp(a, b) 可隐式转换bool 建立具有下列性质的严格弱序关系
  • 对于所有 acomp(a,a)==false
  • comp(a,b)==truecomp(b,a)==false
  • comp(a,b)==truecomp(b,c)==truecomp(a,c)==true
equiv(a, b) bool 建立具有下列性质的等价关系
  • 对于所有 aequiv(a,a)==true
  • equiv(a,b)==trueequiv(b,a)==true
  • equiv(a,b)==trueequiv(b,c)==trueequiv(a,c)==true

注:compequiv 所确定的等价类上引入了一种严格全序

[编辑] 标准库

下列标准库设施期待比较 (Compare) 类型。

唯一键的集合,按照键排序
(类模板) [编辑]
键值对的集合,按照键排序,键是唯一的
(类模板) [编辑]
键的集合,按照键排序
(类模板) [编辑]
键值对的集合,按照键排序
(类模板) [编辑]
适配一个容器以提供优先级队列
(类模板) [编辑]
将范围按升序排序
(函数模板) [编辑]
对元素进行排序
(std::forward_list<T,Allocator> 的公开成员函数) [编辑]
对元素进行排序
(std::list<T,Allocator> 的公开成员函数) [编辑]
将范围内的元素排序,同时保持相等的元素之间的顺序
(函数模板) [编辑]
排序一个范围的前 N 个元素
(函数模板) [编辑]
对范围内的元素进行复制并部分排序
(函数模板) [编辑]
(C++11)
检查范围是否已按升序排列
(函数模板) [编辑]
找出最大的已排序子范围
(函数模板) [编辑]
将给定的范围部分排序,确保其按给定元素划分
(函数模板) [编辑]
返回指向第一个不小于给定值的元素的迭代器
(函数模板) [编辑]
返回指向第一个大于给定值的元素的迭代器
(函数模板) [编辑]
确定元素是否存在于某范围中
(函数模板) [编辑]
返回匹配特定键值的元素范围
(函数模板) [编辑]
归并两个已排序的范围
(函数模板) [编辑]
合并二个已排序列表
(std::forward_list<T,Allocator> 的公开成员函数) [编辑]
合并二个已排序列表
(std::list<T,Allocator> 的公开成员函数) [编辑]
就地归并两个有序范围
(函数模板) [编辑]
若一个集合是另一个的子集则返回 true
(函数模板) [编辑]
计算两个集合的差集
(函数模板) [编辑]
计算两个集合的交集
(函数模板) [编辑]
计算两个集合的对称差
(函数模板) [编辑]
计算两个集合的并集
(函数模板) [编辑]
将一个元素加入到一个最大堆
(函数模板) [编辑]
从最大堆中移除最大元素
(函数模板) [编辑]
从一个元素范围创建出一个最大堆
(函数模板) [编辑]
将一个最大堆变成一个按升序排序的元素范围
(函数模板) [编辑]
检查给定范围是否为一个最大堆
(函数模板) [编辑]
查找能成为最大堆的最大子范围
(函数模板) [编辑]
返回各给定值中的较大者
(函数模板) [编辑]
返回范围内的最大元素
(函数模板) [编辑]
返回各给定值中的较小者
(函数模板) [编辑]
返回范围内的最小元素
(函数模板) [编辑]
(C++11)
返回两个元素的较小和较大者
(函数模板) [编辑]
返回范围内的最小元素和最大元素
(函数模板) [编辑]
当一个范围按字典顺序小于另一个范围时,返回 true
(函数模板) [编辑]
产生某个元素范围的按字典顺序的下一个较大的排列
(函数模板) [编辑]
产生某个元素范围的按字典顺序的下一个较小的排列
(函数模板) [编辑]