std::ranges::less

struct less;

Функциональный объект для выполнения сравнений. Выводит типы параметров оператора вызова функции из аргументов (но не тип возвращаемого значения).

Вложенные типы

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

std::ranges::less::operator()

template< class T, class U >
constexpr bool operator()( T&& t, U&& u ) const;

Для выражения std::forward<T>(t) < std::forward<U>(u) в качестве expr:

• Если expr приводит к вызову встроенного оператора operator< для сравнения указателей, при условии что составной тип указателя для t и u — P:
• Если преобразованный t предшествует преобразованному u (оба имеют тип P) в определённом реализацией строгом полном порядке указателей, возвращает true, в противном случае возвращает false.
• Если последовательность преобразований из T в P или последовательность преобразований из U в P не сохраняет равенство, поведение не определено.
• В противном случае:
• Возвращает результат expr.
• Если std::totally_ordered_with<T, U> не моделируется, поведение не определено.

Эта перегрузка участвует в разрешении перегрузки, только если выполняется условие std::totally_ordered_with<T, U>.

Если существуют выражение expr1 типа T и выражение expr2 типа U, такие что результаты сравнения expr1 и expr2 нарушают строгий полный порядок (правила определены ниже), поведение не определено.

Результаты сравнения expr1 и expr2 следуют строгому полному порядку, только если ровно одно из следующих выражений является true:

• std::ranges::less{}(expr1, expr2)
• std::ranges::less{}(expr2, expr1)
• std::ranges::equal_to{}(expr1, expr2)

Примечания

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

Пример

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

См. также