std::compare_three_way

struct compare_three_way;

Объект-функция для выполнения сравнений. Выводит типы параметров и тип возвращаемого значения оператора вызова функции.

Вложенные типы

Члены-функции

std::compare_three_way::operator()

template< class T, class U >
constexpr auto operator()( T&& t, U&& u ) const;

Учитывая выражение std::forward<T>(t) <=> std::forward<U>(u) как expr:

• Если expr приводит к вызову встроенного оператора <=> для сравнения указателей, с учетом композитного типа указателя t и u как P:
• Сравнивает два преобразованных указателя (типа P) в определяемой реализацией строгой полной упорядоченности указателей:
• Если t предшествует u, возвращает std::strong_ordering::less.
• Если u предшествует t, возвращает std::strong_ordering::greater.
• В противном случае возвращает std::strong_ordering::equal.
• Если последовательность преобразований из T в P или последовательность преобразований из U в P не является сохраняющей равенство, поведение не определено.
• В противном случае:
• Возвращает результат expr.
• Если std::three_way_comparable_with<T, U> не смоделирован, поведение не определено.

Этот перегруз участвует в разрешении перегрузки только если std::three_way_comparable_with<T, U> выполняется.

Пример

#include <compare>
#include <iostream>
 
struct Rational
{
    int num;
    int den; // > 0
 
    // Although the comparison X <=> Y will work, a direct call
    // to std::compare_three_way{}(X, Y) requires the operator==
    // be defined, to satisfy the std::three_way_comparable_with.
    constexpr bool operator==(Rational const&) const = default;
};
 
constexpr std::weak_ordering operator<=>(Rational lhs, Rational rhs)
{
    return lhs.num * rhs.den <=> rhs.num * lhs.den;
}
 
void print(std::weak_ordering value)
{
    value < 0 ? std::cout << "less\n" :
    value > 0 ? std::cout << "greater\n" :
                std::cout << "equal\n";
}
 
int main()
{
    Rational a{6, 5};
    Rational b{8, 7};
    print(a <=> b);
    print(std::compare_three_way{}(a, b));
}

greater
greater

Отчеты об ошибках

Следующие отчеты об ошибках, меняющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также