更改集合中的元素会更改“等于”语义

Question

想象一下，我们有这段代码。

public class HashAddAfter {
    private class A {
        public int value;
        public A(int value) {
            this.value = value;
        }
        public void setValue(int value) {
            this.value = value;
        }
        // Code for hashCode()...
        // Code for equals()...
    }

    Set<A> list1 = new HashSet<A>();
    Set<A> list2 = new HashSet<A>();

    public static void main(String[] args) {
        HashAddAfter x = new HashAddAfter();

        A e1 = x.new A(1);
        A e2 = x.new A(1);

        x.list1.add(e1);
        x.list2.add(e2);

        System.out.println(x.list1.equals(x.list2));   // true

        e1.setValue(4);
        e2.setValue(4);

        System.out.println(x.list1.equals(x.list2));   // false
    }
}

由于空间限制，我没有将hashCode（）和equals（）的代码放入其中，但这是从Eclipse生成的代码。

问题在于，在更改两个集合中的元素之前，这两个集合是相等的。更改它们的值（每个值都相同）后，尽管e1.hashCode（）==
e2.hashCode（）和e1.equals（e2），但这些集合不再相等。

我猜想在比较两个HashSet时，Java使用元素的原始hashCode（在插入时是一个）。因此，在插入后更改元素会更改其原始hashCode，因此contains（）将返回false。

我认为这是一种非常不直观的行为。

你怎么看？

Answer 1

这正是预期的行为。有一个没有可能的方式Set实施，要知道，hashCode一个元素的改变了，所以没有什么可以做，以抵御这种可能性。

从Set
Javadoc：

注意：如果将可变对象用作集合元素，则必须格外小心。如果对象的值以影响相等比较的方式更改，而对象是集合中的元素，则不指定集合的​​行为。此禁止的一种特殊情况是，不允许集合将自身包含为元素。