设计ADT时是否重写hashcode和equals的准则

对于不可变类型：
–equals（）应比较抽象值。这与说equals（）应该提供行为平等。
–hashcode（）应将抽象值映射为integer。
–因此不可变类型必须重写equals（）和hashcode（）。
对于可变类型：
–equals（）应该比较引用，就像==。同样，这与说equals（）应该提供行为平等。
–hashcode（）应将引用映射为integer。
–所以可变类型不应该重写equals（）和hashcode（），应该只使用Object提供的默认实现。

不幸的是，Java并没有遵循这个规则，导致了一些陷阱。

举个例子：
假设我们做一个list，然后将其放到set：

▪ 我们可以检查set包含我们的list中，如下：

但是，我们现在对list做一些操作，它就不会出现在集合！


但实际上set中确实记录着这个list，只是contains函数不能识别它。因为contains函数使用hashcode和equals进行判断，但是list的这两个函数根据实例内部的数据而不是实例的地址进行判断。这就导致了错误。
很多容器都有这个问题，大家可以自己试试。

得出结论：如果使用可变对象作为容器的内容，一定要小心。如果一个对象的值以影响equals比较而对象在该容器中的行为没有被指定，那么对象值的变化会对比较产生影响。