HIT软件构造复习（3）

#等价性

#等价关系：自反，对称，传递

#AF(a)=AF（b），如果AF映射到同样的结果，则等价

#对基本数据类型，使用==判定相等

#对对象类型，使用equals（），如果用==，是在判断两个对象身份标识ID是偶像等（指向内存里的同一段空间）

#instanceof，判断某个对象是不是特定类型（或其子类型），动态类型检查，不是静态类型检查，除了用于实现equals方法，尽可能避免使用instanceof和getClass。

#等价的对象必须有相同的hashCode

#观察等价性：在不改变状态下，两个mutable对象是否看起来一致

#行为等价性：调用对象的任何方法都展示出一致的结果