软件构造复习笔记之Equality(等价性)

等价关系的基本性质：

1. 自反性
2. 对称性
3. 传递性

可能在考试题中出现，在判断某等价关系定义是否正确时，不要忽略传递性。

不可变类型的等价性：

1.引用等价性：

两个变量指向同一个地址，即id相同。在Java中用"=="表示。

2.对象等价性：

对于对象类变量特有的等价性，表示两个对象的等价。通常通过重写equals方法（此方法默认判断引用等价性）用于判断对象等价性。具体判相等的标准，有以下两种：

1. 通过AF判相等，当AF映射到同一个结果，则视为两个对象相等。
2. 通过Observer方法判相等，调用任何Observer方法得到的结果相等，则视为相等。

对于不可变类型，使用对象等价性更适合。

例：String s1 = "abc", s2 = "abc";
则s1==s2为false ，s1.equals(s2)为true

可变类型的等价性：

1.观察等价性：

在不改变对象的情况下，两个对象看起来一致。约等于对象等价性。

2.行为等价性：

调用对象任何方法都得到同样结果。约等于引用等价性。但个别情况下，两个对象不“==”也有可能符合行为等价性。

对于可变类型来说，往往倾向于使用严格的观察等价性，但有时可能导致bug。所以尽量使用行为等价性，即不重写equals方法。如果一定要判断两个对象的观察等价性，可以另外定义一个方法。

equals方法重写

代码示例：(判断点图中的点是否相等)

@Override public boolean equals(Object o){
    	if(!(o instanceof Vertex)) 
    	    return false; 
    	Vertex v = (Vertex) o;
    	if(this.label.equals(v.getLabel()))
    		return true;
    	else
    		return false;

equals方法除了满足等价性的三个基本性质外，还应满足：

1. 任意非null对象a， a.equals(null) == false
2. equals关系是长期保持不变的，除非其中对象更改。

此外还应注意：

1. 不要写成重载，即参数一定要是Object类型，用annotation“@Override”保证正确重写。

2. equals的两个对象时，需要保证hashCode也相等，除非能保证此类对象永远不会被存入HashSet等hash类集合中。因为在hash类集合中判断元素是否相等时，是先判断hashCode是否相等，若相等再调用equals方法。因此重写equals同时，一般也要重写hashCode方法，保证equals的两个对象hashCode相等即可。