std::ranges::equal_to
来自 cppreference.cn
定义于头文件 <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。 - 若从
T
到P
的转换序列或从U
到P
的转换序列不等价保留,则行为未定义。
- 对于两个已转换的指针(类型为
- 否则
- 返回 expr 的结果。
- 若 std::equality_comparable_with<T, U> 未被模型化,则行为未定义。
此重载仅在 std::equality_comparable_with<T, U> 满足时才参与重载决议。
[编辑] 注解
与 std::equal_to 相比,std::ranges::equal_to
额外要求 !=
有效,并且两个实参类型都要求(同质地)与其自身可比较(通过 equality_comparable_with
约束)。
[编辑] 示例
本节不完整 原因:无示例 |
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
---|---|---|---|
LWG 3530 | C++20 | 比较指针时放宽了语法检查 | 仅放宽了语义要求 |
[编辑] 参阅
实现 x == y 的函数对象 (类模板) |