[tab:cpp17.equalitycomparable] (original) (raw)
16 Library introduction [library]
16.4 Library-wide requirements [requirements]
16.4.4 Requirements on types and expressions [utility.requirements]
16.4.4.2 Template argument requirements [utility.arg.requirements]
Table 25: Cpp17EqualityComparable requirements [tab:cpp17.equalitycomparable]
| 🔗 | Expression | Return type | Requirement |
|---|---|---|---|
| 🔗 | a == b | convertible to bool | == is an equivalence relation, that is, it has the following properties:For all a, a == a.If a == b, then b == a.If a == b and b == c, then a == c. |