Java中hashCode()与equals()的相关规定

API文件有对对象的状态制定出必须遵循的规则。hashCode()和equals()是object中定义的两个方法，它们都与对象的相等性有关。

通常情况下我们需要同时使用这两个方法来判断两个对象是否相等，只有两个对象的equals()方法返回true，并且它们的hashCode返回值相等，那么可以认为这两个对象相等。

hashCode()方法规定：

• 如果两个对象相等，则hashCode必须是相等的。
• 如果两个对象有相同的hashCode值，它们也不一定是相等的。

equals()方法规定，对于任何非null的引用值：

• 自反性：a.equals(a)必须返回true。
• 对称性：当前仅当a.equals(b)返回true时，b.equals(a)必须返回true。
• 传递性：如果a.equals(b)返回true，并且b.equals(c)也返回true，那么a.equals(c)也必须返回true。
• 一致性：只要equals()方法中所用到的信息没有被修改，多次调用a.equals(b)就会一致的返回true或false。
• a.equals(null)必须返回false。

因此，若equals()被覆盖过，则hashCode()也必须被覆盖：

• hashCode()的默认行为是对heap上的对象产生独特的值。如果没有override过hashCode()，则该class的两个对象怎么都不会被认为是相同的。
• equals()的默认行为是执行==比较，也就是回去测试两个引用是否对上heap上的同一个对象。如果没有override过equals()，两个对象永远都不会被认为是相同的，因为不同的对象有不同的字节组合。

总结：

• 两个对象相等，a.equals(b)必须与a.hashCode() == b.hashCode()等值。
• 两个对象hashCode相等也不一定相等，a.hashCode() == b.hashCode()不一定要与a.equals(b)等值。