软件构造第六章ADT知识点

1.用户可以自定义ADT也可以使用现有的ADT

2.把类型和操作分类

        数据类型分为可变类型和不可变类型

                可变类型：有可以改变其内部值得操作的类型

                不可变类型：操作不能改变内部值，而是构造新的对象

        操作方法可以分为4类：

                1>构造器        构造方法，静态方法

                2>生产器        从旧的类重创建新类

                3>观察器        观察类的内部属性

                4>变值器        改变对象的属性

3.设计ADT

        1.设计简洁，行为连贯

        2.满足用户所有需要，用户使用难度低

        3.要么针对抽象，要么针对具体

        4.Representation Independence 表示独立性

                外部使用与内部实现无关，中间通过spec进行联系

4.test ADT

        测试方法：

                测试构造器/产生器/变值器时，通过观察器来观察

                测试观察器时，通过构造器/产生器/变值器来改变对象再使用观察器观察

        风险：如果被依赖的其他方法有错误，可能导致被测试方法的测试结果失效

5.Invariants 保持不变量

        ADT保持有它自己的不变量，与用户端的任何行为无关

        优点：保持程序的正确性，容易发现错误

        1.用private和final修饰

                private说明可用范围再类的内部

                final保证不变量类型不会在构造后被重新设计

        2.defensive copying

                针对可变类型数据，采用防御式拷贝。

        3.尽量使用immutable类型数据

6.Abstrction Function 抽象函数

        在程序中通过注释形式写明抽象函数，抽象函数一定是满射

7.Rep Invariant 表示不变性

        可以通过以下三点理解：

                1>某个具体表示是否是合法的

                2>所有表示值的一个子集，包含了所有合法的表示值

                3>一个条件。描述了什么是合法数值

8.Benefient mutation 有益的可变性

        对应的A集合不变，但改变R集合的内部表示

9.用不变量取代预处理

        用ADT的不变量取代复杂的预处理