Классовый тип std::weak_ordering является типом результата трёхстороннего сравнения, который:

• Допускает все шесть операторов отношения (==, !=, <, <=, >, >=)

• Не подразумевает заменяемости: если a эквивалентно b, f(a) может не быть эквивалентно f(b), где f обозначает функцию, которая считывает только существенное для сравнения состояние, доступное через общедоступные константные элементы аргумента. Другими словами, эквивалентные значения могут быть различимы.
• Не допускает несравнимых значений: ровно одно из a < b, a == b или a > b должно быть true.

[править] Константы

Тип std::weak_ordering имеет три допустимых значения, реализованных как константные статические элементы данных своего типа:

[править] Преобразования

std::weak_ordering неявно преобразуется в std::partial_ordering, а std::strong_ordering неявно преобразуется в weak_ordering.

[править] Сравнения

Операторы сравнения определены между значениями этого типа и литералом ​0​. Это поддерживает выражения a <=> b == 0 или a <=> b < 0, которые можно использовать для преобразования результата оператора трёхстороннего сравнения в логические отношения; смотрите std::is_eq, std::is_lt и т.д.

Эти функции не видны обычному неквалифицированному или квалифицированному поиску и могут быть найдены только с помощью зависящего от аргумента поиска, когда std::weak_ordering является ассоциированным классом аргументом.

Поведение программы, пытающейся сравнить weak_ordering с чем-либо, кроме целочисленного литерала ​0​ не определено.

[править] Пример

[править] Смотрите также