|
| |
|
| Category: utilities | | Component type: concept |
Description
A type is EqualityComparable if objects of that type can be compared for equality using operator==, and if operator== is an equivalence relation.
Refinement of
Associated types
Notation
X | A type that is a model of EqualityComparable |
x, y, z | Object of type X |
Definitions
Valid expressions
| Name | Expression | Type requirements | Return type |
| Equality | x == y | | Convertible to bool |
| Inequality | x != y | | Convertible to bool |
Expression semantics
| Name | Expression | Precondition | Semantics | Postcondition |
| Equality | x == y | x and y are in the domain of == | | |
| Inequality | x != y | x and y are in the domain of == | Equivalent to !(x == y) | |
Complexity guarantees
Invariants
| Identity | &x == &y implies x == y |
| Reflexivity | x == x |
| Symmetry | x == y implies y == x |
| Transitivity | x == y and y == z implies x == z |
Models
Notes
See also
LessThanComparable.
