命名空间
变体
操作

std::ranges::equal_to

来自 cppreference.cn
 
 
 
函数对象
函数调用
(C++17)(C++23)
恒等函数对象
(C++20)
透明运算符包装器
(C++14)
(C++14)
(C++14)
(C++14)  
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)

旧绑定器和适配器
(直到 C++17*)
(直到 C++17*)
(直到 C++17*)
(直到 C++17*)  
(直到 C++17*)
(until C++17*)(until C++17*)(until C++17*)(until C++17*)
(直到 C++20*)
(直到 C++20*)
(直到 C++17*)(直到 C++17*)
(直到 C++17*)(直到 C++17*)

(直到 C++17*)
(until C++17*)(until C++17*)(until C++17*)(until C++17*)
(直到 C++20*)
(直到 C++20*)
 
定义于头文件 <functional>
struct equal_to;
(C++20 起)

用于执行比较的函数对象。函数调用运算符的参数类型(而非返回类型)从实参推导。

目录

[编辑] 嵌套类型

嵌套类型 定义
is_transparent 未指定

[编辑] 成员函数

operator()
检查参数是否“相等”
(公开成员函数)

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

template< class T, class U >
constexpr bool operator()( T&& t, U&& u ) const;

给定表达式 std::forward<T>(t) == std::forward<U>(u)expr

  • 对于两个已转换的指针(类型为 P),若其中一个指针在实现定义的指针严格全序中先于另一个,则返回 false,否则返回 true
  • 若从 TP 的转换序列或从 UP 的转换序列不等价保留,则行为未定义。
  • 否则

此重载仅在 std::equality_comparable_with<T, U> 满足时才参与重载决议。

[编辑] 注解

std::equal_to 相比,std::ranges::equal_to 额外要求 != 有效,并且两个实参类型都要求(同质地)与其自身可比较(通过 equality_comparable_with 约束)。

[编辑] 示例

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 发布时的行为 正确的行为
LWG 3530 C++20 比较指针时放宽了语法检查 仅放宽了语义要求

[编辑] 参阅

实现 x == y 的函数对象
(类模板) [编辑]