Namespaces
Variants

std::experimental::ranges:: equal_to

From cppreference.net
C++
Experimental
Ranges
General utilities library
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 的常量左值上调用 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 > ||
/* 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 的函数对象
(类模板)