Java中的“RI“与“RI“

ADT

        ADT是抽象数据类型（Abstract Data Type）的缩写。ADT是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。

下面介绍有关表示的几个概念:

• 抽象函数(Abstract Function, AF)
• 表示不变量(Representation Invariant, RI)
• 表示独立性（Representation Independence)

抽象函数(Abstract Function, AF)

        表示域（称为R）包含的是值具体的实现实体。抽象域（称为A）包含类型设计时支持使用的值。抽象函数是表示值到其对应的抽象值的映射——AF: R->A。

        R空间：表示空间，是在类中表示的值。

        A空间：抽象空间，用户看到和使用的值。

        抽象函数AF： R和A之间映射关系的函数，即如何去解释R中的每一个值为A中的每一个值。AF是满射、非单射、未必双射。

        值得一提的是，当两个不同的r值指向同一个a值的时候，这是ADT的不变量并没有违反，也就是说，rep不一定得一直保持不变，这是一种有益的变化。

表示不变量(Representation Invariant, RI)

        表示不变量是指在程序执行过程中，保持不变的信息或条件。不变量通常是一种约束条件，它保证了程序的正确性和可靠性。特别是在面向对象编程中，不变量是指类或对象的属性或状态在其生命周期内保持不变的条件。

     表示不变量的维护需要在程序开发的各个阶段进行。在定义数据结构和类的属性时，需要考虑哪些属性应该是不变的，并在设计时考虑如何保持其不变性。在编写代码时，需要检查每个操作是否遵循这些不变量，并设置断言或其他机制来帮助保证不变量的正确性。最后，在调试和测试时，需要测试不变量的正确性并及时发现和修复可能存在的错误。     

        不变量就是在任何时候都是true，表示不变性就是要保持不变量。应当由ADT来负责其不变量，与client端的任何行为无关。

        immutable就是一种典型的不变量，而且RI本身也会记录immutable类型的不变性，但是mutable类型就会出现表示泄露的问题

        表示泄漏不仅影响不变性，也影响了表示独立性，并且无法在不影响客户端的情况下改变其内部表示。

        我们可以使用private和final关键字，让属性不能在类外被改变；同时在必要时进行内容的复制，也叫做防御式拷贝。比如观察器、生产器，甚至一部分构造函数我们也应该不能有mutable类型的数据去构造这个类，而是用其中的元素。

        要求注明抽象值的合法区域，并说明合法或者不合法的原因。其中最基本的表示不变量的就是可变与不可变性（mutable/immutable）。记录不变量是为了保持程序的“正确性”，防止发生错误。

3.表示独立性（Representation Independence)

        说一个ADT有良好的表示独立性，就是说client使用ADT是无需考虑其内部如何实现的，ADT内部表示的变化不应影响外部spec和客户端。所有的操作的使用方法和效果都要在spec中说清楚，规定好输入的约束条件和输出的正确性和安全性。

        在面向对象编程中，表示独立性是一个重要的原则。一个设计良好的对象应该具有高内聚性和低耦合性，即对象内部各个元素之间关联度较高，而与其他对象的联系较少。这样可以使得代码更加模块化，更容易理解和维护。同时，表示独立性也有助于设计出更高质量的软件，并且降低软件开发的复杂度。