HIT2019春软件构造->重写hashCode()方法

时间:2023-03-09 15:22:33
HIT2019春软件构造->重写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){

      //To do

     }

  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)      按照下面公式,将得到的散列码c组合到result中

result = 37*result + c;

3.     return result;

4.     写完之后,检查hashCode方法是否能够让相等的实例产生相等的散列码,出错需要找出错误原因。