HIT软构第六章ADT知识总结

HIT软构第七章知识总结

1. 抽象和用户定义的类型
   1. 操作本身定义数据类型
      1. 
2. 对类型和操作进行分类
   1. 类型分类：可变与不可变：根本区别：方法内部有没有提供直接修改类的属性的方法
      1. 一种类型会同时以可变和不可变的形式给出。
   2. 操作分类
      1. 构造器
      2. 生产器
      3. 观察器
      4. 变值器：通常返回void
      5. 
3. 抽象数据类型实例
   1. Int,string：immutable；list：mutable
4. 设计ADT
   1. 设计简洁，操作一致：不应该有太多特例
   2. 支持用户所需的所有需求，且操作难度较低
5. RI（表征独立性）
   1. 使用与它的具体属性或者方法实现无关
   2. 一些例子

1. 在java中设计ADT
2. 测试
   1. 针对除了观察器之外的都直接用观察器去测试；测试观察器的时候用其他三类构造对象再调用观察器，判断结果是否正确
   2. 
3. 不变性
   1. Private关键字
   2. Final关键字保证这个不可变类型的i段在对象构造完成之后不会被重新分配
   3. 
4. RI&AF：选择某种特定的表示方式R，进而指定某个子集是“合 法”的(RI)，并为该子集中的每个值做出“解释”(AF)——即如何映射 到抽象空间中的值
   1. ADT开 发者关注表示空间R，client关注抽象空间A
   2. 考点：
      1. 满射：每个A空间的值都会在R中找到对应的值
      2. 未必单射：A空间的某些值由R空间中的2个及以上的值对应。要尽量避免这种情况
      3. 未必双射：R空间中有些值并非合法的，在A空间中没有对应。
      4. Ex: 满射，单射不是双射
   3. 考点：方法支持的AF和RI
      1. 
5. 有益的变异
   1. 考点：
      1. immulate里面不可能出现允许修改类的属性的方法。这个说法是错误的。
      2. A空间中只有一个值那么当允许对r空间中的值进行修改的时候，一定不是immulate型。（错误）
6. 记录AF,RI以及rep暴露的安全性
   1. 精确记录RI中的所有fields为何有效；精确记录AF：如何解释每一个r值；自证清白即如何保证没有泄露
   2. Ex：

注意写规约的时候只能用用户可见的内容来写。

ADT 不变性取代前提条件