软件构造笔记——Rep Invariantand Abstraction Function

        前两天在软件构造课上学习了Java编写过程中的ADT设计，这里简单分享一下我在课上记录的笔记。

一、“R”与“A”

        R：表示空间

        A：抽象空间

        表示空间与抽象空间的关系如下图：

        

        从表示空间到抽象空间的映射应当是一个满射，但并不一定是单射和双射。

二、Abstraction Function And Rep Invariantand

        抽象函数（Abstraction Function）：R和A之间映射关系的函数，即如何去解释R中的每一个值为A中的每一个值。

        表示不变性（Rep Invariant）：某个具体的“表示”是否是“合法的”，或所有表示值的一个子集，包含了所有合法的表示值，或一个条件，描述了什么是“合法”的表示值。

        

        选择某种特定的表示方式R，进而指定某个子集是“合法”的(RI)，并为该子集中的每个值做出“解释”(AF)——即如何映射到抽象空间中的值。以我个人理解，RI写出了什么东西是合法的，AF写出了程序中的数据如何对应现实问题中的事物。

        不同的内部表示，需要设计不同的AF和RI。即使是同样的R、同样的RI，也 可能有不同的AF，即“解释不同”。

三、CheckRep 

        设置一个函数随时检查自己编写的程序是否符合他的RI：

         

        在所有可能改变rep的方法内都要检查，Observer方法可以不用，但 建议也要检查，以防止你的“万一”。

四、Safety from rep exposure

        表示泄漏的安全声明（Safety from rep exposure）：给出理由，证明代码并未对外泄露其内部表示。