EffectiveJava（8）覆盖equals是要遵守的约定

覆盖equals是要遵守的约定

1.覆盖种类:
-类的每个1实例本质上都是唯一的
-不关心类是否提供了”逻辑相等”的测试功能(Random测试是否能随机相同数字)
-超类已经覆盖了equals,从超类继承过来的行为对于子类也是合适的(Set List Map)
-类是私有的或包级私有的,可以确定它的equals方法永远不会被调用
2.equals的通用约定
-自反性(reflexive):对于任何非null的引用值X,x.equals(x)必须返回true
-对称性(symmetric):对于任何非null的引用值x和y,当且仅当y.equals(x)返回true时,x.equals(y)必须返回true
-传递性(transitive):对于任何非null的引用值x和y和z,如果x.equals(y)返回true,那么y.equals(z)也返回true,z.equals(x)必须为true
-一致性(consistent):对于任何非null的引用值x和y,只要equals的比较操作在对象中所用的信息没有被修改,多次调用x.equals(y)就会调用x.equals(y)就会一致地返回true,或者一致地返回false
-非空性(Nonnuooity):对于任何非null的引用值X,x.equals(null)必须返回false
3.实现高质量equals方法诀窍
-使用==操作符检查”参数是否为这个对象的引用”
-使用instanceof操作符检查”参数是否为正确类型”
–正确类型:指equals方法所在的类或者接口(Set List Map Map.Entry) 如果类实现的接口改进了equals约定,允许在实现了该接口的类之间进行比较,那么就使用该接口
-把参数转换成正确的类型(转换之前会进行instanceof测试确保成功)
-对于该类中的每个”关键(significant)”域,检查参数中的域是否与该对象中对应的域相匹配
-当编写完成了equals方法后,它是否是对称的,传递的,一致的
-覆盖equals时总要覆盖hashCode
-不要让equals方法过于智能
-不要将equals生命中的Object对象替换为其他类型
public boolean equals(Object o) {
// 违反equals的对称性
// if(o instanceof CaseInsensitiveString)
// return s.equalsIgnoreCase(((CaseInsensitiveString) o).s);
// if(o instanceof String)
// return s.equalsIgnoreCase((String)o);
// return false;
// 解决方案 – CaseInsensitiveString区分字符串大小写
return o instanceof CaseInsensitiveString &&
((CaseInsensitiveString) o).s.equalsIgnoreCase(s);
}

//比较普通点和有色点,以及相反的情形时,可能会得到不同的结果
@Override public boolean equals(Object o){
    if(!(o instanceof ColorPoint))
        return false;
    //cp.equals()进行比较时忽略颜色信息
    //提供对称性  牺牲传递性
    //无法在扩展可实例化类的同时,既增加新的值组件,同时又保留equals约定
    if(!(o instanceof ColorPoint))
        return o.equals(this);
    return super.equals(o) && ((ColorPoint)o).color == color;
}

//用getClass测试代替instanceof
@Override public boolean equals(Object o){
    if(o == null || o.getClass()!=getClass())
        return false;
    PointString ps =(PointString)o;
    return ps.x == x && ps.y == y;
}