std::experimental::ranges::less
< cpp | experimental | ranges
| template< class T = void > requires ranges::StrictTotallyOrdered<T> || |
(范围 TS) | |
| template <> struct less<void>; |
(范围 TS) | |
进行比较的函数对象。初等模板在 T 类型左值上调用 operator< 。特化 less<void> 从实参推导函数调用运算符的形参类型（但非返回类型）。
less 的所有特化均为 Semiregular 。
成员类型
| 成员类型 | 定义 |
is_transparent (仅为 less<void> 特化的成员)
|
/* 未指定 */ |
成员函数
| operator() |
检查第一参数是否小于第二个 (公开成员函数) |
std::experimental::ranges::less::operator()
| constexpr bool operator()(const T& x, const T& y) const; |
(1) | (仅为初等 less<T> 模板的成员) |
| template< class T, class U > requires ranges::StrictTotallyOrderedWith<T, U> || |
(2) | (仅为 less<void> 特化的成员) |
1) 比较
x 与 y 。等价于 return ranges::less<>{}(x, y) ；当调用 (1) 或 (2) 会调用比较 P 类型指针的内建运算符时，替而按下列方式确定结果：
- 若在所有
P类型指针值上的实现定义的严格全序中，第一参数的（可能转换的）值先于第二参数的（可能转换的）值，则返回 true 。此严格全序与内建运算符<、>、<=及>=所蕴含的偏序一致。 - 否则返回 false 。
除非从 T 和 U 到 P 的转换序列均保持相等性（见后述），否则行为未定义。
相等性保持
若表达式对给定的相等输入产生相等输出，则它保持相等性。
- 表达式的输入由其运算数组成。
- 表达式的输出由其结果和表达式所修改的所有运算数（若存在）组成。
进一步要求每个要求保持相等性的表达式都稳定：这种表达式带相同输入对象的二次求值必须拥有相等的输出，而无任何对这些输入对象的显式中间修改。
注意
不同于 std::less ， ranges::less 要求六个比较运算符 < 、 <= 、 > 、 >= 、 == 和 != 均合法（通过 StrictTotallyOrdered 与 StrictTotallyOrderedWith 制约）。
示例
| 本节未完成 原因：暂无示例 |
参阅
| 实现 x < y 的函数对象 (类模板) |