std::experimental::ranges::equal_to

定义于头文件 `<experimental/ranges/functional>`
template< class T = void > requires EqualityComparable<T> \|\| Same<T, void> \|\| /* == on two const T lvalues invokes a built-in operator comparing pointers */ struct equal_to;		(ranges TS)
template<> struct equal_to<void>;		(ranges TS)

用于执行比较的函数对象。主模板在 T 类型的 const 左值上调用 operator ==。特化版 equal_to<void> 从参数推导函数调用运算符的形参类型（但不推导返回类型）。

equal_to 的所有特化版本均为 Semiregular。

std::experimental::ranges::equal_to::operator()

constexpr bool operator()(const T& x, const T& y) const;	(1)	(仅为主要 `equal_to<T>` 模板的成员)
template< class T, class U > requires EqualityComparableWith<T, U> \|\| /* std::declval<T>() == std::declval<U>() resolves to a built-in operator comparing pointers */ constexpr bool operator()(T&& t, U&& u) const;	(2)	(仅为 `equal_to<void>` 特化版本的成员)

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

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

当调用 (1) 或 (2) 将会调用内置的运算符比较 P 类型的指针时，结果会改为如下方式确定：

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

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

如果一个表达式在给定相等输入时产生相等输出，则该表达式是相等保持的。

每个需要相等保持的表达式还必须是稳定的：在没有对这些输入对象进行任何显式中间修改的情况下，对具有相同输入对象的此类表达式的两次求值必须具有相等的输出。

与 std::equal_to 不同，ranges::equal_to 要求 == 和 != 均为合法（通过 EqualityComparable 和 EqualityComparableWith 约束）。

实现 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` (仅为 `equal_to<void>` 特化版本的成员)	/* 未指定 */