struct compare_three_way;
(since C++20)Function object for performing comparisons. Deduces the parameter types and the return type of the function call operator.
[edit] Nested types [edit] Member functions obtains the result of three-way comparison on both argumentstemplate< class T, class U >
constexpr auto operator()( T&& t, U&& u ) const;
Given the expression std::forward<T>(t) <=> std::forward<U>(u) as expr:
P
:P
) in the implementation-defined strict total order over pointers:T
to P
or the conversion sequence from U
to P
is not equality-preserving, the behavior is undefined.This overload participates in overload resolution only if std::three_way_comparable_with<T, U> is satisfied.
[edit] Example#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)); }
Output:
[edit] Defect reportsThe following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR Applied to Behavior as published Correct behavior LWG 3530 C++20 syntactic checks were relaxed while comparing pointers only semantic requirements are relaxed [edit] See alsoRetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4