std::strict_weak_order

template< class R, class T, class U >
concept strict_weak_order = std::relation<R, T, U>;

Концепция 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 носит исключительно семантический характер.

Ссылки

• Стандарт C++23 (ISO/IEC 14882:2024):
• 18.7.7 Концепция strict_weak_order [concept.strictweakorder]
• Стандарт C++20 (ISO/IEC 14882:2020):
• 18.7.7 Концепция strict_weak_order [concept.strictweakorder]

См. также

• LessThanComparable