Effective java笔记(二),所有对象的通用方法

Object类的所有非final方法(equals、hashCode、toString、clone、finalize)都要遵守通用约定(general contract),否则其它依赖于这些约定的类(HashMap,HashSet等)将不能正常工作。

8、覆盖equals时请遵守通用约定

无需覆盖equals的情形:

  • 类的每个实例本质上是唯一的。类代表的是活动实体而不是值的概念。(例如,类Thread
  • 不关心类“逻辑相等”的功能,从Object继承的equals实现已经足够。(例如,类Random
  • 超类的equals实现也适用于子类。(例如,ListAbstractList继承equals实现)
  • 类是private或包级私有(默认)的,可以确定它的equals方法永远不会被调用。
  • “每个值最多有一个实例”的类,逻辑相同与对象相同一样。(例如,枚举类,Singleton类)

需要覆盖equals的情形:

  • 类具有“逻辑相等”的概念,而且超类没有覆盖equals方法。

覆盖equals时必须遵守的约定:

  • 自反性,x非空时,x.equals(x)返回true
  • 对称性,x, y非空时,若x.equals(y)返回true,则y.equals(x)返回true
  • 传递性,x, y, z非空时,若x.equals(y)返回truey.equals(z)返回true,则x.equals(z)返回true
  • 一致性,x, y非空时,多次调用x.equals(y)返回值一致
  • x非空时,x.equals(null)一定返回false

违反约定的例子:

在java类库中,java.sql.Timestamp继承自java.util.Date,并增加了nanoseconds域。但Timestampequals实现违反了对称性(date.equals(timestamp) != timestamp.equals(date)),如果TimestampDate对象被混合在一起使用,将引起不正确的行为。

Effective java笔记(二),所有对象的通用方法_第1张图片
Date的继承结构

equals实现代码:

    
    //Date中equals实现
    public boolean equals(Object obj) {
        return obj instanceof Date && getTime() == ((Date) obj).getTime();
    }

    //Timestamp中equals实现
    /* 
     * Note: This method is not symmetric with respect to the
     * equals(Object) method in the base class.
     */
    public boolean equals(java.lang.Object ts) {
      if (ts instanceof Timestamp) {
        return this.equals((Timestamp)ts);
      } else {
        return false;
      }
    }

注:在equals实现中,对于obj instanceof Date语句,若obj为null,其将返回false。因此把null传个equals方法,无需进行单独的类型检查(判断obj是否为null)。

若将上面Timestampequals代码改为如下形式:

    //Timestamp改进的equals实现
    public boolean equals(java.lang.Object ts) {
      if (ts instanceof Timestamp) {
        return this.equals((Timestamp)ts);
      } else if (ts instanceof Date){
        return ((Date)ts).equals(this);
      } else {
        return false;
      }
    }

这样确实保证了对称性,但却牺牲了Timestamp类的特征。

Timestamp是Date 类的瘦包装器 (thin wrapper),它允许 JDBC API 将该类标识为 SQL TIMESTAMP 值。它添加保存 SQL TIMESTAMP 毫微秒值和提供支持时间戳值的 JDBC 转义语法的格式化和解析操作的能力。

实现equals方法的诀窍:

  • 使用 == 检查“参数是否为这个对象的引用”,特别是比较操作比较昂贵时。

  • 使用instanceof操作符检查“参数是否为正确的类型”,若不是返回false

  • 检查参数中的域是否与对象中的对应域相匹配

  • 编写完equals方法后检查对称性、传递性、一致性

注意:

  • 覆盖equals时总要覆盖hashCode

  • 不要将equals中的Object替换为其他类型,使用@Override public boolean equals(Object o),参数类型为Object,否则将重载equals方法

9、覆盖equals时总要覆盖hashCode

每个覆盖了equals方法的类中,必须覆盖hashCode方法,否则该类无法用于基于散列表的集合(HashMap,HashSet和HashTable)

对hashCode的约定:

  • 对同一个对象调用多次(用于比较操作的信息未被修改),hashCode返回同一个整数

  • equals比较相等,则hashCode返回的值必须相同

  • equals比较不相等,hashCode返回的值可能相同,也可能不同

相等的对象必须具有相等的hashCode值;hashCode值不同,对象一定不相等,为不相等的对象产生不相等的散列码可以提高散列表的性能。散列函数应该把不相等的实例均匀分配到所有可能的散列值上。

一种计算散列码的方式:

1、保存一个非零的常数值,result = 17

2、为对象中每个域f(equals方法中涉及的域)计算int型的散列码c

  • 域为boolean类型,c = f ? 1 : 0
  • 域为byte,char,short或int类型,c = (int) f
  • 域为long类型,c = (int)(f^(f >>> 32))
  • 域为float类型,c = Float.floatToIntBits(f)
  • 域为double类型,f = Double.doubleToLongBits(f); c = (int)(f^(f >>> 32))
  • 域为一个对象的引用,c = f.hashCode()
  • 域为数组,利用此方法递归计算数组的hashCode值

3、将所有的散列码合并到result,递归调用result = result * 31 + c

例如:


    @Override
    public int hashCode() {
        int result = 17;
        result = 31 * result + fa;
        result = 31 * result + fb;
        result = 31 * result + fc;
        return result;
    }

使用31的原因:

31是一个奇素数并且31可以使用移位和减法来代替乘法以提高性能,如:31 * i == (i << 5) - i。现代的JVM能够自动完成这种优化

对于不可变类,若每次计算hashCode的开销比较大,可将散列码缓存在对象内部,而不是每次请求时都重新计算散列码。如:

    
    private volatile int hashCode = 0; //volatile

    @Override
    public int hashCode() {
        if (hashCode != 0) {
            return hashCode;
        }
        int result = 17;
        result = 31 * result + fa;
        result = 31 * result + fb;
        result = 31 * result + fc;
        hashCode = result;
        return result;
    }

10、始终要覆盖toString

toString的约定,建议所有的类都实现toString方法。toString实现可以使类用起来更加舒服,有利于调试时信息的诊断。

如果对象太大或信息难以用字符串描述,应该返回一个摘要信息。在文档中标明toString的返回格式。

11、谨慎的覆盖clone

一个类实现了Cloneable接口,表名这个类允许被克隆。Cloneable接口是个空接口,仅仅用来标识这个类可以被复制,具体实现将由JVM调用Object中的原生方法clone()完成。所以一个类要能够复制必须实现Cloneable接口并重写clone()方法。

关于clone方法的实现参见博客java中clone方法的实现

12、考虑实现Comparable接口

实现了Comparable接口的类,表明它的实例具有内在的排序关系,可以使用Arrays.sort(comp)方法对其数组进行排序。一旦类实现了Comparable接口,它就可以与许多泛型算法及依赖于该接口的集合实现进行协作。若编写的类是有非常明显的内在排序关系,那么就应该实现Comparable接口。实现Comparable接口必须重写compareTo方法。

依赖于比较关系(compareTo方法)的类包括有序集合类TreeSet和TreeMap,以及工具类Collection和Arrays,它们内部包含有搜索和排序算法。

compareTo方法的约定:

  • 该对象小于、等于、大于指定对象时,分别返回负整数、零、正整数。若两对象不同,则抛出ClassCastException异常
  • x.compareTo(y) == 0x.equals(y)建议保持一致。

你可能感兴趣的:(Effective java笔记(二),所有对象的通用方法)