软件构造笔记：AF、RI、Safety from rep exposure

AF

全称Abstraction function（抽象函数），类似于一个映射

其中R是创建的类，A是抽象值构成的空间

AF一定是满射，不一定是单射，也就不一定是双射

（也就是R中的类不一定能找到A，但是A中的抽象必须有R中对应的类）

举例：

RI

RI全称是：Representation invariant（表示不变量），用来表示“什么样的类满足抽象”

以上图为例，“abbc”就是不满足RI的元素，一个满足这个图的RI就是“不可以有重复的字母”

可将RI看作：一个条件，描述了什么是“合法”的表示值

例子，

   // Representation invariant:
    // edge必须有起始点，且weight为正数
    //vertice必须在vertices的Set中
    //每两个vertice之间最多一条edge

随时检查RI是否满足：
    自写checkRep（）方法，在创造和改变表示的方法中（creators，producers， mutators），进行调用。 

Safety from rep exposure

防止表示泄露的方法

可变类 中getter到的变量可以直接对其修改，而且类中变量指向的地址的内容会被修改，这就会导致表示泄露，应对此情况的方法是，getter得到的不应该是类中的变量，而是类中变量的一个副本，这也就是常说的防御式拷贝

通常有以下几种方法：

1.用private和final关键字对其进行修改:------即将类中所有的属性（变量）定义为private类型，目的是不让用户得到你的内部属性
2.尽量使用immutable数据类型，比如能使用String就不使用StringBuilder，能使用Instance或
LocalDateTime就不使用Data
例子：

    // Safety from rep exposure:
    // vertices和 edges均为 private final
    //分别使用对应的get方法返回值的副本，防御性编程    // Safety from rep exposure:
    // vertices和 edges均为 private final
    //分别使用对应的get方法返回值的副本，防御性编程