【软件构造】设计安全高效的数据结构（2）（第6-7讲）

CyanTangerine

已于 2022-06-12 15:51:08 修改

阅读量92

点赞数

分类专栏：软件构造课程文章标签：安全 java 开发语言

于 2022-06-11 13:41:57 首次发布

本文链接：https://blog.csdn.net/CyanTangerine/article/details/125210775

版权

软件构造课程专栏收录该内容

13 篇文章 2 订阅

订阅专栏

第六讲设计数据类型

6.1 抽象数据类型

ADT只描述方法参数和类型，不关心具体实现。
ADT方法的分类：

constructor 构造器：构造函数。
productor 生产器：从旧的对象构造新的对象。
observer 观察器：观察内部值的方法，一个不可变数据类型的观察器不能暴露内部值的改变方法，如返回一个可变类型的引用（应该使用防御式拷贝的方法去消除，或者返回一个不可变的数据类型）。
mutator 变值器：改变内部值方法，仅限可变的数据类型(mutable)

6.2 表示独立性（Representation Independence）与表示泄露

使用者使用ADT时无需考虑其内部如何实现，ADT内部表示（包括内部成员变量名等）的变化不应影响外部spec和客户端。
开发者不能将ADT的内部变量泄露给使用者（表示泄露），以免使用者做恶意的修改。

6.3 两个空间

A集合：抽象空间，客户端可见的、使用的如：String s = “123”
R集合：表示空间，开发者使用的，如：char s[4]={‘1’,‘2’,‘3’}

6.4 表示不变性（Representation Invariant）与抽象函数（Abstraction Function）

AF: R->A：满射、未必单射、未必双射（双射=单射&&满射），把开发者定义的表示形式转换为用户表示的形式。
RI: R->{T,F}：什么是合法的r，判断开发者使用的数据结构有没有错误。

6.5 checkRep()

用于检测表示不变量是否为合法的值。（RI的实现）
例如，一个描述有理数的class，有分子分母两个属性，RI要求最简形式，那checkRep就是需要化简，每次对属性变更后都需要check一下。

什么时候加checkRep()?

Creater\producer\mutator结束的时候，observer如果复杂也可以加。
使用assert断言，如果不对则直接结束程序。
在这里插入图片描述

6.6 ADT的规约

ADT的规约里也不应谈及任何内部表示的细节，以及R空间中的任何值。
ADT的内部表示(私有属性)对外部都应严格不可见。
故在代码中以注释的形式写出AF和RI而不能在Javadoc文档中，防止被外部看到而破坏表示独立性/信息隐藏。

第七讲面向对象的编程：以Java为例

7.1 基础概念：接口、类、对象、属性、方法

可见范围声明

public：任何地方都可访问。
protected：类的子类（后面会讲）及其实例对象可以访问。
private：只有类（实例对象）的内部可以访问。
可以用来修饰方法、属性和类。

修饰类：包内的其他文件能否访问。
修饰方法：类的外部能否使用该方法。
值得一提的是：如果将所有构造函数声明为private，这个类将无法在外部构建实例对象！只可以通过这个类的静态方法来创建。
修饰属性：类的外部能否访问、赋值这个变量。

静态与非静态

1）对象是实例化的类，就好比水果类和苹果实例，苹果是水果这个类的一个实例。
2）非静态属性是对象的成员变量，每一个对象都有单独的一份。
静态属性是属于类的成员变量，不归属于任何对象，无论类有多少实例对象，这个属性都只有唯一的一份。可以使用类名.属性名进行访问。
3）非静态方法是对象的成员函数，函数体内部可以使用this来访问对象的成员。
静态方法是属于类的成员函数，不归属于任何对象，因此也无法直接访问非静态的成员变量，因为他们完全没有关联。

抽象类与抽象函数

含有抽象方法的类是抽象类，抽象类无法创建对象。
抽象类（方法）使用abstract关键词修饰。
使用抽象类的方法是用一个子类去继承它，并实现它的抽象方法。

接口（interface）

