0 正确的equals方法
- public class MyClass {
- // 主要属性1
- private int primaryAttr1;
- // 主要属性2
- private int primaryAttr2;
- // 可选属性
- private int optionalAttr;
- // 延迟加载,缓存散列码
- private volatile int hashCode = 0;
- @Override
- public int hashCode() {
- if(hashCode == 0) {
- int result = 17;
- result = 37*result + primaryAttr1;
- result = 37*result + primaryAttr2;
- hashCode = result;
- }
- return hashCode;
- }
- @Override
- public boolean equals(Object obj) {
- if(obj == this) {
- return true;
- }
- if(!(obj instanceof MyClass)) {
- return false;
- }
- MyClass myClass = (MyClass) obj;
- return myClass.primaryAttr1 == primaryAttr1 &&
- myClass.primaryAttr2 == primaryAttr2;
- }
- }
1 在改写equals时要遵守通用约定
1.1 不必改写equals的情况:
1)一个类的每个实例本质上都是惟一的。2)不关心一个类是否提供了“逻辑相等”的测试功能。
3)超类已经改写的equals,从超类继承的行为对于子类也是合适的。
4)一个类是私有的,或者是包级私有的,并且可以确定它的equals方法永远也不会被调用。
1.2 需要改写Object.equals的情况:
当一个类有自己特有的“逻辑相等”概念,而且父类也没有改写equals以实现期望的行为。通常适合于value class的情形。改写equals也使得这个类的实例可以被用作map的key或者set的元素,并使map和set表现出预期的行为。
1.3 改写equals要遵守的通用约定(equals方法实现了等价关系):
1)自反性:x.equals(x)一定返回true2)对称性:x.equals(y)返回true当且仅当y.equals(x)
3)传递性:x.equals(y)且y.equals(z),则x.equals(z)为true
4)一致性:若x.equals(y)返回true,则不改变x,y时多次调用x.equals(y)都返回true
5)对于任意的非空引用值x,x.equals(null)一定返回false。
当重写完equals方法后,应该检查是否满足对称性、传递性、一致性。(自反性、null通常会自行满足)
下面是一个示例:
- public class Point {
- private final int x;
- private final int y;
- public Point(int x, int y) {
- this.x = x;
- this.y = y;
- }
- public boolean equals(Object o) {
- if(!(o instanceof Point))
- return false;
- Point p = (Point)o;
- return p.x == x && p.y == y;
- }
- //...
- }
- import java.awt.Color;
- public class ColorPoint extends Point {
- private final Color color;
- public ColorPoint(int x, int y, Color color) {
- super(x, y);
- this.color = color;
- }
- /* 不满足对称性 */
- public boolean equals(Object o) {
- if(!(o instanceof ColorPoint))
- return false;
- ColorPoint cp = (ColorPoint)o;
- return super.equals(o) && cp.color == color;
- }
- //...
- }
- import java.awt.Color;
- public class Test {
- public static void main(String arg[])
- {
- System.out.println("检验对称性:");
- Point p = new Point(1, 2);
- ColorPoint cp = new ColorPoint(1, 2, Color.RED);
- System.out.println(p.equals(cp));
- System.out.println(cp.equals(p));
- System.out.println("检验传递性:");
- ColorPoint p1 = new ColorPoint(1, 2, Color.RED);
- Point p2 = new Point(1, 2);
- ColorPoint p3 = new ColorPoint(1, 2, Color.BLUE);
- System.out.println(p1.equals(p2));
- System.out.println(p2.equals(p3));
- System.out.println(p1.equals(p3));
- }
- }
- 检验对称性:
- true
- false
- 检验传递性:
- false
- true
- false
- /* 满足对称性,但牺牲了传递性 */
- public boolean equals(Object o) {
- if(!(o instanceof Point))// 不是Point类型
- return false;
- if(!(o instanceof ColorPoint))// 是Point类型,但不是ColorPoint类型
- return o.equals(this);
- // 是ColorPoint类型
- ColorPoint cp = (ColorPoint)o;
- return super.equals(o) && cp.color == color;
- }
此时的执行输出为:
- 检验对称性:
- true
- true
- 检验传递性:
- true
- true
- false
复合优先于继承。遵照这条原则,这个问题可以有很好的解决方案,不再让ColorPoint继承Point,而是在ColorPoint类中加入一个私有的Point域,以及一个公有的view方法,此方法返回对应的Point对象。
- import java.awt.Color;
- public class ColorPoint {
- private Point point;
- private final Color color;
- public ColorPoint(int x, int y, Color color) {
- point = new Point(x, y);
- this.color = color;
- }
- // 返回ColorPoint的Point视图(view)
- public Point asPoint() {
- return point;
- }
- public boolean equals(Object o) {
- if(!(o instanceof ColorPoint))
- return false;
- ColorPoint cp = (ColorPoint)o;
- return cp.point.equals(point) && cp.color.equals(color);
- }
- // ...
- }
Java平台中有一些类是可实例化类(非抽象类)的子类,且加入了新属性。例如,java.sql.Timestamp继承自java.util.Date,并增加了nanoseconds域,Timestamp的equals违反了对称性,当Timestamp和Date用于集合中时可能出现问题。
注意,可以在一个抽象类的子类中增加新的属性,而不会违反equals约定。因为不可能创建父类的实例,也就不会出现上述问题。
2 不要将equals声明中的Object对象替换为其他类型
- public boolean equals(MyClass obj) {
- ...
- }
3 改写equals时同时改写hashCode
3.1 java.lang.Object的规范中,hashCode约定:
1)在一个应用程序执行期间,如果一个对象的equals方法2)相等对象(equals返回true)必须具有相等的散列码
3)不相等对象(equals返回false)调用hashCode方法,不要求必须产生不同的值;但是产生不同的值有可能提高散列表的性能。
若改写equals时,未同时改写hashCode方法,则可能导致不满足第二条。
3.2 改写hashCode的常用方法:
1)把某个非零常数值,如17,保存在一个叫result的int类型变量中;
2)对与对象中每个关键域f(equals方法中考虑的每一个域),完成以下步骤:
2.1)为该域计算int类型的散列码c:
2.1.1)若该域为boolean类型,计算(f?0:1);
2.1.2)若该域为byte、char、short、int类型,计算(int)f;
2.1.3)若该域为long,计算(int)(f ^ (f>>>32));
2.1.4)若该域为float,计算Float.floatToIntBits(f);
2.1.5)若该域为double,先计算Double.doubleToLongBits(f)得到一个long值,再按2.1.3对long值计算散列值;
2.1.6)若该域为一个对象引用,且该类的equals方法通过递归调用equals的方式比较这个域,则同样对这个域递归调用hashCode方法。
2.1.7)若该域为一个数组,则把每一个元素当做单独的域来处理。即对每个元素递归地应用上面6条,然后根据2.2的做法把这些散列值组合起来。
2.2)按照下面的公式,把步骤2.1中得到的散列码c组合到result中:
result = 37*result + c;
3)返回result。
4)考查重写后的hashCode方法是否满足“相等的实例具有相等的散列码”
参考资料:
《Effective Java》(2nd Edition) 第7条、第8条、第14条、第20条、第37条等
该书上貌似目前就推荐使用复合而不是继承,所以最终解决重写equals的传递性的方案是复合。如果各路大神有好的方式麻烦告诉我,在此谢谢了