Default comparisons(since C++20)
Provides a way to request the compiler to generate consistent relational operators for a class.
In brief, a class that defines operator<=> automatically gets compiler-generated operators ==, !=, <, <=, >, and >=. A class can define operator<=> as defaulted, in which case the compiler will also generate the code for that operator.
class Point { int x; int y; public: auto operator<=>(const Point&) const = default; // ... non-comparison functions ... }; // compiler generates all six relational operators Point pt1, pt2; if (pt1 == pt2) { /*...*/ } // ok std::set<Point> s; // ok s.insert(pt1); // ok if (pt1 <= pt2) { /*...*/ } // ok, makes only a single call to <=>
Contents |
[edit] Custom comparisons
When the default semantics are not suitable, such as when the members must be compared out of order, or must use a comparison that's different from their natural comparison, then the programmer can write operator<=> and let the compiler generate the appropriate relational operators. The kind of relational operators generated depends on the return type of the user-defined operator<=>.
There are five available return types:
| Return type | Operators | Equivalent values are.. | Incomparable values are.. |
|---|---|---|---|
| std::strong_ordering | == != < > <= >= | indistinguishable | not allowed |
| std::weak_ordering | == != < > <= >= | distinguishable | not allowed |
| std::partial_ordering | == != < > <= >= | distinguishable | allowed |
| std::strong_equality | == != | indistinguishable | not allowed |
| std::weak_equality | == != | distinguishable | not allowed |
[edit] Strong ordering
An example of a custom operator<=> that returns std::strong_ordering is an operator that compares every member of a class, except in order that is different from the default (here: last name first)
class TotallyOrdered : Base { std::string tax_id; std::string first_name; std::string last_name; public: // custom operator<=> because we want to compare last names first: std::strong_ordering operator<=>(const TotallyOrdered& that) const { if (auto cmp = (Base&)(*this) <=> (Base&)that; cmp != 0) return cmp; if (auto cmp = last_name <=> that.last_name; cmp != 0) return cmp; if (auto cmp = first_name <=> that.first_name; cmp != 0) return cmp; return tax_id <=> that.tax_id; } // ... non-comparison functions ... }; // compiler generates all 6 relational operators TotallyOrdered to1, to2; if (to1 == to2) { /*...*/ } // ok std::set<TotallyOrdered> s; // ok s.insert(to1); // ok if (to1 <= to2) { /*...*/ } // ok, single call to <=>
Note: an operator that returns a std::strong_ordering should compare every member, because if any member is left out, substitutability can be compromised: it becomes possible to distinguish two values that compare equal.
[edit] Weak ordering
An example of a custom operator<=> that returns std::weak_ordering is an operator that compares string members of a class in case-insensitive manner: this is different from the default comparison (so a custom operator is required) and it's possible to distinguish two strings that compare equal under this comparison
class CaseInsensitiveString { std::string s; public: std::weak_ordering operator<=>(const CaseInsensitiveString& b) const { return case_insensitive_compare(s.c_str(), b.s.c_str()); } std::weak_ordering operator<=>(const char* b) const { return case_insensitive_compare(s.c_str(), b); } // ... non-comparison functions ... }; // Compiler generates all six relational operators CaseInsensitiveString cis1, cis2; if (cis1 == cis2) { /*...*/ } // ok set<CaseInsensitiveString> s; // ok s.insert(/*...*/); // ok if (cis1 <= cis2) { /*...*/ } // ok, performs one comparison operation // Compiler also generates all 12 heterogeneous relational operators if (cis1 <= "xyzzy") { /*...*/ } // ok, performs one comparison operation if ("xyzzy" >= cis1) { /*...*/ } // ok, identical semantics
Note that this example demonstrates the effect a heterogeneous operator<=> has: it generates heterogeneous comparisons in both directions.
[edit] Partial ordering
Partial ordering is an ordering that allows incomparable (unordered) values, such as NaN values in floating-point ordering, or, in this example, persons that are not related:
class PersonInFamilyTree { // ... public: std::partial_ordering operator<=>(const PersonInFamilyTree& that) const { if (this->is_the_same_person_as ( that)) return partial_ordering::equivalent; if (this->is_transitive_child_of( that)) return partial_ordering::less; if (that. is_transitive_child_of(*this)) return partial_ordering::greater; return partial_ordering::unordered; } // ... non-comparison functions ... }; // compiler generates all six relational operators PersonInFamilyTree per1, per2; if (per1 == per2) { /*...*/ } // ok, per1 is per2 else if (per1 < per2) { /*...*/ } // ok, per2 is an ancestor of per1 else if (per1 > per2) { /*...*/ } // ok, per1 is an ancestor of per2 else { /*...*/ } // per1 and per2 are unrelated if (per1 <= per2) { /*...*/ } // ok, per2 is per1 or an ancestor of per1 if (per1 >= per2) { /*...*/ } // ok, per1 is per2 or an ancestor of per2 if (per1 != per2) { /*...*/ } // ok, per1 is not per2
[edit] Strong equality
There are many types for which equality makes sense, but not less-than ordering: a common example are the complex numbers, or any pair of numbers in general:
class EqualityComparable { std::string name; BigInt number1; BigInt number2; public: std::strong_equality operator<=>(const EqualityComparable& that) const { if (auto cmp = number1 <=> that.number1; cmp != 0) return cmp; if (auto cmp = number2 <=> that.number2; cmp != 0) return cmp; return name <=> that.name; } }; // compiler generates == and !=, but not < > <=, or >= EqualityComparable ec1, ec2; if (ec1 != ec2) { /*...*/ } // ok
[edit] Weak equality
In this example, two values that compare equal under this comparison (which is case-insensitive on the member name can be distinguished by functions that are case-sensitive:
class EquivalenceComparable { CaseInsensitiveString name; BigInt number1; BigInt number2; public: std::weak_equality operator<=>(const EquivalenceComparable& that) const { if (auto cmp = number1 <=> that.number1; cmp != 0) return cmp; if (auto cmp = number2 <=> that.number2; cmp != 0) return cmp; return name <=> that.name; } // ... non-comparison functions ... }; // compiler generates != and ==, but not <, >, <=, or >= EquivalenceComparable ec1, ec2; if (ec1 != ec2) { /*...*/ } // ok
[edit] Defaulted three-way comparison
The default operator<=> performs lexicographical comparison by successively comparing the base (left-to-right depth-first) and then non-static member (in declaration order) subobjects of T to compute <=>, recursively expanding array members (in order of increasing subscript), and stopping early when a not-equal result is found, that is:
for /*each base or member subobject o of T*/ if (auto cmp = lhs.o <=> rhs.o; cmp != 0) return cmp; return strong_ordering::equal; // converts to everything
It is unspecified whether virtual base subobjects are compared more than once.
If the declared return type is auto, then the actual return type is std::common_comparison_category_t<Ms> where Ms is the list (possibly empty) of the types of base and member subobject and member array elements to be compared. This makes it easier to write cases where the return type non-trivially depends on the members, such as:
template<class T1, class T2> struct P { T1 x1; T2 x2; friend auto operator<=>(const P&, const P&) = default; };
Otherwise, the return type must be one of the five comparison types (see above), and is ill-formed if the expression m1 <=> m2 for any base or member subobject or member array element is not implicitly convertible to the chosen return type.
The defaulted operator<=> is implicitly deleted and returns void if not all base and member subobjects have a compiler-generated or user-declared operator<=> declared in their scope (i.e., as a nonstatic member or as a friend) whose result is one of the std:: comparison category types
[edit] Defaulted two-way comparisons
Any of the six two-way relational operators can be explicitly defaulted. A defaulted relational operator must have the return type bool.
Such operator will be deleted if overload resolution over x <=> y (considering also operator<=> with reversed order of parameters) fails, or if this operator@ is not applicable to the result of that x<=>y. Otherwise, the defaulted operator@ calls x <=> y @ 0 if an operator<=> with the original order of parameters was selected by overload resolution, or 0 @ y <=> x otherwise:
struct C { friend std::strong_equality operator<=>(const C&, const C&); friend bool operator==(const C& x, const C& y) = default; // ok, returns x <=> y == 0 bool operator<(const C&) = default; // ok, function is deleted };
Defaulting of the relational operators can be useful in order to create functions whose addresses may be taken. For other uses, it is sufficient to provide only the operator<=>.
[edit] See also
- overload resolution in a call to an overloaded operator
- Built-in three-way comparison operator
- Operator overloading for relational operators
