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 чисто семантическое.

См. также

• LessThanComparable