为什么HashMap.put比较哈希和测试相等性？

Question

我分析了Java中的HashMap源代码，并得到一个关于put方法的问题。

下面是JDK1.6中的put方法：

public V put(K key, V value) {
    if (key == null)
        return putForNullKey(value);
    int hash = hash(key.hashCode());
    int i = indexFor(hash, table.length);
    for (Entry<K,V> e = table[i]; e != null; e = e.next) {
        Object k;
        if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
            V oldValue = e.value;
            e.value = value;
            e.recordAccess(this);
            return oldValue;
        }
    }

    modCount++;
    addEntry(hash, key, value, i);
    return null;
}

我对if（e.hash==hash）的感到困惑

为什么情况是这样？

因为在Java超类对象中，有一个hashCode和等于的契约：

如果根据equals（Object）方法两个对象相等，那么对两个对象中的每一个调用hashCode方法必须产生相同的整数结果。

因此，键。等于（k）表示键。hashCode（）==k.hashCode（）。

hash（）如下所示：

 static int hash(int h) {
    // This function ensures that hashCodes that differ only by
    // constant multiples at each bit position have a bounded
    // number of collisions (approximately 8 at default load factor).
    h ^= (h >>> 20) ^ (h >>> 12);
    return h ^ (h >>> 7) ^ (h >>> 4);
}

因此，键。hashCode（）==k.hashCode（）意味着e.hash==hash。

那么为什么条件不是if（（k=e.key）==key | | key。等于（k））？




Answer 1

“hash”变量的值可以与键hashcode不同。”hash变量是调用hash（key.hashCode（））方法的结果。因此，需要比较散列值和键的相等性。

Answer 2

它只是尽可能避免方法调用：如果哈希（不是hashCode（），它是映射自己的哈希）不同于条目的哈希，它知道它根本不需要调用equals。只是优化了一点。

Answer 3

这只是一种优化：比较两个整数比调用equals（）要快。

如果两个hashCode不同，那么基于equals和hashCode的约定，映射知道现有密钥不等于给定密钥，可以更快地转到下一个密钥。