std::experimental::ranges::equal_to
来自 cppreference.com
< cpp | experimental | ranges
| 定义在头文件 <experimental/ranges/functional> 中 |
||
| template< class T = void > requires EqualityComparable<T> || |
(范围 TS) | |
| template<> struct equal_to<void>; |
(范围 TS) | |
用于执行比较的函数对象。主模板对类型为 T 的常量左值调用 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 EqualityComparableWith<T, U> || |
(2) | (仅为 equal_to<void> 特化中的成员) |
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 的函数对象 (类模板) |
