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

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

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

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

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

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

std::partial_ordering нельзя неявно преобразовать в другие типы категорий сравнения, в то время как std::strong_ordering и std::weak_ordering можно неявно преобразовать в partial_ordering.

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

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

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

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

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

Встроенный operator<=> сравнения значений с плавающей запятой использует следующий порядок: положительный нуль и отрицательный нуль при сравнении equivalent, но их можно различить, а значения NaN при сравнении unordered с любым другим значением.

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

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