C++ 命名需求: LessThanComparable
来自 cppreference.com
该类型必须与 <
运算符配合使用,结果应具有标准语义。
内容 |
[编辑] 需求
如果给定类型 T
的表达式 a、b 和 c 或 const T(自 C++11 起),则以下表达式有效,并且具有指定的效应
表达式 | 类型 | 效应 |
---|---|---|
a < b | 满足 BooleanTestable (直到 C++20) |
建立 严格弱排序 关系,具有以下属性
|
模型 boolean-testable (自 C++20 起) |
[编辑] 说明
为了满足此需求,没有内置 比较运算符 的类型必须提供 用户定义的 operator<。
对于同时满足 EqualityComparable 和 LessThanComparable 的类型,C++ 标准库在以下方面做出区分:
- 相等性,即表达式 a == b 的值
- 等价性,即表达式 !(a < b) && !(b < a) 的值。
[编辑] 缺陷报告
以下行为更改缺陷报告已追溯应用于以前发布的 C++ 标准。
DR | 应用于 | 已发布的行为 | 正确行为 |
---|---|---|---|
LWG 2114 (P2167R3) |
C++98 | 可转换为 bool 的能力太弱,无法反映实现的预期 | 加强了需求 |
[编辑] 另请参阅
一个建立排序关系的 BinaryPredicate (命名需求) | |
(C++20) |
指定 relation 强制执行严格弱排序(概念) |