重写equals和hashCode的原则规范
当符合以下条件时不需要重写equals方法:
1. 一个类的每一个实例本质上都是唯一的。
2. 不关心一个类是否提供了“逻辑相等”的测试功能
3. 超类已经改写了equals方法,并且从超类继承过来的行为对于子类也是合适的。
4. 一个类时私有的或者是package私有的,并且可以确定它的equals方法永远不会被调用。(这种情况下最好将equals方法改写成以下方式:
public boolean equals(Object obj){
throws new UnsupportOperationException();
}
只有当一个类有自己特定的“逻辑相等”概念,而且超类也没有改写equals以实现期望的行为,我们需要改写equals方法。通常适用于“值类”。
在改写equals方法时,也要遵守他们的通用约定(equals方法实现了等价关系):
1. 自反性:x.equals(x) = true;
2. 对称性:如果有x.equals(y) = true,那么一定有y.equals(x) = true;
3. 传递性:对任意的x,y,z。如果有x.equals(y) = y.equals(z) = true,那么一定有x.equals(z)= true;
4. 一致性:无论多少次调用,x.equals(y)总会返回相同的结果。
5. 非空性(暂定):所有的对象都必须!=null;
上面的只是理论性的说法,更加具体的做法如下:
1. 使用==操作符检查“实参是否为指向对象的一个引用”,如果是则返回true;
2. 使用instanceof操作符检查“实参是否为正确的类型”,如果不是,则返回false;
3. 将实参装换为正确的类型;
4. 对于该类中的每一个关键域,检查实参中的域与当前对象中对应的域是否匹配。如果所有测试都成功,则返回true,否则返回false。
5. 方法完成之后,确定equals方法的对称性,传递性,一致性。
一些忠告:
1.改写equals方法的时候,必须改写hashCode方法;
2.不要把equals声明中的Object对象替换为其他类型;
改写的形式必须为:public boolean equals(Object obj){...code segment...}
改写equals时总要改写hashCode
hashCode的通用约定如下:
1. 只要对象equals方法涉及到的关键域内容不改变,那么这个对象的hashCode总是返回相同的整数。(如果关键域内容改变,则hashCode返回的整数就可以改变)。
2. 如果两个对象的equals(Object obj)方法时相等的,那么调用这两个对象中的任意一个对象的hashCode方法必须产生相同的整数结果。如果两个对象equals方法不同,那么必定返回不同的hashCode整数结果。(简而言之:相等的对象必须有相等的散列码即hashCode);
一个好的hashCode方法趋向于“为不相等的对象产生不相等的散列码”理想情况下的散列函数应该把一个集合中不相等的实例均匀分布到所有可能的散列值上。下面给出一种参考方法:
1. 把某个非零常数值保存在一个叫做result的int类型的变量中
2. 为该对象中的每一个关键域f计算int类型的散列码。
a) 为该域计算int类型的散列码c:
i.如果域是Boolean类型,计算:(f?0:1)
ii.如果是byte,char,short,int类型,计算:(int)f
iii.如果是long类型,计算:(int)(f^(f>>32))
iv.如果是float类型,计算:Float.floatToIntBits(f)
v.如果是double类型,计算Double.doubleToLongBits(f)得到long类型的值,在按照long值对待,继续进一步计算
vi.如果是对象引用,递归调用hashCode方法计算,如果遇到为null的关键域,则返回0
vii.如果是数组,将每一个元素都当做单独的域来计算,递归应用上述规则
b) 按照下面公式,将a得到的散列码c组合到result中
result = 37*result + c;
3. 返回result
4. 写完之后,检查hashCode方法是否相等的实例具有相等的散列码,并找出错误原因。