编译器或JVM是否强制执行hashCode/equals契约？

Question

我在HashMap中存储的对象作为键覆盖equals（），但不是hashCode（）；当我在映射中放置一个对象时，equals（）方法没有被调用。如果我还重写hashCode（），则会调用equals（）方法。为什么？

为什么我不能使用自定义的equals方法来阻止向映射中添加对象，而不管我是否重写hashCode（）？

谢谢

package package1;

public class PlayWithHash {

    public static void main(String [] args){
        java.util.Map<Cat, Cat> map = new java.util.HashMap<Cat, Cat>();
        map.put(new Cat(), new Cat());
        map.put(new Cat(), new Cat());
        System.out.println("hashmap size = " + map.size());
    }
}

class Cat{
    @Override
    public int hashCode(){
        return 1;
    }
    @Override
    public boolean equals(Object d){
        Cat c = (Cat) d;
        if(this.hashCode() == c.hashCode()){
            return true;
        }
        return false;
    }
}

如果注释了hashCode（），则大小为2，否则大小为1。

我在想，如果我不重写hashCode（），而是使用对象的hashCode（），HashMap将“看到”我的两个对象的hashCode是不同的，并得出结论，没有必要调用equals（）。如果这是真的，HashMap至少是合同的一部分。这可能是HashMap优化的另一种表现形式。

但是，您（greenSocksRock）写道，“……密钥的hashCode（）实现没有为不同的密钥返回足够不同的哈希值。”请详细说明一下好吗？

谢谢

PS抱歉，我仍在试图找到解决StackOverflow编辑问题的方法。

Answer 1

hashmap在内部实现为链接列表的集合。搜索对象（使用传递的键）的常用机制是首先对键进行散列，然后遍历链表中与散列值对应的各个对象。

根据相同的逻辑，对于HashMap中的对象，只有当hashCode（）方法为两个对象返回相同的哈希值时，才会调用equals（）方法。

因此，在实现自定义类时，建议不仅覆盖equals（）方法，还覆盖hashCode（）方法。

Answer 2

恐怕编者没有强制执行。为了更好地理解这个话题，请阅读本文http://tutorials.jenkov.com/java-collections/hashcode-equals.html

Answer 3

编译器和JVM都不执行hashCode/equals契约。合同是在对象和你的类之间签订的，也就是说，你有责任遵守并执行该合同！

在Java中，对象类列出了的契约。等于（）和。hashCode（），这是大多数基于哈希的标准库类所依赖的。现在，如果您实现自己的类，它会隐式地扩展对象，因此，如果您希望自己的类与依赖该契约的其他类正确工作，您应该在自己的实现中强制执行通用契约。

作为提醒，从对象文档中：

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

在没有看到您的实现的情况下，我只能猜测为什么在您将对象放入Map时调用equals（），我的猜测是您的键的hashCode（）实现没有为不同的键返回足够不同的哈希值。
例如，当您将某些东西放入HashMap时，它会调用key的hashCode（）方法，以找到一个位置来存储您的值。如果该位置已经包含一个值，则可能会调用key的equals（）方法来确定下一步要做什么。

我不确定我是否理解你在最后一个问题中试图做什么，当你说你想“阻止向地图添加对象”时。如果您愿意的话，您肯定可以使用自定义的equals实现来实现这一点。看看地图。containsKey（）或映射。containsValue（），根据您的情况，在将新条目放入地图之前。

最后，如果可以的话，我建议大家看看Joshua Bloch的《有效Java，第二版》中的第8项和第9项，以获得更深入的解释。