2021软件构造笔记四

Posted 2022-01-31 before16

表示独立性

client使用ADT时无需考虑内部如何实现，ADT内部表示的变化不应影响外部spec与client

除非ADT的操作指明了具体的pre-condition和post-condition，否则不能改变ADT的内部

表示，因为spec规定了client和和implementer之间的契约。

不变量（invariants）：

（1） 含义：保持不变量，是一个好的ADT的重要属性

不变量：在任何时候总是true

-Immutability是一个至关重要的不变量：一但不可变对象被创造，

其在整个生命周期中，总是表现出相同的价值。

-由ADT来负责其不变量，而与client端的任何行为无关

（2） 为什么需要不变量？

为保持程序的“正确性”，容易发生错误。

例如：如果String没有不可变这一不变量，那么在所有使用String的地方，

都要检查其是否改变了

（3） 表示泄露：
fields用private 和final修饰
防御性拷贝

表示不变量（Rep invariant）和抽象函数（Abstraction function）

（1） 表示空间R：实际实现中内部表示的值

一般情况下ADT的表示比较简单，有些时候需要复杂表示，

抽象空间A：client看到和使用的值

ADT实现者关注R，而用户关注A

因此，我们在R和A可建立一个映射：

这种映射一定是满射（surjective），而不一定是单射（not injective）

（2） 抽象函数：即R和A之间映射关系的函数

（3） 在表示的过程中，就出现了表示不变性RI：

即某个具体的“表示”是否是“合法的”

也可将RI看作：所有表示值的一个子集，包含了所有合法的表示值

也可将RI看作：一个条件，描述了什么是“合法”的表示值

checkRep()