std::ranges::not_equal_to
来自cppreference.com
< cpp | utility | functional
定义于头文件 <functional>
|
||
struct not_equal_to; |
(C++20 起) | |
进行比较的函数对象。从实参推导函数调用运算符的形参类型(但非返回类型)。
实现定义的指针上的严格全序
若参数间的 =
运算符调用指针的内建比较运算符,则函数调用运算符产生实现定义的指针上的严格全序,即使内建的 =
运算符不如此。
实现定义的严格全序与比较运算符( <=>
、 <
、 >
、 <=
及 >=
)所施加的偏序一致,并在下列标准函数对象间一致:
- std::less、 std::greater、 std::less_equal 及 std::greater_equal ,当模板实参为指针类型或 void 时
- std::ranges::equal_to、 std::ranges::not_equal_to、 std::ranges::less、 std::ranges::greater、 std::ranges::less_equal、 std::ranges::greater_equal 及 std::compare_three_way
成员类型
成员类型 | 定义 |
is_transparent
|
/* 未指定 */ |
成员函数
operator() |
检查参数是否不相等 (公开成员函数) |
std::ranges::not_equal_to::operator()
template< class T, class U > requires std::equality_comparable_with<T, U> // 有不同的语义要求 |
||
比较 t
与 u
。等价于 return !ranges::equal_to{}(std::forward<T>(t), std::forward<U>(u)); 。
注解
不同于 std::not_equal_to , std::ranges::not_equal_to
要求 ==
与 !=
均合法(经由 equality_comparable_with
约束),并且完全以 std::ranges::equal_to 定义。然而,实现有直接使用 operator!= 的自由,因为那些概念要求 ==
与 !=
的结果一致。
示例
本节未完成 原因:暂无示例 |
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 3530 | C++20 | 在比较指针时放松了语法检查 | 仅放松语义要求 |
参阅
实现 x != y 的函数对象 (类模板) |