在复习过程中,重新整理一下AF、RI:
1、首先要理解两个空间:表示空间、抽象空间
①表示空间里面包含的是值具体的实现实体。一般情况下ADT的表示比较简单,有些时候需要复杂表示。
②抽象空间里面包含的则是类型设计时支持使用的值。这些值是由表示空间抽象出来的,也是使用者关注的。
③ADT实现者关注表示空间,而用户关注的是抽象空间。
④R->A(表示空间->抽象空间)映射特点
(1)每一个抽象值都是由表示值映射而来 ,即满射:每个抽象值被映射到一些rep值
(2)一些抽象值是被多个表示值映射而来的,即未必单射:一些抽象值被映射到多个rep值
(3)不是所有的表示值都能映射到抽象域中,即未必双射:并非所有的rep值都被映射。
我们用一个表示分数的ADT来举例,该ADT的rep为x(分子),y(分母):
例(1)抽象空间的所有分数都可以由表示空间的x/y来表示
例(2)对于两组不同的x,y其约分后可能表示为同一个分数
例(3)非法rep,例如y=0,则在抽象空间内没有对应的映射
2、抽象函数(AF):R和A之间映射关系的函数
AF : R → A
3、表示不变量(RI):将rep值映射到布尔值
RI : R → boolean
①对于表示值r,当且仅当r被AF映射到了A,RI®为真。
②表示不变性RI:某个具体的“表示”是否是“合法的”
③也可将RI看作:一个条件,描述了什么是“合法”的表示值
④AF与RI都不会展示给用户
软件构造—AF、RI
最新推荐文章于 2024-05-28 21:39:26 发布