命名空间
变体
操作

std::experimental::ranges::not_equal_to

来自 cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
实验性
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS
模式匹配
线性代数
std::execution
契约
2D 图形
 
 
通用实用程序库
实用程序组件
函数对象
not_equal_to
元编程和类型特征
标记对和元组
                          
标记说明符
                                      
                          
 
定义在头文件 <experimental/ranges/functional>
template< class T = void >

    requires EqualityComparable<T> ||
             Same<T, void> ||
             /* == on two const T lvalues invokes a built-in operator comparing pointers */

struct not_equal_to;
(范围 TS)
template<>
struct not_equal_to<void>;
(范围 TS)

用于执行比较的函数对象。主模板在 T 类型的常量左值上调用 operator == 并对结果取反。特化 not_equal_to<void> 从参数(但不包括返回类型)推断函数调用运算符的参数类型。

not_equal_to 的所有特化都是 Semiregular

内容

[编辑] 成员类型

成员类型 定义
is_transparent (仅 not_equal_to<void> 特化的成员) /* 未指定 */

[编辑] 成员函数

operator()
检查参数是否 *不等于*
(公有成员函数)

std::experimental::ranges::not_equal_to::operator()

constexpr bool operator()(const T& x, const T& y) const;
(1) (仅主 not_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) (仅 not_equal_to<void> 特化的成员)
1) 比较 xy。等效于 return !ranges::equal_to<>{}(x, y);.
2) 比较 tu。等效于 return !ranges::equal_to<>{}(std::forward<T>(t), std::forward<U>(u));.

[编辑] 注释

std::not_equal_to 不同,ranges::not_equal_to 要求 ==!= 都有效(通过 EqualityComparableEqualityComparableWith 约束),并且完全根据 ranges::equal_to 定义。但是,实现可以使用 operator!= 直接,因为这些概念要求 ==!= 的结果一致。

[编辑] 示例

[编辑] 另请参阅

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