为什么在添加到HashSet和hashCode匹配项时未调用equals（）？

Question

当我运行此代码时，为什么我的实现对两个条目都生成相同的代码，为什么不只hashCode()调用equals方法呢？hashCode()``hashCode``HashSet

import java.util.HashSet;

public class Test1 {
    public static void main(String[] args) {
        Student st=new Student(89);
        HashSet st1=new HashSet();
        st1.add(st);
        st1.add(st);
        System.out.println("Ho size="+st1.size());
    }
}
class Student{
    private int name;
    private int ID;
    public Student(int iD) {
        super();
        this.ID = iD;
    }
    @Override
    public int hashCode() {
        System.out.println("Hello-hashcode");
        return ID;
    }
    @Override
    public boolean equals(Object obj) {
        System.out.println("Hello-equals");
        if(obj instanceof Student){
            if(this.ID==((Student)obj).ID){
                return true;
            }
            else{
                return false;
            }
        }
        return false;  
    }
}

输出为：

Hello-hashcode
Hello-hashcode
Ho size=1

Answer 1

哈希集首先检查引用相等性，如果通过，则跳过该.equals调用。这是一个优化和工作，因为合同equals，如果指定a == b然后a.equals(b)。

我在下面附加了源代码，并突出显示了此检查。

相反，如果添加两个不相同引用的相等元素，则会获得预期的效果：

    HashSet st1=new HashSet();
    st1.add(new Student(89));
    st1.add(new Student(89));
    System.out.println("Ho size="+st1.size());

结果是

$ java Test1
Hello-hashcode
Hello-hashcode
Hello-equals
Ho size=1

这是来自OpenJDK 7的源代码，其中指明了相等性优化（来自HashMap的基础实现HashMap）：

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;
//                                         v-- HERE
        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;
}