类是是私有的或是包级私有的,可以确定它的equals方法永远不会被调用。
equals实现了等价关系
- 自反性
- 对称性
- 传递性
我们无法在拓展可实例化的类的同时,既增加新的值组件,同时又保留equals约定
里式替换原则认为,一个类型的任何主要属性也将适用于它的子类型。因此认为为该类型编写的任何方法,在它的子类型也应该同样运行得很好。
虽然没有一条令人满意的方法可以既拓展不可实例化的类,又增加值组件,但还是有一条不错的权宜之计:复合优先于继承。
我们不再让ColorPoint拓展Point,而是在ColorPoint中加入一个私有的Point域,以及一个公有的视图。该方法返回一个与该有色点处在相同位置的普通Point对象。
public class ColorPoint
{
private final Point point;
private final Color color;
public ColorPoint(int x, int y,Color color)
{
if(color == null)
throw new NULLPointException();
point= new Point(x,y);
this.color = color;
}
public Point asPoint()
{
return point;
}
@Override
public Boolean equlas(Object o)
{
if(!o istanceOf ColorPoint)
return false;
ColorPoint cp = (ColorPoint) o;
return cp.point.equals(point) && cp.color.equals(color);
}
}
在JAVA平台库中,有一些类拓展了可实例化的类,并添加了新的组件。例如java.sql.TimeStamp对java.util.Date进行了拓展,并增加了nanoseconds域。TimeStamps的equals实现确实违反了对称性,如果TimeStamp和Date对象被用于用一个集合中,或者以其他方式被混合在一起,则会引起不正确的行为。
可以在一个抽象类中增加新的值组件,而不会违反equals约定。
- 一致性
无论类是否不可变的,都不要使equals方法依赖于不可靠的资源。 - 非空性
所有的对象都必须不等于null。
实现高质量equals方法的诀窍:
- 使用==操作符检查“参数是否未正确的类型”
- 使用instanceof操作符检查“参数是否为正确的类型”
- 把参数个数转换成正确的类型
- 对于该类中的每个“关键”域,检查参数中的域是否与该对象中对应的域相匹配。
对于既不是float也不对double类型的基本类型域,可以使用==操作符进行笔记;对于对象引用域,可以递归地调用equals方法;对于float与,可以使用Float.compare方法。对于double域,则使用Double.compare。对于float域和double域进行特殊处理是有必要的。
equals一些注意点:
- 覆盖equals时总要覆盖hashCode
- 不要将equals声明中的Object对象替换为其他的类型。
- 不要企图让equals方法归于智能