C++ 概念： LessThanComparable

 

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)
流 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)
其他
字符特性 pos_type off_type 时钟 (C++11) 位掩码类型	一元类型特性 (C++11) 二元类型特性 (C++11) 变换特性 (C++11) 平凡时钟 (C++11) 字面类型 (C++11)

 

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

要求

类型 T 满足可比较小于 (LessThanComparable) ，若

给定

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

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

表达式	返回值	要求
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) (概念)