Java 中的 hashcode一

最新推荐文章于 2021-11-26 20:17:10 发布

素手亦锋

最新推荐文章于 2021-11-26 20:17:10 发布

阅读量216

点赞数

分类专栏： JAVA

JAVA 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

哈希表这个数据结构我们都很清楚，而且在很多地方都会利用hash表来提高查询效率。在Java的Object类中有一个方法：

public native int hashCode();

根据这个方法的声明可知：该方法返回一个int 类型的值，并且是本地方法。

为什么在Object中会有这样一个方法，他有什么作用？

一、hashcode方法的作用

对于包含容器类型的程序设计语言，基本上都会涉及到hashCode。在Java中也一样，hashCode方法的作用是为了配合基于散列的集合一起正常运行，这样的散列集合包括HashSet、HashMap和Hashtable。

为什么这么说？考虑一种情况，当向集合中插入对象的时候，如何判断在集合中是否已经存在该对象？（注意：集合中不允许存在重复的元素）

也许大多数人都会想到调用 equals 方法类逐个去比较，这个方法确实可行。但是如果集合中已经存在一万条数据或者更多的数据，如果采用equals 方法去逐一比较，效率必然

是一个问题。此时hashCode方法的作用就体现出来了，当集合要添加新对象的时候，先调用这个对象的hashCode方法，得到对应的hashCode值，实际上在HashMap的具体实现

中会用一个table保存已经存进去的对象的hashCode值，如果table中没有该hashCode值，他就可以直接存进去，不用再进行任何比较了；如果存在该hashCode值，就调用他的

equals方法与新元素进行比较，相同的话就不存了，不同就散列其他的地址，所以这里存在一个冲突解决的办法，这样一来实际调用equals方法的次数就大大降低了，说通俗点：

Java中的hashCode方法就是根据一定的规则将与对象相关的信息（比如对象存储的地址，对象的字段等）映射成一个值，这个数值称为散列值。

下面这段代码就是Java.util.HashMap的put方法的具体实现：

public V put(K paramK, V paramV)
  {
    if (paramK == null) {
      return putForNullKey(paramV);
    }
    int i = hash(paramK);
    int j = indexFor(i, this.table.length);
    for (Entry localEntry = this.table[j]; localEntry != null; localEntry = localEntry.next)
    {
      Object localObject1;
      if ((localEntry.hash == i) && (((localObject1 = localEntry.key) == paramK) || (paramK.equals(localObject1))))
      {
        Object localObject2 = localEntry.value;
        localEntry.value = paramV;
        localEntry.recordAccess(this);
        return localObject2;
      }
    }
    this.modCount += 1;
    addEntry(i, paramK, paramV, j);
    return null;
  }

put方法是用来向HashMap中添加新元素的，从put方法的具体实现可知：会先调用hashCode方法得到该元素的hashCode值，然后查看table中是否有该hashCode值，如果

存在则调用equals方法重新确定是否存在该元素，如果存在，则更新value，否则将新的元素添加到HashMap中。从这里可以看出，hashCode方法的存在是为了减少equals

方法的调用次数，从而提高效率。

有些朋友误以为默认情况下，hashCode返回的就是对象的存储地址，事实上这种看法是不全面的，确实有些JVM在实现是直接返回对象的存储地址，但大多数并不是这样，

只能说可能与存储地址有一定关联、下面是HotSpot JVM中生成hash散列值的实现：

static inline intptr_t get_next_hash(Thread * Self, oop obj) {
  intptr_t value = 0 ;
  if (hashCode == 0) {
     // This form uses an unguarded global Park-Miller RNG,
     // so it's possible for two threads to race and generate the same RNG.
     // On MP system we'll have lots of RW access to a global, so the
     // mechanism induces lots of coherency traffic.
     value = os::random() ;
  } else
  if (hashCode == 1) {
     // This variation has the property of being stable (idempotent)
     // between STW operations.  This can be useful in some of the 1-0
     // synchronization schemes.
     intptr_t addrBits = intptr_t(obj) >> 3 ;
     value = addrBits ^ (addrBits >> 5) ^ GVars.stwRandom ;
  } else
  if (hashCode == 2) {
     value = 1 ;            // for sensitivity testing
  } else
  if (hashCode == 3) {
     value = ++GVars.hcSequence ;
  } else
  if (hashCode == 4) {
     value = intptr_t(obj) ;
  } else {
     // Marsaglia's xor-shift scheme with thread-specific state
     // This is probably the best overall implementation -- we'll
     // likely make this the default in future releases.
     unsigned t = Self->_hashStateX ;
     t ^= (t << 11) ;
     Self->_hashStateX = Self->_hashStateY ;
     Self->_hashStateY = Self->_hashStateZ ;
     Self->_hashStateZ = Self->_hashStateW ;
     unsigned v = Self->_hashStateW ;
     v = (v ^ (v >> 19)) ^ (t ^ (t >> 8)) ;
     Self->_hashStateW = v ;
     value = v ;
  }

  value &= markOopDesc::hash_mask;
  if (value == 0) value = 0xBAD ;
  assert (value != markOopDesc::no_hash, "invariant") ;
  TEVENT (hashCode: GENERATE) ;
  return value;
}

该实现位于 hotspot\src\share\vm\runtime\synchronizer.cpp文件下。

因此有人会说，可以直接根据hashCode值判断俩个对象相等吗？肯定不可以。因为不同的对象可能会生成相同的hashCode值。虽然不能根据hashCode值判断俩个对象是否

相等，但是可以直接根据hashCode值判断俩个对象不等，如果俩个对象的hashCode值不等，则必定是俩个不同对象，如果要判断俩个对象是否相等，必须通过equals 方法。

也就是说，如果俩个对象调用equals方法得到的结果为true，则俩个对象的hashCode值必定相等；

如果equals 方法得到的结果为false，则俩个对象的hashCode值不一定相等；

如果俩个对象的hashCode值不等，则equals 方法得到的结果必定为false；

如果俩个对象的hashCode值相等；则equals 方法得到的结果未知。

未完。。。。