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 的函数对象（类模板） [编辑]

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行性扩展 (parallelism TS)
并行性扩展 2 (parallelism TS v2)
并发性扩展 (concurrency TS)
并发性扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非 TS
模式匹配
线性代数
std::execution
契约
2D 图形

成员类型	定义
`is_transparent` （仅 `less<void>` 特化的成员）	/* 未指明 */