std::ranges::equal_to

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования (C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

Объекты функции

Функции обёртки function (C++11) move_only_function (C++23) copyable_function (C++26) function_ref (C++26) mem_fn (C++11) bad_function_call (C++11)	Применение частичных функций bind_frontbind_back (C++20)(C++23) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Вызов функции invokeinvoke_r (C++17)(C++23) Объект идентичности функции identity (C++20)	Обёртки ссылок reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Обёртки операторов plus minus negate multiplies    divides modulus bit_and bit_or bit_not (C++14)   bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	Прозрачные обёртки операторов plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14)   divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
Отрицатели not_fn (C++17) Искатели default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Ограниченные компараторы ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
Старые привязки и адаптеры
unary_function (до C++17*) binary_function (до C++17*) ptr_fun (до C++17*) pointer_to_unary_function (до C++17*) pointer_to_binary_function (до C++17*) mem_fun (до C++17*) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (до C++17*)(до C++17*)(до C++17*)(до C++17*) not1 (до C++20*) not2 (до C++20*)	binder1stbinder2nd (до C++17*)(до C++17*) bind1stbind2nd (до C++17*)(до C++17*) mem_fun_ref (до C++17*) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (до C++17*)(до C++17*)(до C++17*)(до C++17*) unary_negate (до C++20*) binary_negate (до C++20*)

 

<tbody> </tbody>

Определено в заголовочном файле <functional>
struct 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()

проверяет, равны ли аргументы (public функция-элемент)

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

<tbody> </tbody>

template< class T, class U > requires std::equality_comparable_with<T, U> // с разными семантическими требованиями constexpr bool operator()( T&& t, U&& u ) const;

Сравнивает t и u, что эквивалентно return std::forward<T>(t) == std::forward<U>(u);, за исключением случаев, когда это выражение разрешается вызовом встроенного operator== сравнения указателей.

Когда вызов не вызывает встроенный оператор сравнения указателей, поведение не определено, если std::equality_comparable_with<T, U> не моделируется.

Когда вызов вызывает встроенный оператор, сравнивающий указатели типа P, вместо этого результат определяется следующим образом:

• Возвращает false, если одно из (возможно преобразованного) значения первого аргумента и (возможно преобразованного) значения второго аргумента предшествует другому в определяемом реализацией строгом общем порядке для всех значений указателя типа P. Этот строгий полный порядок согласуется с частичным порядком, заданным встроенными операторами <, >, <= и >=.
• Иначе (ни одно не предшествует другому), возвращает true.

Поведение не определено, если только последовательности преобразования из T и U в P не сохраняют равенство.

Сохранение равенства

Выражения, объявленные в выражениях requires концептов стандартной библиотеки, должны сохранять равенство (если не указано иное).

Примечание

По сравнению с std::equal_to, std::ranges::equal_to дополнительно требует, чтобы != было действительным, и чтобы оба типа аргументов были (однородно) сопоставимыми сами с собой (через ограничение equality_comparable_with).

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 3530	C++20	синтаксические проверки при сравнении указателей были ослаблены	смягчены только семантические требования

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

equal_to

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