软件构造复习笔记四

最新推荐文章于 2024-07-02 10:58:32 发布

stlavender

最新推荐文章于 2024-07-02 10:58:32 发布

阅读量108

点赞数

文章标签：软件构建

本文链接：https://blog.csdn.net/weixin_51483652/article/details/125249174

版权

1.抽象数据类型（ADT）

设计ADT：规格Spec–>表示Rep–>实现Impl

四类ADT操作

Creators
- 实现：构造函数constructor或静态方法（也称factory method）
Producers
- 需要有“旧对象”
- return新对象
- eg. String.concat()
Observers
- eg. List的.size()
Mutators
- 改变对象属性
- 若返回值为void，则必然改变了对象内部状态（必然是mutator）

表示独立性

client使用ADT时无需考虑其内部如何实现，ADT内部表示的变化不应影响外部spec和客户端。

抽象函数AF & 表示不变量RI

抽象值构成的空间（抽象空间）：客户端看到和使用的值
程序内部用来表示抽象值的空间（表示空间）：程序内部的值
Mapping：满射、未必单射（未必双射）

ADT开发者关注表示空间R，client关注抽象空间A

抽象函数（AF）：
- R和A之间映射关系的函数
- 即如何去解释R中的每一个值为A中的每一个值。
- AF : R → A
- R中的部分值并非合法的，在A中无映射值
表示不变性（RI）：
- 某个具体的“表示”是否是“合法的”
- 所有表示值的一个子集，包含了所有合法的表示值
- 一个条件，描述了什么是“合法”的表示值

检查RI：
随时检查RI是否满足
在所有可能改变rep的方法内都要检查
Observer方法可以不用，但建议也要检查，以防止你的“万一”

测试ADT

因为测试相当于client使用ADT，所以它也不能直接访问ADT内部的数据域，所以只能调用其他方法去测试被测试的方法。

针对creator：构造对象之后，用observer去观察是否正确
针对observer：用其他三类方法构造对象，然后调用被测observer，判断观察结果是否正确
针对producer：produce新对象之后，用observer判断结果是否正确
在代码中用注释形式记录AF和RI
- 精确的记录RI：rep中的所有fields何为有效
- 精确记录AF：如何解释每一个R值
表示泄漏的安全声明
给出理由，证明代码并未对外泄露其内部表示——自证清白

2.面向对象编程（OOP）

接口（Interface）& 抽象类（Abstract Class）& 具体类（Concrete Class）

接口：定义ADT
类：实现ADT

Concrete class --> Abstract Class --> Interface

接口：

接口之间可以继承与扩展
一个类可以实现多个接口（从而具备了多个接口中的方法）
一个接口可以有多种实现类

抽象类：

至少有一个抽象方法
抽象方法 Abstract Method
- 未被实现
- 如果某些操作是所有子类型都共有，但彼此有差别，可以在父类型中设计抽象方法，在各子类型中重写

具体类：

实现所有父类未实现的方法

default

通过default方法，可以在接口中统一实现某些功能，无需在各个类中重复实现它。好处是以增量式为接口增加额外的功能而不破坏已经实现的类

继承（Inheritance） & 重写（Override）

类 & 类：继承

类 & 接口：实现、扩展

覆盖/重写Overriding：

重写的函数：完全同样的signature
- 实际执行时调用哪个方法，运行时决定
- 重写的时候，不要改变原方法的本意
- 运行阶段进行动态检查
- 父类型中的被重写函数体
  - 不为空：
    - 该方法是可以被直接复用的
    - 对某些子类型来说，有特殊性，可重写父类型中的函数，实现自己的特殊要求
  - 为空：
    - 其所有子类型都需要这个功能
    - 但各有差异，没有共性，在每个子类中均需要重写

严格继承：子类只能添加新方法，无法重写超类中的方法（方法带final关键字）

多态（Polymorphism） & 重载（Overload）

重载：多个方法具有同样的名字，但有不同的参数列表或返回值类型。

如果想要一个java中方法不能被重写，必须要加上前缀final

父类型中的被重写函数体不为空：意味着对其大多数子类型来说，该方法是可以被直接复用的。对某些子类型来说，有特殊性，故重写父类型中的函数，实现自己的特殊要求
如果父类型中的某个函数实现体为空，意味着其所有子类型都需要这个功能，但各有差异，没有共性，在每个子类中均需要重写
重写时，可以利用super()来复用父类型中函数的功能

super

重写之后，利用super()复用了父类型中函数的功能，还可以对其进行扩展
如果是在构造方法中调用父类的构造方法，则必须在构造方法的第一行调用super()

重载是一种静态多态，根据参数列表进行"最佳匹配"，进行静态类型检查

重载的解析在编译阶段，与之相反，重写的方法是在运行阶段进行动态类型检查

参数列表必须不同
相同/不同的返回值类型
相同/不同的public/private/protected
可以声明新的异常

Override和Overload

多态的三种类型

特殊多态：功能重载
- 方便client调用：client可用不同的参数列表，调用同样的函数
- 根据参数列表进行最佳匹配
  - public void changeSize(int size, String name, float pattern) {}
  - 重载函数错误情况
    - public void changeSize(int length, String pattern, float size) {}：虽然参数名不同，但类型相同
    - public boolean changeSize(int size, String name, float pattern) {}：参数列表必须不同
- 在编译阶段时决定要具体执行哪个方法（与之相反，overridden methods则是在run-time进行dynamic checking）
- 可以在同一个类内重载，也可在子类中重载
参数化多态：使用泛型编程
泛型擦除：运行时泛型类型消除（如：List<String>运行时是不知道String的），所以，不能使用泛型数组（如： Pair < String >[] foo = new Pair < String >[42]; 是错误的！不能被编译！）

如下是一个错误的实例：

List<Object> a; List<String> b; a = b;

通配符（Wildcards），只在使用泛型的时候出现，不能在定义中出现。
子类型多态：期望不同类型的对象可以统一处理而无需区分，遵循LSP原则
重写时，子类的规约要强于父类的规约（更弱的前置条件，更强的后置条件）
子类的可见性要强于父类（即父类如果是public，子类不能为private）
子类不能比父类抛出更多的异常
注：Java无法检测1，但是可以检测出2、3
子类型多态：不同类型的对象可以统一的处理而无需区分。