从 Map 中找到的值与相同的哈希码和等于不一致

Question

可能不是最好的标题，欢迎修改。

这是我的代码..

import java.util.Map;
import java.util.HashMap;

public class App {
    public static void main(String[] args) {
        final Foo foo = new Foo();
        final Foo bar = new Foo();

        System.out.println("foo equals foo: " + foo.equals(foo));
        System.out.println("foo equals bar: " + foo.equals(bar));

        System.out.println("foo hashcode: " + foo.hashCode());
        System.out.println("bar hashcode: " + bar.hashCode());

        final Map<Foo, Integer> foos = new HashMap<Foo, Integer>();
        foos.put(foo, -99);

        System.out.println("foos.getfoo: " + foos.get(foo));
        System.out.println("foos.getbar: " + foos.get(bar));
    }    
}

class Foo {
    @Override
    public boolean equals(Object o) {
        return false;
    }

    @Override
    public int hashCode() {
        return -1;
    }
}

所以在进一步阅读之前，您能猜出以下 2 条语句的输出是什么吗？

System.out.println("foos.getfoo: " + foos.get(foo));
System.out.println("foos.getbar: " + foos.get(bar));

我希望看到：

null
null

因为即使 hashCodes 匹配，Foo 的任何实例的 equals 总是 return false，所以使用 Foo 的实例作为 Map 中的键不应该完全有用..

然而输出是：

:~ $ javac App.java
:~ $ java App
foo equals foo: false
foo equals bar: false
foo hashcode: -1
bar hashcode: -1
foos.getfoo: -99
foos.getbar: null

我错过了什么？当我使用具有哈希码 -1 且不等于自身的 object 时如何检索 -99，但随后使用相同类型的实例获取 null，该实例也不等于我在 Map 中拥有的实例还有哈希码 -1?

Answer 1

因为 HashMap 的 get() 方法被优化为在查找之前先检查对象引用是否相等 equals() :

查看被V get(Object key)方法调用的Node<K,V> getNode(int hash, Object key)方法：

final Node<K,V> getNode(int hash, Object key) {
    Node<K,V>[] tab; Node<K,V> first, e; int n; K k;
    if ((tab = table) != null && (n = tab.length) > 0 &&
        (first = tab[(n - 1) & hash]) != null) {
        if (first.hash == hash && // always check first node
            ((k = first.key) == key || (key != null && key.equals(k))))
            return first;
        if ((e = first.next) != null) {
            if (first instanceof TreeNode)
                return ((TreeNode<K,V>)first).getTreeNode(hash, key);
            do {
                if (e.hash == hash &&
                    ((k = e.key) == key || (key != null && key.equals(k))))
                    return e;
            } while ((e = e.next) != null);
        }
    }
    return null;
}

这个：

(k = first.key) == key

和

(k = e.key) == key

参考这个优化。

此外，在这里，您违反了 equals() 合同的规定必须是自反的：

class Foo {
    @Override
    public boolean equals(Object o) {
        return false;
    }    
   ...
}

for any non-null reference value x, x.equals(x) should return true.

从 class 违反 equals() 合同的那一刻起，您无法保证操纵有缺陷的 class 实例的 classes 将拥有预期的行为。

从 Map 中找到的值与相同的哈希码和等于不一致

Value found from Map not consistent with identical hashcodes and equals

java

collections

dictionary

hashmap

hashcode