3.5 Equality in ADT and OOP

一、ADT的等价性主要通过三种方式定义： 1.AF: R → A某数据结构所映射的抽象值相同， 即 AF(a)=AF(b) 2.a与b等价，倘若a与b在同一个等价类中（a与b满足某自反，对称，传递关系） 3.从观察角度对两个对象的任何操作都会得到相同结果。 二、== 与. equals()区别 比较的是内存地址； equals()比较的是对象的内容 tips:在没有被override 的equal

>>阅读原文<<