关于ADT、AF、RI、checkRep、Safety from rep exposure、spec的理解

ADT是抽象数据类型，泛指除了基本数据类型之外的数据类型，可以理解为将不同类型的数据的集合组成一个整体用来描述一种新的事物，包括抽象类和接口。

AF的全称为Abstraction function，即抽象函数，它类似于一个映射，是创建的类到抽象值构成的空间的映射，即程序中ADT里面的量到外部人员想要操作的量的映射。

RI的全称是Representation invariant，即表示不变量。“表示”就是ADT中的各种属性，而表示不变性即这些属性必须保持的性质，例如某个值必须小于1.

checkRep就是检查RI是否成立，采用断言技术assert来检查不变性是否保持。

Safety from rep exposure指防止表示泄露的方法。可变类中getter到的变量可以直接对其修改，而且类中变量指向的地址的内容会被修改，这就会导致表示泄露，应对此情况的方法是，getter得到的不应该是类中的变量，而是类中变量的一个副本，这也就是常说的防御式拷贝。可以用private和final关键字对变量进行修饰，使得用户不能修改内部属性。

spec是指设计规约，给“供需双方”都确定了责任并区分责任，调用时双方都要遵守（客户端只需要理解Spec即可）。有前置条件和后置条件，前置条件满足了，后置条件必须满足；前置条件不满足，后置条件不一定满足。spec的写法为

方法注释
@param
@return
@throws
输入类型、返回类型