命名空间
变体
操作

C++ 命名需求: LessThanComparable

来自 cppreference.com
 
 
C++ 命名需求
 

该类型必须与 < 运算符配合使用,结果应具有标准语义。

内容

[编辑] 需求

如果给定类型 T 的表达式 abc const T(自 C++11 起),则以下表达式有效,并且具有指定的效应

 表达式  类型 效应
a < b 满足 BooleanTestable
(直到 C++20)
建立 严格弱排序 关系,具有以下属性
  • 对于所有 a!(a < a) 产生 true
  • 如果 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)
模型 boolean-testable
(自 C++20 起)

[编辑] 说明

为了满足此需求,没有内置 比较运算符 的类型必须提供 用户定义的 operator<

对于同时满足 EqualityComparableLessThanComparable 的类型,C++ 标准库在以下方面做出区分:

  • 相等性,即表达式 a == b 的值
  • 等价性,即表达式 !(a < b) && !(b < a) 的值。

[编辑] 缺陷报告

以下行为更改缺陷报告已追溯应用于以前发布的 C++ 标准。

DR 应用于 已发布的行为 正确行为
LWG 2114
(P2167R3)
C++98 可转换为 bool 的能力太弱,无法反映实现的预期 加强了需求

[编辑] 另请参阅

一个建立排序关系的 BinaryPredicate
(命名需求)
指定 relation 强制执行严格弱排序
(概念) [编辑]