ADT知识点总结

一.对象数据类型和基本数据类型的比较
在java中，基本数据类型用小写表示，对象数据类型以大些开头，它们的具体区别如下表表示

二.检查方式
语言的检查方式有如下三种：
1.静态类型检查：该程序甚至在运行之前自动发现该错误
2.动态类型检查：该代码执行时会自动发现该错误
3.无检查：该语言不会帮助您找到错误。 必须亲自检查，否则最终会得到错误的答案。

三.可变性与不可变性总结
基本数据类型都是不可变的，而对象数据类型一些不可变，如String；另一些可变，如List,Date，在使用可变的对象数据类型时尤其要注意它在某个方法中被改变，下面是一个经典的例子：



运行上面的代码，我们发现两次输出的值都是10，而不是应该得到的10和-10，原因很简单，myData是可变的对象数据类型List，它的值在sumAbsolute()中被改变了。在具体编程中，这样的错误非常难以发现，需要十分注意

在设计ADT时，我们需要注意不变量的泄露问题，下面是几个例子



第一个例子中，客户端直接访问其领域，为了阻止这一点，java提供了关键词private和final来修饰不变量

而在第二个例子中，即使使用了private和final来修饰，Data依然被泄露，为了阻止这一点，我们通常使用防御性拷贝

注：
final是一个关键字，可以用于修饰类，成员变量，成员方法。

特点：

它修饰的类不能被继承。
它修饰的成员变量是一个常量。
它修饰的成员方法是不能被子类重写的。
final修饰的常量定义一般都有书写规范,被final修饰的常量名称,所有字母都大写。

final修饰成员变量,必须初始化,初始化有两种

显示初始化；
构造方法初始化。
但是不能两个一起初始化
final和private的区别：

final修饰的类可以访问；
private不可以修饰外部类，但可以修饰内部类（其实把外部类私有化是没有意义的）。
final修饰的方法不可以被子类重写；
private修饰的方法表面上看是可以被子类重写的，其实不可以，子类是看不到父类的私有方法的。
final修饰的变量只能在显示初始化或者构造函数初始化的时候赋值一次，以后不允许更改；
private修饰的变量，也不允许直接被子类或一个包中的其它类访问或修改，但是他可以通过set和get方法对其改值和取值。

四.抽象操作类型
Creators（构造器）：创建某个类型的新对象，可能实现为构造函数或静态函数（通常称为工厂方法）。如Integer.valueOf()
Producers（生产器）：从该类型的旧对象创建新对象。如String.toUpperCase()
Observers（观察器）：获取抽象类型的对象并返回不同类型的对象。如List.size()
Mutators（变值器）：改变对象属性的方法 ，如果返回值为void，则必然意味着它改变了对象的某些内部状态，也可能返回非空类型 。如List.add()
五.AF与RI

R：表示值（rep 值）的空间，由实际实现实体的值组成。一般情况下ADT的表示比较简单，有些时候需要复杂表示。
A：抽象值构成的空间，client看到和使用的值。
ADT关注表示空间R，客户端关注抽象空间A 。

R->A的映射特点：
满射：每个抽象值被映射到一些rep值
未必单射：一些抽象值被映射到多个rep值
未必双射：并非所有的rep值都被映射。

那么，抽象函数AF即为R->A的映射关系，表示ADT的具体作用;不变形RI即为R->true/false的映射关系，表示输入合法性
例子如下