|
ALINK="#ff0000">
Equality Comparable
 |
 |
| 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.
![[Silicon Surf]](surf.gif)
![[STL Home]](stl_home.gif)
Copyright ©
1999 Silicon Graphics, Inc. All Rights Reserved.
TrademarkInformation
|