软件构造（八） ADT和OOP中的“等价性”

1.等价关系

等价关系：自反、对称、传递

而在程序中，对于像==和equal这样的方法，等价E相当于一对（x，y），对于这样的对，运算返回true

对于==，这些属性也可以写成：

• 自反：t = = t，∀T∈T
• 对称：t = = u ⇒ u = = t
• 可传递：t = = u ∧ u = = v ⇒ t = = v

对于equal也类似

2.等价的三种方式

2.1 ADT中的等价操作

ADT是对一组数据的操作，而抽象函数（AF）的选择则决定了我们如何编写ADT的操作，因此我们要基于AF去定义ADT的等价操作

2.2 用AF定义等价

抽象函数AF:R→ A将数据类型的具体实例映射到相应的抽象值

我们可以这么来定义等价，对于a和b，当且仅当AF（a）=AF（b）时，a与b等价

关系将集合划分，因此AF将每个元素映射到它的划分类，因此由抽象函数导出的关系是等价关系

2.3 用观察来定义等价

很简单，站在观察者的角度来看，对两个对象执行完全相同的操作，如果得到的两个对象相同，则意味着等价