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