Namespaces
Variants

std::experimental::ranges:: not_equal_to

From cppreference.net
Определено в заголовочном файле <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 ;
(ranges TS)
template <>
struct not_equal_to < void > ;
(ranges TS)

Функциональный объект для выполнения сравнений. Основной шаблон вызывает operator == для const lvalue типа T и инвертирует результат. Специализация not_equal_to<void> выводит типы параметров функционального оператора вызова из аргументов (но не тип возвращаемого значения).

Все специализации not_equal_to являются Semiregular .

Содержание

Типы членов

Тип члена Определение
is_transparent (только для члена not_equal_to<void> специализации) /* неопределено */

Функции-члены

operator()
проверяет, являются ли аргументы не равными
(public member function)

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>() разрешается в
встроенный оператор сравнения указателей */

constexpr bool operator ( ) ( T && t, U && u ) const ;
(2) (член только специализации not_equal_to<void> )
1) Сравнивает x и y . Эквивалентно return ! ranges:: equal_to <> { } ( x, y ) ; .
2) Сравнивает t и u . Эквивалентно return ! ranges:: equal_to <> { } ( std:: forward < T > ( t ) , std:: forward < U > ( u ) ) ; .

Примечания

В отличие от std::not_equal_to , ranges::not_equal_to требует, чтобы оба оператора == и != были валидными (через ограничения EqualityComparable и EqualityComparableWith ), и полностью определяется через ranges::equal_to . Однако реализация может свободно использовать operator ! = напрямую, поскольку эти концепции требуют согласованности результатов == и != .

Пример

Смотрите также

функциональный объект, реализующий x ! = y
(шаблон класса)