std::experimental::ranges::equal_to

定义于头文件 `<experimental/ranges/functional>`
template< class T = void > requires EqualityComparable<T> \|\| Same<T, void> \|\| /* 对两个 const T 左值调用内置的指针比较运算符 */ 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>() 解析为 / 内置的指针比较操作符 / 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 的函数对象
(类模板) [编辑]

成员类型	定义
`is_transparent` (仅属于 `equal_to<void>` 特化成员)	/* 未指定 */