前言:
读这本书第1条规则的时候就感觉到这是一本非常好的书。可以把我们的Java功底提升一个档次,我还是比較推荐的。这里我主要就关于覆盖equals、hashCode和toString方法来做一个笔记总结。希望可以与君共勉。
概述:
这一章主要是说明一些对于全部对象都通用的方法。我们知道Java的多态是其特色之中的一个,而多态的体现方式中就有一种方式叫做“重写”。这些概念性的东西我想在大学我们学习Java的初期。老师就会如数家珍一样地灌输给我们。只是。在那个时候有多少人真的了解了什么是重载,什么是重写,什么是多态呢?
而对于如今的一些开发人员而言,了解并使用它们是家常便饭。理所应当。可是。你真的是已经够了解吗?
相关内容:
1.覆盖equals时请遵守通用约定
我们知道Java中假设须要比較两个对象是否相等的时候,就会用到equals。对于刚開始学习的人。可能遇到很多其它的是equals与"=="的差别,可能一開始大家都是一头雾水,傻傻分不清楚。这可能是由于你还没有地址和值的概念。
关于equals与"=="的差别,大家能够看看这篇博客——Java中equals和==的差别
假设你还不是非常清楚equals和"=="的差别,那么,你能够花几分钟看看上面的博客,以便你能够明确。我们为什么要覆盖equals方法。
假设你已完全了解,那么便没有什么东西能够阻止你继续往下看。
我们知道equals要实现的是逻辑上的等。站在数学的角度来看。两个事物相等的条件,有例如以下几个:
1.自反性:对于不论什么非null的引用值x,x.equals(x)必须返回true.
2.对称性:对于非空的引用值x,y,当且仅当x.equals(y)返回true时,y.equals(x)必须返回true.
3.传递性:对于不论什么非null的引用值x,y,z,假设x.equals(y)=true。y.equals(z)=true,那么x.equals(z)也必须返回true。
4.一致性:对于不论什么非null的引用值x,y。仅仅要equals的比較操作在对象中所用的信息没有被改动,多次调用x.equals(y)就会一致地返回true。或一致地返回false.
5.对于非null的引用值x,x.equals(null)必须返回false.
看完上面的这些数学式的规则,你是不是有一种哪要这么麻烦的事的感觉呢?从直观上来说,上面的这些规则的确是有一些麻烦,但你却不能忽视它们,不然麻烦的可就是你了。
以下我会通过一些实例的学习,来说明这些规则。
1.自反性:
<span style="font-family:Courier New;font-size:18px;">public static void equalsOppositeSelf() {
String s = "ABC";
Object o = new Object(); System.out.println(s.equals(s));
</span>
结果:
<span style="font-family:Courier New;font-size:18px;">true
true</span>
2.对称性:
对于对称性,可能你会感觉理所当然。
这是由于在你看来,我们要比較的两者必然是同一类型,这个必然太过理想化了。假设我们比較的两个对象不是同一种类型呢?以下能够看看这个样例。
<span style="font-family:Courier New;font-size:18px;">public final class CaseInsensitiveString { private final String s; public CaseInsensitiveString(String s) {
if (s == null) {
throw new NullPointerException();
} this.s = s;
} 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;
}
}</span>
上面equals方法的代码实现了忽略大写和小写来比較字符串。
我们先不考虑同类型的两个对象比較,对于不同类型的两个对象,从上面的代码中我们能够看出。假设被比較的对象是一个String类型的。那么我们就能够去忽视大写和小写进行比較。答案也是在情理之中。以下看看例证:
比較方法:
<span style="font-family:Courier New;font-size:18px;">public static void equalsSymmetric() {
CaseInsensitiveString s1 = new CaseInsensitiveString("abc");
String s2 = "abc"; System.out.println("s1 == s2 ? " + s1.equals(s2));
System.out.println("s2 == s1 ? " + s2.equals(s1));
}</span>
比較结果:
<span style="font-family:Courier New;font-size:18px;">s1 == s2 ? true
s2 == s1 ? false</span>
这是为什么?不是说equals要满足对称性的吗?怎么这里又行不通了呢?
细致推敲一番就能够发现了,我们在进行s1.equals(s2)的时候,是由于s1是CaseInsensitiveString类型的,它会运行到上面的代码,而s2是String类型的。s2.equals(s1)的比較自然是String中的equals方法。
那你又会问。既然这样我们总不能去改动String类中的代码吧。假设你这样想,那我就无言以对了。我们知道一件事,两个不同类型的对象我就让它不同样去吧。也就是说,我们要有一个推断告诉程序。假设被比較的对象不是CaseInsensitiveString类型,那我们就不用客气直接返回false即可了。改动后的代码例如以下:
<span style="font-family:Courier New;font-size:18px;"> public boolean equals(Object o) {
return o instanceof CaseInsensitiveString && ((CaseInsensitiveString) o).s.equalsIgnoreCase(s);
}</span>
3.传递性
传递性的推断是x = y, y = z。那么就能够推断x = z了。
如今如果我们有一个类Point和一个Point的子类ColorPoint分别例如以下:
Point
<span style="font-family:Courier New;font-size:18px;">public class Point { private final int x; private final int y; public Point(int x, int y) {
this.x = x;
this.y = y;
} public boolean equals(Object o) {
if (!(o instanceof Point)) {
return false;
} Point p = (Point) o; return p.x == x && p.y == y;
}
}</span>
ColorPoint
<span style="font-family:Courier New;font-size:18px;">public class ColorPoint extends Point { private final Color color; public ColorPoint(int x, int y, Color color) {
super(x, y);
this.color = color;
}
}</span>
能够看到ColorPoint继承于Point,只是比Point类多一个颜色属性。当我们把ColorPoint与Point和Point与ColorPoint进行比較,例如以下:
<span style="font-family:Courier New;font-size:18px;">public static void equalsTransitivity() {
Point p1 = new Point(1, 2);
ColorPoint cp1 = new ColorPoint(1, 2, Color.BLACK); System.out.println("p1 == cp1 ? " + p1.equals(cp1));
System.out.println("cp1 == p1 ? " + cp1.equals(p1));
}</span>
会得到例如以下结果:
<span style="font-family:Courier New;font-size:18px;">p1 == cp1 ? true
cp1 == p1 ? true</span>
为什么两个都true呢?明明两个不同类型啊。假设真的要去考虑父类与子类的关系,也应该是一个true一个false啊。由于这里我们的ColorPoint本身没有重写Point的equals,它使用的是Point的equals,这时不管哪一次的比較中。都是去比較x和y,与color无关。
这样就会导致一个问题,假设我的两个比較对象都是ColorPoint呢?这样一来假设我的两个ColorPoint的x和y全都一样,仅仅是color不同,那么不管怎么比較,其结果值都会是true.这里不会去检查color。
那你可能就会说,那我们就重写ColorPoint的equals啊。
这里我们使用一条建议:复合优于继承(这一点在设计模式中也有体现)。
实例示范:
<span style="font-family:Courier New;font-size:18px;">public static void equalsTransitivity() {
Point p1 = new Point(1, 2);
ColorPoint cp1 = new ColorPoint(1, 2, Color.BLACK);
ColorPoint cp2 = new ColorPoint(1, 2, Color.BLUE); ColorPointNew cpn1 = new ColorPointNew(1, 2, Color.BLACK);
ColorPointNew cpn2 = new ColorPointNew(1, 2, Color.BLUE); System.out.println("p1 == cp1 ? " + p1.equals(cp1));
System.out.println("cp1 == p1 ? " + cp1.equals(p1));
System.out.println("cp1 == cp2 ? " + cp1.equals(cp2)); System.out.println("cpn1 == cpn2 ? " + cpn1.equals(cpn2));
System.out.println("cpn1 == cp1 ? " + cpn1.equals(cp1));
System.out.println("cp1 == cpn1 ? " + cp1.equals(cpn1));
}</span>
结果:
<span style="font-family:Courier New;font-size:18px;">p1 == cp1 ? true
cp1 == p1 ? true
cp1 == cp2 ? true
cpn1 == cpn2 ? false
cpn1 == cp1 ? false
cp1 == cpn1 ? false</span>
上面的代码看上去非常简洁。
4.一致性
一致性的要求是,假设两个对象相等,它们就必须始终保持相等,除非它们中有一个对象被改动了。
2.覆盖equals时总要覆盖hashCode
为什么要说覆盖equals时总要覆盖hashCode呢?前面我们说的那些不都好好的么?一些equals必需的数学规则不是都已经满足了么?我们不是已经做得差点儿相同了么?是的。的确是差点儿相同了。只是我们还是要去覆盖hashCode方法。
这是由于我们假设把我们的对象与HashMap之类的Hash值联系起来,有此时候可能会感到困惑,甚至大失所望。
以下,我们就来列举一个样例,依据样例来说明再合适只是了。
我们有这样一个PhoneNumber类:
package com.java.effective.samples; public final class PhoneNumber { private final short areaCode; private final short prefix; private final short lineNumber; public PhoneNumber(int areaCode, int prefix, int lineNumber) {
rangeCheck(areaCode, 999, "area code");
rangeCheck(prefix, 999, "prefix");
rangeCheck(lineNumber, 9999, "line number"); this.areaCode = (short)areaCode;
this.prefix = (short)prefix;
this.lineNumber = (short)lineNumber;
} private static void rangeCheck(int arg, int max, String name) {
if (arg < 0 || arg > max) {
throw new IllegalArgumentException(name + ": " + arg);
}
} @Override
public boolean equals(Object o) {
if (o == this) {
return true;
} if (!(o instanceof PhoneNumber)) {
return false;
} PhoneNumber pNumber = (PhoneNumber)o; return (pNumber.lineNumber == lineNumber) && (pNumber.prefix == prefix) && (pNumber.areaCode == areaCode);
}
}
上面的代码对equals的处理全然OK。只是假设我们把PhoneNumber和HashMap放在一起使用,结果会怎样?以下是我们的測试用例:
public static void hashCodePhoneNumber() {
Map<PhoneNumber, String> map = new HashMap<PhoneNumber, String>();
PhoneNumber phoneNumber = new PhoneNumber(707, 867, 9876);
map.put(phoneNumber, "Jenny"); System.out.println(map.get(new PhoneNumber(707, 867, 9876)));
System.out.println(map.get(phoneNumber));
}
结果:
null
Jenny
我们能够这样来理解上面的map.put()。假设我们不去覆盖hashCode,那么当我们使用map.put时。我们是把这些PhoneNumber对象放在各个不同的盒子里。而我们去map.get()的时候。仅仅是去某一个盒子里去找(当然,假设map.get()和map.put()中的对象是同一个的话,当然能够找到)。
而假设我们覆盖了hashCode方法。这时,假设通过hashCode计算出来的值是相等的,就会放在同一个盒子里。这样。仅仅要我们对象中保存的值是全然一致的,就会找到这个key所相应的value。
不知道你发现没有,这个hashCode有点类似于分类,这样在数据量比較大的情况下就会大大提高效率。
我们能够通过下面两种方法来覆盖hashCode方法:
方法一:
@Override
public int hashCode() {
return 42;
}
方法二:
@Override
public int hashCode() {
int result = 17;
result = 31 * result + areaCode;
result = 31 * result + prefix;
result = 31 * result + lineNumber;
return result;
}
首先两种方法都能够。通过上面的分析,从效率的角度来考虑,当然是另外一种方法更为恰当。
所以在覆盖了equlas的同一时候,别忘了去覆盖hashCode.
3.始终要覆盖toString
承上,就拿PhoneNumber类来说,假设我们不去覆盖类的toString()方法,后果就是当我们须要去打印这个类的对象时。会有一些并不是是我们想要的那种。类似这种:com.java.effective.samples.PhoneNumber@12a7e3
有时我们不希望打印出这种对象,那我们就要去覆盖它们的toString方法了。
在这种方法里。我们能够依照我们自己的意愿来给类加入toString方法。对于PhoneNumber。我们能够这样来写:
@Override
public String toString() {
String result = "";
result += (areaCode + "-");
result += (prefix + "-");
result += (lineNumber); return result;
}
打印结果:
707-867-9876
总结:
在我们优化代码的时候最好还是考虑一下去合理地覆盖这些方法。能够让我们的代码更加健壮。