std::experimental::ranges::less

定义于头文件 `<experimental/ranges/functional>`
template< class T = void > requires StrictTotallyOrdered<T> \|\| Same<T, void> \|\| /* < 对两个 const T 左值调用内置的指针比较操作符 */ struct less;		(ranges TS)
template<> struct less<void>;		(ranges TS)

用于执行比较的函数对象。主模板在类型为 `T` 的 const 左值上调用 operator<。`less<void>` 的特化从参数中推导函数调用操作符的参数类型（但不是返回类型）。

所有 `less` 的特化都是 Semiregular。

std::experimental::ranges::less::operator()

constexpr bool operator()(const T& x, const T& y) const;	(1)	(仅限主 `less<T>` 模板的成员)
template< class T, class U > requires StrictTotallyOrderedWith<T, U> \|\| /* std::declval<T>() < std::declval<U>() 解析为内置的指针比较操作符 */ constexpr bool operator()(T&& t, U&& u) const;	(2)	(仅限 `less<void>` 特化的成员)

1) 比较 `x` 和 `y`。等价于 return ranges::less<>{}(x, y);。

2) 比较 `t` 和 `u`。等价于 return std::forward<T>(t) < std::forward<U>(u);，除了当该表达式解析为对比较指针的内置 operator< 的调用时。

当对 (1) 或 (2) 的调用会调用比较类型 `P` 的指针的内置操作符时，结果将按如下方式确定

如果第一个参数的（可能已转换的）值在类型 `P` 的所有指针值的实现定义严格全序中先于第二个参数的（可能已转换的）值，则返回 true。此严格全序与内置操作符 `<`、`>`、`<=` 和 `>=` 施加的部分序一致。
否则，返回 false。

除非从 `T` 和 `U` 到 `P` 的转换序列都保持相等性（见下文），否则行为是未定义的。

如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。

所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。

与 std::less 不同，`ranges::less` 要求所有六个比较操作符 `<`、`<=`、`>`、`>=`、`==` 和 `!=` 都有效（通过 StrictTotallyOrdered 和 StrictTotallyOrderedWith 约束）。

less	实现 x < y 的函数对象 (类模板) [编辑]

成员类型	定义
`is_transparent` (仅限 `less<void>` 特化的成员)	/* 未指定 */