软件构造笔记 3.5 Equality in ADT and OOP

等价关系：自反、对称、传递 f(a)=f(b).AF映射到同样的结果，也是等价的。 站在外部观察者的角度，也能判断等价性。 ”==“和”equals()“ ”==“比较两个对象是否指向相同的储存，就快照图来说，两个对象指向相同的应用。”equals“比较的是对象的内容。在自定义ADT，需要重写equals()。所以对于基本类型，使用”==“判断相等，对对象类型，使用”equals“。 当您重写eq

>>阅读原文<<