为什么 Java HashSet.equals() 不检查对象相等性？

Question

我今天早上遇到了这种现象，Set 中的 equals 方法不会检查元素的值相等性，而 List 会。这不符合 java doc。

Set<MyClass> s1 = new HashSet<>();
Set<MyClass> s2 = new HashSet<>();
Set<MyClass> s3 = new HashSet<>();
Set<MyClass> s4 = new HashSet<>();
List<MyClass> l1 = new ArrayList<>();
List<MyClass> l2 = new ArrayList<>();

MyClass o1 = new MyClass();
MyClass o2 = new MyClass();

// **this gives false, and does not call MyClass.equals().**
s1.add(o1);
s2.add(o2);
boolean setCompareWithDifferentObjects = s1.equals(s2);

// this gives true, and also does not call MyClass.equals().
s3.add(o1);
s4.add(o1);
boolean setCompareWithSaveObjects = s3.equals(s4);

// this give true, and MyClass.equals() is called.
l1.add(o1);
l2.add(o2);
boolean listCompare = l1.equals(l2)

我做了一些研究。根据这个 Java doc for Set、HashSet equals、HashSet containsAll、HashSet contains，它将使用 (o==null ? e==null : o.equals(e)) 来检查元素是否相等。那么为什么会这样呢？谁能给我一些提示？

谢谢！

---------这个问题的答案可以在这里找到-----------

What issues should be considered when overriding equals and hashCode in Java?

我覆盖了 equals() 但没有覆盖 hashCode()...

顺便说一句，即使 hashCode() 没有被覆盖，相同的集合比较也可以在 groovy 中使用。

Answer 1

HashSet 包含许多可以解释所有这些的优化：首先，如果两个对象按其哈希码放入不同的桶中，或者如果它们完全具有不同的哈希码，它们可能会跳过equals称呼。这是Object.hashCode的合约允许的；如果两个对象具有不同的哈希码，则不允许它们相互.equals。

对于另一种情况，HashSet 利用.equals 的约定，该约定指定如果两个对象彼此为==，则它们必须彼此为.equals。 HashSet 的部分实现在这里检查元素是否为==，如果是，则跳过调用.equals。

如果每个方法都正确地实现了它的契约，这不会改变语义； HashSet 的行为总是与调用 .equals 完全相同。