std::ranges::less

 

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 less;		(начиная с 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::less::operator()

<tbody> </tbody>

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

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

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

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

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

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

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

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

Примечание

В отличие от std::less, для std::ranges::less требуется, чтобы все шесть операторов сравнения <, <=, >, >=, == и != были действительными (через ограничение totally_ordered_with).

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

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

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

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

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