java - 从 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 都将始终返回 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 且不等于自身的对象时如何检索 -99，但稍后使用相同类型的实例获取 null，该实例也不等于我在 Map 中拥有的实例并且也具有哈希码-1？

Answer 1

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

查看Node<K,V> getNode(int hash, Object key) V get(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() 的规则契约(Contract)是这样写的 必须是自反的:

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

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

从类违反 equals() 的那一刻起契约(Contract)，您不能保证操纵有缺陷类的实例的类将具有预期的行为。