AF與RI

在研究抽象類型的時候，先思考一下兩個值域之間的關係： 表示域（rep values）裏面包含的是值具體的實現實體。一般情況下ADT的表示比較簡單，有些時候需要複雜表示。 抽象域（A）裏面包含的則是類型設計時支持使用的值。這些值是由表示域「抽象/想象」出來的，也是使用者關注的。 ADT實現者關注表示空間R，用戶關注抽象空間A 。 R->A的映射特點： 每一個抽象值都是由表示值映射而來 ，即滿射：每個

>>阅读原文<<