不覆蓋equals的幾種情況
- 類的每個(gè)實(shí)例本質(zhì)上都是唯一的（唯一了 用父類的equals判斷就可以了）
- 不關(guān)心類是否提供了“邏輯相等”的測試功能（沒有需要判斷邏輯相等的需求）
- 超類已經(jīng)覆蓋了equals,從超類繼承過來的行為對于子類也是合適的伟件。（父類的equals對于子類夠用了）
- 類是私有的或者是包級私有的月洛，可以確定它的equals方法永遠(yuǎn)不會被調(diào)用晌杰。（這個(gè)類別人用不了成箫，也確定了不會調(diào)用equals）
為什么我們要覆蓋equals
當(dāng)一個(gè)類具有“邏輯相等”的概念并且超類沒有覆蓋equals方法時(shí)冯遂，需要覆蓋equals.通常這種是“值類”，即僅僅表示一個(gè)值得類掉蔬。例如Integer,Date等含衔。常常我們關(guān)心的是邏輯上是否是同一個(gè)對象 ，而不是是否指向同一個(gè)對象姥闭。邏輯相等還有一個(gè)好處是可以作為map的key或者集合set的元素丹鸿。
覆蓋equals時(shí)需要遵循的約定（JavaSE6的規(guī)范）
- 自反性：對于任何非null的引用值x,x.equals(x)必須返回true
- 對稱性： 對于任何非null的引用值x和y,當(dāng)且僅當(dāng)y.equals(x)返回true時(shí),x.equals(y)必須返回true
- 傳遞性：對于任何非null的引用值,x,y,z,如果x.equals(y)為true,并且y.equals(z)也返回true,那么x.equals(z)也必須返回true
- 一致性：對于任何非null的引用值x和y,只要equals的比較操作在對象中所用的信息沒有被修改,多次調(diào)用x.equals(y)就會一致地返回true,或者false
- 非空性：對于任何非null的引用值,x,x.equals(null)必須返回false
自反性
基本上很難違反這一條。
對稱性
public final class CaseInsensitiveString{
private final String s;
public CaseInsensitiveString(String s){
if(s == null){
throw new NullPointerException();
}
this.s = s;
}
@Override
public boolean equals(Object o){
if(o instanceof CaseInsensitiveString){
return s.equalsIgnoreCase(((CaseInsensitiveString)o).s);
}
if(o instanceof String){
return s.equalsIgnoreCase((String)o);
}
return false;
}
}
public class Test {
public static void main(String[] args) {
CaseInsensitiveString cis = new CaseInsensitiveString("Polish");
String s = "polish";
System.out.println(cis.equals(s));
System.out.println(s.equals(cis));
}
}
這個(gè)類企圖兼容與String能夠做比較實(shí)則違反了對稱性
解決辦法重寫CaseInsensitiveString的equals方法
@Override public boolean equals(Object o){
//專一棚品，只與CaseInsensitiveString類自己的實(shí)例比較
return o instanceof CaseInsensitiveString
&& ((CaseInsensitiveString)o).s.equalsIgnoreCase(s);
}
傳遞性
public class Point {
private final int x;
private final int y;
public Point(int x, int y) {
this.x = x;
this.y = y;
}
@Override
public boolean equals(Object o) {
if (!(o instanceof Point)) {
return false;
}
Point p = (Point)o;
return p.x == x && p.y == y;
}
}
public class ColorPoint extends Point{
private final String color;
public ColorPoint(int x, int y, String color){
super(x, y);
this.color = color;
}
@Override public boolean equals(Object o){
if(!(o instanceof ColorPoint)){
return false;
}
return super.equals(o) && ((ColorPoint)o).color == color;
}
}
Point p = new Point(1, 2);
ColorPoint cp = new ColorPoint(1, 2, "red");
此時(shí)違反了對稱性
然后我們修改了equals方法
@Override public boolean equals(Object o){
//非Point或ColorPoint
if(!(o instanceof Point)){
return false;
}
if(!(o instanceof ColorPoint)){//o為不帶顏色的Point靠欢，使用Point的equals方法比較
return o.equals(this);
}
//o為ColorPoint
return super.equals(o) && ((ColorPoint)o).color == color;
}
public class Test {
public static void main(String[] args) {
ColorPoint p1 = new ColorPoint(1, 2, "red");
Point p2 = new Point(1, 2);
ColorPoint p3 = new ColorPoint(1, 2, "green");
System.out.println(p1.equals(p2));
System.out.println(p2.equals(p3));
System.out.println(p3.equals(p1));
}
}
這個(gè)是其中一種容易違反傳遞性的可能廊敌，即子類增加了新的屬性，重寫equals门怪，從而影響了傳遞性骡澈。
這個(gè)問題是面向?qū)ο笳Z言中關(guān)于等價(jià)關(guān)系的一個(gè)基本問題： 無法在擴(kuò)展可實(shí)例化的類的同時(shí)，既增加新的值組件薪缆，同時(shí)又保留equals的約定秧廉。
權(quán)宜之計(jì)：復(fù)合優(yōu)先于繼承
public class ColorPoint{
private final Point point;
private final String color;
public ColorPoint(int x, int y, String color){
if(Color == null){
throw new NullPointerException();
}
point = new Point(x, y);
this.color = color;
}
public Point asPoint(){
return point;
}
@Override public Boolean equals(Object o){
if(!(o instanceof ColorPoint)){
return false;
}
ColorPoint cp = (ColorPoint)o;
return cp.point.equals(point) && cp.color.equals(color);
}
}
一致性
要保證相等的對象永遠(yuǎn)相等伞广，不等的對象永遠(yuǎn)不等
在equals方法中不要依賴不可靠的資源拣帽，例如java.net.URL的equals方法依賴與對URL中主機(jī)IP地址的比較，但是網(wǎng)絡(luò)中主機(jī)IP地址有可能是變化的嚼锄，因此java.net.URL的equals方法難以保證一致性原則减拭。
非空性
一般我們使用一個(gè)顯示的空測試來避免拋出空指針異常：
@Override public boolean equals(Object o){
if(o == null){
return false;
}
……
}
其實(shí)，在equals方法中区丑，最終是要將待比較對象轉(zhuǎn)換為當(dāng)前類的實(shí)例拧粪，以調(diào)用它的方法或訪問它的屬性， 這樣必須先經(jīng)過instanceof測試沧侥，而如果instanceof的第一個(gè)參數(shù)為null可霎，則不管第二個(gè)參數(shù)是那種類型都會返回false，這樣可以很好地避免空指針異常并且不需要單獨(dú)的null檢測 宴杀。
@Override public boolean equals(Object o){
if(!(o instanceof MyType)){
return false;
}
MyType mt = (MyType)o;
……
}
實(shí)現(xiàn)高質(zhì)量equals方法
1癣朗、使用==操作符檢查參數(shù)是否為這個(gè)對象的引用。（一種優(yōu)化手段 旺罢，如果引用同樣的對象 就完全不用進(jìn)行后續(xù)可能出現(xiàn)的復(fù)雜的判斷）
2旷余、使用instanceof操作符檢查參數(shù)是否為正確的類型。
3扁达、把參數(shù)轉(zhuǎn)換成正確的類型正卧。
4、對于要比較類中的每個(gè)關(guān)鍵域跪解，檢查參數(shù)中的域是否與該對象中對應(yīng)的域相匹配炉旷。
5、編寫完equals方法后需要測試是否滿足對稱性叉讥、傳遞性和一致性窘行。
最佳編程實(shí)踐
1、覆蓋equals時(shí)總要覆蓋hashCode
2节吮、不要企圖讓equals方法過于智能
3抽高、不要將equals聲明中的Object對象替換為其他的類型，因?yàn)樘鎿Q后只是重載Object.equals(Object o)而不是覆蓋透绩。
