Книга: Standard Template Library Programmer

Equality Comparable

Equality Comparable

Category: utilities

Component type: concept


A type is EqualityComparable if objects of that type can be compared for equality using operator==, and if operator== is an equivalence relation.


X A type that is a model of EqualityComparable

x, y, z Object of type X

Valid expressions

Name Expression Return type
Equality x == y Convertible to bool
Inequality x != y Convertible to bool

Expression semantics

Name Expression Precondition Semantics
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)


Identity &x == &y implies x == y
Reflexivity x == x
Symmetry x == y implies y == x
Transitivity x == y and y == z implies x == z


• int
• vector<int>

See also


Оглавление книги

Оглавление статьи/книги

Генерация: 1.175. Запросов К БД/Cache: 3 / 0
Вверх Вниз