ADT的表示独立性，测试ADT的方法，不变量，RI与AF

在Lab3的时候开始，被要求试着去写每个类的AF(Abstraction function，抽象函数)，RI(Representation invariant，表示不变性)，Safety from rep exposure(防止暴露的方法)。在这里记录一下相关定义

1. 表示独立性

用户使用ADT时无需考虑内部如何实现，ADT内部表示的变化不应影响外部spec与用户
除非ADT的操作指明了具体的pre-condition和post-condition，否则不能改变ADT的内部
表示，因为spec规定了用户和和编写者之间的契约。

2. 不变量（invariants）：

（1） 含义：保持不变量，是一个好的ADT的重要属性

        不变量：在任何时候总是true
            	-Immutability是一个至关重要的不变量：一但不可变对象被创造， 其在整个生命周期中，
            	总是表现出相同的价值。
           		-由ADT来负责其不变量，而与client端的任何行为无关

（2） 为什么需要不变量？

        为保持程序的“正确性”，容易发生错误。
        例如：如果String没有不可变这一不变量，那么在所有使用String的地方，
        都要检查其是否改变了

3. 表示不变量（Rep invariant）和抽象函数（Abstraction function࿰