C++ 具名要求：可小于比较 (LessThanComparable)

< cpp‎ | named req
 
C++
 
C++ 具名要求
基础
类型属性
库所属
LessThanComparable
(C++11)
(C++11)
(C++11)
(C++11)
容器
容器元素
迭代器
流 I/O
随机数
并发
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
(C++14)
其他
 

类型必须能使用 < 运算符且结果应当具有标准语义。

要求

以下情况下，类型 T 满足可小于比较 (LessThanComparable) ：

给定

  • T 或 const T 类型的表达式 a、b 与 c

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

表达式 返回值 要求
a < b 可隐式转换为 bool 建立严格弱序关系，即具有下列属性：
  • 对于所有 a，!(a < a)
  • 若 a < b 则 !(b < a)
  • 若 a < b 且 b < c 则 a < c
  • 定义 equiv(a, b) 为 !(a < b) && !(b < a)，若 equiv(a, b) 且 equiv(b, c)，则 equiv(a, c)

注解

为满足此要求，没有内建比较运算符的类型必须提供用户定义的 operator<。

对于既可相等比较 (EqualityComparable) 又可小于比较 (LessThanComparable) 的类型，C++ 标准库在相等（即表达式 a == b 的值）和等价（即表达式 !(a < b) && !(b < a) 的值）间做出区别。

参阅

 建立顺序关系的二元谓词 (BinaryPredicate)
(具名要求)