可等值比较


类别：实用程序	组件类型：概念

描述

如果某个类型的对象可以使用operator==进行相等性比较，并且如果operator==是等价关系，则该类型是 EqualityComparable。

细化

关联类型

符号

`X`	是 EqualityComparable 模型的类型
`x`, `y`, `z`	类型为`X`

定义

有效表达式

名称	表达式	类型要求	返回类型
相等性	`x == y`		可转换为`bool`
不相等	`x != y`		可转换为`bool`

表达式语义

名称	表达式	前提条件	语义	后置条件
相等性	`x == y`	`x`以及`y`在...的域中`==`
不相等	`x != y`	`x`以及`y`在...的域中`==`	等价于`!(x == y)`

复杂度保证

不变式

恒等性	`&x == &y`暗示`x` == `y`
自反性	`x == x`
对称性	`x == y`暗示`y == x`
传递性	`x == y`以及`y == z`暗示`x == z`

模型

int
vector<int>

备注

另请参阅

LessThanComparable.

版权所有 © 1999 Silicon Graphics, Inc. 保留所有权利。商标信息