定义一个接口，来指定一个“要求”，让所有实现它的类都要完成接口指定的要求。
譬如，可以在函数的参数定义接口，让其传入指定要求的类方法（这在一些语言中叫做回调函数callback）；也可以是一个接口，有不同的实现方法进而写不同的类去实现，比如Java提供的集合类：List接口可以由ArrayList、LinkedList实现。

一个接口中不可以含有非静态的属性，但可以含有静态属性。
接口无法被创建，因此也没有构造函数。
接口中的非静态方法没有函数体，只有返回值、函数名和参数列表。
- 可以用default关键字并实现默认函数体。
接口可以有静态方法，且必须实现。
使用以下关键词创建接口： interface 接口名 {成员}

7.2 继承与实现、重写与重载

接口实现：class 类名 implement 接口名 {成员}

一个类可以实现一个接口，这个类必须实现接口中定义的所有方法。
在使用中，类可以被赋值给接口变量，不过无法通过这个接口变量访问接口未定义的但类中声明的方法。

接口继承（扩展）：interface 接口名 extends 接口1, 接口2 {}

接口也可以被另一个接口继承，并且支持多继承：继承的接口将继承所有被继承接口的方法（是所有方法的并集），即实现它的类必须实现所有被继承接口的方法。

类的继承（extends）与方法的重写（Override）

类可以继承一个另一个类，如没有指定，则默认继承Object类，它是所有类的祖先。
A类继承B类可以用以下语句表示：class A extends B {成员}
类不支持多继承：即不可以有多个父类。

继承后，子类将获得父类的所有成员（属性和方法）：
在子类内部可以使用super.成员名调用（仅限public/protected），其中构造函数为super(构造参数)，而在外部，可以直接访问public的成员。
重写：子类的父类的方法可以重名，这时子类的方法将覆盖父类的方法（抽象方法），这将导致父类方法在外部无法直接调用（抽象方法本身无法调用），外部将调用子类重写的方法。不过也可以在子类的方法中使用super调用。
通常在子类重写的方法前使用@Override来声明重写。
阻止重写：在父类中的方法前增加final关键词可以阻止子类重写（称为严格继承）。
阻止继承：使用final修饰类。
子类型多态：在外部，父类的变量是可以被赋予子类的值的，不过不要想当然只能运行父类方法，只有运行时才能决定使用哪个方法：子类型可以赋值给父类型的变量，但是通过该变量无法使用子类型的多余成员，只能使用子类型的重写方法或继承的内容（父类的原始方法）。

实际上，可以使用抽象方法（抽象类）来要求子类型实现方法并使用子类型的方法（如果有）。

方法的重载（Overload）

一个类、接口内部的方法名可以相同，但前提是它们的参数列表不同（与参数名无关，只看参数类型）。
在此基础上，它们还可以（也可以不用）拥有不同的返回值、可见性声明和异常抛出。

重载：在调用方法的时候，将会通过传入的参数类型来判断使用哪一个同名的方法，这个过程叫做重载。
例子：比如下方两个方法即可发生重载

public String toString(int i){ return Integer.toString(i); }
public String toString(double i){ return Double.toString(i); }

子类重载/重写父类的方法
重载也可以在子类中实现。如果子类含有父类相同的方法名，但有不同的参数列表，那这将是重载，如果参数列表相同，那将是重写。
区别重写与重载的调用方式
与重写的调用不同，重写类的方法在调用时取决于这个变量所承载的实际类型（这个实际类型只能是子类或本身，如果是子类将调用子类方法，而不是本身父类的方法），而重载这个过程所调用的方法将在编译时即确定下来。

7.3 多态

静态多态：重载（见7.2）
参数化多态：泛型
子类型多态（见7.2）

泛型（Generics）

HashMap<a,b>
通配符？
只在使用泛型的时候出现，不能在定义中出现
– List<?> list = new ArrayList<String>();
– List<? extends Animal>
– List<? super Animal>
泛型在运行时会消失，不能使用 instanceof 去检验！
不能创建泛型数组 – Pair<String>[] foo = new Pair<String>[42]; // won’t compile

List<Number> is a subtype of List<?>
List<Number> is a subtype of List<? extends Object>
List<Object> is a subtype of List<? super String>

ArrayList<String> is a subtype of List<String>
List<String> is not a subtype of List<Object>（需要特别注意）