std::strict_weak_order

 

C++

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

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

Язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

Библиотека концептов

Основные концепты языка same_as derived_from convertible_to common_reference_with      common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

Концепты сравнения equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Концепты объектов movable copyable semiregular regular Вызываемые концепты invocableregular_invocable predicate relation equivalence_relation strict_weak_order

Концепты только для экспозиции boolean-testable

 

<tbody> </tbody>

Определено в заголовочном файле <concepts>
template < class R, class T, class U > concept strict_weak_order = std::relation<R, T, U>;		(начиная с C++20)

Концепт strict_weak_order<R, T, U> определяет, что relation R налагает на свои аргументы строгий слабый порядок.

Семантические требования

Отношение r является строгим слабым порядком, если

• оно иррефлексивно: для всех x, r(x, x) равно false;
• оно транзитивно: для всех a, b и c, если r(a, b) и r(b, c) оба равны true, тогда r(a, c) равно true;
• пусть e(a, b) равно !r(a, b) && !r(b, a), тогда e транзитивно: e(a, b) && e(b, c) подразумевает e(a, c).

При этих условиях можно сказать, что e является отношением эквивалентности, а r вызывает строгий полный порядок в классах эквивалентности, определяемых e.

Примечание

Различие между relation и strict_weak_order чисто семантическое.

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

• LessThanComparable