[tab:cpp17.equalitycomparable] (original) (raw)

🔗

a == b

decltype(a == b) models boolean-testable

== 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.