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

也许不是最好的标题,请随时编辑它.

这是我的代码..

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 foos = new HashMap();
        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;
    }
}

所以在进一步阅读之前你能猜出下面两个语句的输出是什么吗？

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

我希望看到:

null
null

因为即使hashCodes匹配,任何实例的equals Foo总是会返回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？

1> davidxxx..：

---

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

查看 Node getNode(int hash, Object key)方法调用的V get(Object key)方法:

final Node getNode(int hash, Object key) {
    Node[] tab; Node 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)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;
    }    
   ...
}

对于任何非空引用值x,x.equals(x)应返回true.

从类违反equals()合同的那一刻起,您无法保证操纵有缺陷类的实例的类将具有预期的行为.

---

可能值得一提的是,OP看到意外行为的原因是他的`equals`实现违反了[Object.equals]的合同(https://docs.oracle.com/javase/8/docs/api/java/ lang/Object.html#equals-java.lang.Object-)不反身.