本章主要讲的是如何覆盖一些非final的Object方法:
equals/hashCode/toString/clone方法
第八条、覆盖equals时请遵守通用约定
1. 不覆盖equals方法的条件(满足其一即可):
类的每个实例本质上都是唯一的。代表的是活动实体而不是值,例如Thread;
不关心类是否提供逻辑相等的测试功能。如java.util.Random;
父类已经覆盖了equals,从父类继承过来的行为对于子类也是合适的。例如:大部分的Set实现都从AbstractSet继承equals实现。
类是私有的或者包级私有的,可以确定它的equals方法永远不会被调用。
2. 什么时候应该覆盖equals方法:
如果类具有自己特有的逻辑相等概念,且其父类还没有覆盖equals以实现其期望的行为,则需要覆盖equals方法。
通常属于“值类”的情形,仅仅是表示值的类,如Integer和Date。这样做可以使得这个类的实例可以被用作映射表的键key,或者集合set的元素。
3. Object中的equals规范(等价关系equivalence relation):
自反性(reflexive):x.equals(x)必须返回true,x非空。
对称性(symmetric):当且仅当x.equals(y)返回true时,y.equals(x)必须返回true。x,y非空。
传递性(transitive):x.equals(y)返回true,且y.equals(z)返回true,那么x.equals(z)也必须返回为true。 x,y,z非空。
一致性(consistent):只要比较操作在对象中所用的信息没有被修改,则多次调用的结果会一致。
对于任何非nul的引用值x,x.equals(null)必须返回false。
4. 等价关系的一个基本问题:
我们无法在扩展可实例化的类的同时,既增加新的值组件,同时又保留equals约定。除非愿意放弃面向对象的抽象带来的优势。(利用复合来解决类似的问题)
5. 实现高质量equals方法的诀窍:
使用==操作符检查”参数是非为这个对象的引用“,如果是,则返回true;
使用instanceof操作否检查”参数是否为正确的类型“;
把参数转换成正确的类型;
对于该类中的每个关键域,检查参数中的域是否与该对象中对应的域相匹配。域的比较顺序可能影响到equals方法的性能,应最先比较最有可能不一致的域或者是开销最小的域。
完成后检查是否符合:对称性,传递性和一致性。
覆盖equals时总要覆盖hashCode方法。
不要企图使equals方法过于智能。
不要将equals声明中的Object对象替换为其他的类型。原因是这个方法并没有覆盖Object.equals!参数类型不正确。在原有的equals方法的基础上,重载了一个强类型的equals方法。@Override注解在这里面就起作用了。
第九条、覆盖equals时总要覆盖hashCode
1. 在每个覆盖了equals方法的类中,也必须覆盖hashCode方法。
否则会违反Object.hashCode的通用约定,导致该类无法结合所有基于散列的集合一起正常工作(HashMap、HashSet和HashTable)。
2. Object约束中hashCode的约定:
在应用程序执行期间,只要对象的equals方法的比较操作所用到的信息没有被修改,那么对这同一对象调用多次,hashCode方法都必须始终如一地返回同一个整数。在同一个应用程序的多次执行过程中,每次执行所返回的整数可以不一致。
如果两个对象根据equals(Object)方法比较是相等的,则调用这两个对象中任意一个对象的hashCode方法都必须产生相同的整数结果。
如果两个对象根据equals(Object)方法比较是不相等的,hashCode不一定产生不同的整数结果。
3. 一个好的散列函数“为不相等的对象产生不相等的散列码”。
理想情况下,散列函数应该把集合中不相等的实例均匀地分布到所有可能的散列值,要想完全达到这种理想的情形是非常困难的,下面有一种简单的解决方法:
- 把某个非零的常数值(如17),保存在一个名为result的int类型的变量中;
- 对于对象中每个关键域f(equals方法中涉及),完成以下步骤:
- 为该域计算int类型的散列码c
- boolean类型计算 :(f?1:0)
- byte/char/short或者int类型计算: (int)f
- long类型计算:(int)(f^(f>>>32))
- float类型计算:Float.floatToIntBits(f)
- double类型计算:Double.doubleToLongBits(f),然后按照long类型计算
- 该域是一个对象引用,针对范式调用hashCode,再进行判断。
- 该域是一个数组,Arrays.hashCode方法
- 按照下面的公式,把上步中计算的散列码合并到result中:(使得散列值依赖于域的顺序)
- result = 31 * result + c ;
- 返回result
下面是一个实例:
import java.util.HashMap;
import java.util.Map;
/**
* Created by laneruan on 2017/6/6.
*/
public class PhoneNumberHashCode{
private final short areaCode;
private final short prefix;
private final short lineNumber;
public PhoneNumberHashCode(int areaCode,int prefix,int lineNumber){
rangeCheck(areaCode,999,"area code");
rangeCheck(prefix,999,"prefix");
rangeCheck(lineNumber,999,"lineNumber");
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 PhoneNumberHashCode))
return false;
PhoneNumberHashCode pnhc = (PhoneNumberHashCode) o;
return pnhc.lineNumber == lineNumber &&
pnhc.prefix == prefix &&
pnhc.areaCode == areaCode;
}
@Override
public int hashCode(){
int result = 17;
result = 31 * result + areaCode;
result = 31 * result + prefix;
result = 31 * result + lineNumber;
return result;
}
//如果没有hashCode方法,会出现如下问题
// Map<PhoneNumber,String> map = new HashMap<PhoneNumber,String>();
// map.put(new PhoneNumber(701,867,5309),"Jenny");
// map.get(new PhoneNumber(707,867,5309)) 返回为null
//Lazy initialized,cached hashCode
private volatile int hashCode;
public int hashCode2(){
int result = hashCode;
if(result == 0){
result = 17;
result = 31 * result + areaCode;
result = 31 * result + prefix;
result = 31 * result + lineNumber;
}
return result;
}
}
4. 如果一个类是不可变的,且计算散列码的开销比较大,可以考虑把散列码缓存在对象内部,而不是每次请求都重新计算散列码。
第十条、始终要覆盖toString
-
java.lang.Object提供的toString方法的一个实现,但通常不是用户希望看到的:包含一个类名称,一个@符号接着是散列码的无符号十六进制表示法。“简洁的、但信息丰富且易于阅读的表达形式,建议所有的子类都覆盖这一方法。”当对象被传递给println,printf,字符串联操作符+、assert或者被调试器打印出来时,toString会自动调用。
-
在实际应用中,toString方法应该返回对象中包含的所有值得关注的信息。
-
无论是否指定格式,都用该在文档中明确表明你的意图;都应为toString返回中包含的所有信息,提供一种编程式的访问途径。
第十一条、谨慎地覆盖clone
1. Cloneable接口的目的是作为对象的一个mixin接口,表明这个对象允许克隆。
其主要的缺陷在于缺少一个clone方法,Object的clone方法是受保护的,如果不加借助于反射,就不能因为一个对象实现了Cloneable接口,就可以调用clone方法。
这个接口的作用在于决定了Object中受保护的clone方法实现的行为:如果一个类实现了Cloneable,Object的clone方法就返回该对象的逐域拷贝,否则就会抛出CloneNotSupportException。
这样的副作用是:无需调用构造器就可以创建对象。
2. java.lang.Object关于Clone方法的约定:
创建和返回该对象的一个拷贝,这个拷贝的精确含义取决于该对象的类。
一般的来说是:对于任何对象x,表达式x.clone() != x 为true 且 x.clone().getClass() == x.getClass() 为true,x.clone().equals(x)为true,但这些都不是绝对的要求。
拷贝对象往往会创建它的类的一个实例,但它同时也会要求拷贝内部的数据结构,过程中没有调用构造器!
3. 实际上,对于实现了Cloneable接口的类,我们总是期望它也提供一个功能适当的公有的clone方法。
从super.clone()中得到的对象可能会接近最终要返回的对象,也可能相差甚远,这取决于类的本质。如果每个域包含一个基本类型的值,或者包含一个指向不可变对象的引用,那么可能不需要再做进一步处理。
如果对象中包含的域引用了可变的对象,使用上述简单的clone实现可能会出现灾难性的后果。一般需要在这些可变的对象中递归地调用clone。实际上clone方法相当于另一个构造器,你必须确保它不会伤害到原始的对象,并确保正确地创建被克隆对象中的约束条件(invariant)。clone架构与引用可变对象的final域的正常用法是不相兼容的。
克隆复杂对象的最后一种方法是:先调用super.clone(),然后把结果中的所有域都设置成它们的空白状态,然后调用高层的方法来重新产生对象的状态。
总结下来:所有实现了Cloneable接口的类都应该用一个公有的方法覆盖clone,此公有方法首先调用super.clone,然后修正任何需要修正的域。那么真的有必要这么复杂吗?很少!
4. 我们平时最好提供某些其他的途径来代替对象拷贝,或者根本不提供这样的功能。
比如对于不可变类,支持对象拷贝意义不大。
另一种提供对象拷贝的好方法是提供一个拷贝构造器(copy constructor)或拷贝工厂。这种做法优势很大。所以请谨慎地覆盖clone。
如:public Yum(Yum yum);public static Yum newInstance(Yum yum)
第十二条、考虑实现Comparable接口
-
compareTo方法没有在Object中声明,它是Comparable接口中唯一的方法。compareTo方法不但允许进行简单的等同性比较,而且允许执行顺序比较,它还是个泛型。
-
类实现了Comparable接口,就表明它的实例具有内在的排序关系,为实现了Comparable接口的对象数组进行排序可以直接
Arrays.sotr(a)
。对存储在集合中的Comparable对象进行搜索、计算极限值以及自动维护也同样简单。一旦类实现了Comparable接口,它就可以跟许多泛型算法以及依赖于该接口的集合实现进行协作。事实上,Java平台类库中所有的值类都实现了Comparable接口。 -
什么时候考虑实现Comparable接口:正在编写一个值类,它具有非常明显的内在排序关系,比如按照字母排序、数值排序或者年代排序,那就应该坚决考虑实现这个接口:
public interface Comparable<T>{ int compareTo(T t); }
-
compareTo方法的通用约定:将这个对象与指定的对象进行比较。当该对象小于、等于或者大于指定对象的时候,分别返回一个负整数、零或者正整数、如果由于指定对象的类型而无法与该对象进行比较,则抛出ClassCastException异常。符号sgn(表达式)表示数学中的signum函数,根据表达式的值为负数、零和正值,分别返回-1、0或1。
- 实现者必须确保所有的x和y都满足:
sgn(x.compareTo(y)) == -sign(y.compareTo(x))
。也暗示着:当且仅当y.compareTo(x)
抛出异常时,x.compareTo(y)
抛出异常。 - 实现者还必须确保这个比较关系是可传递的:
(x.compareTo(y)>0&&y.compareTo(z)>0)
暗示着x.compareTo(z)>0
。 - 实现者必须确保
x.compareTo(y)==0
暗示着所有的z都满足sgn(x.compareTo(z)) == sgn(y.compareTo(z))
。 - 强烈建议
(x.compareTo(y)==0) == (x.equals(y))
。如果违反这个条件请予以说明:”注意:该类具有内在的排序功能,但与equals不一致。“ 违反compareTo约定的类会破坏依赖于比较关系的类包括有序集合类TreeSet和TreeMap,以及工具类Collections和Arrays,它们内部包含有搜索和排序算法。
- 实现者必须确保所有的x和y都满足:
-
如果一个类有多个关键域,那么按什么样的顺序来比较这些域是非常关键的,必须从最关键的域开始,逐步进行到所有的重要域。
下面是关于电话类的一个实例:@Override public int compareTo(PhoneNumberHashCode pn){ //这个方法得确信相关的域不会为负值,防止溢出。 int areaCodeDiff = areaCode - pn.areaCode; if(areaCodeDiff != 0) return areaCodeDiff; int prefixDiff = prefix - pn.prefix; if(prefixDiff != 0) return prefixDiff; return lineNumber-pn.lineNumber; }
网友评论