ADT

1.ADT的概念
ADT即为抽象数据类型，也就是所有属性均设置成private，即不让用户可以看到一个类型中所包含的属性值,只可以通过操作获取一部分属性。

2.ADT四种操作分类
（1）Creator
顾名思义就是类似构造函数，创建一个新对象
一般是由静态函数实现
（ 2）Producers
返回一个该类型的新对象，如集合的add函数
（3）Observers
用来观察某一个对象的相关属性，并返回一个观察到的值，如集合中的size函数
返回一个该类型的新对象，如集合的add函数
（4）Mutators
用来对属性进行改变

3.AF
R和A之间映射关系的函数
即如何去解释R中的每一个值为A中的每一个值。
AF : R → A
R中的部分值并非合法的，在A中无映射值

4.RI
描述了什么是合法的的一个集合