關於表示不變量（Rep invariant）和抽象函數（Abstraction function）

關於表示不變量（Rep invariant）和抽象函數（Abstraction function） （1） 表示空間R：實際實現中內部表示的值 一般情況下ADT的表示比較簡單，有些時候需要複雜表示， 抽象空間A：client看到和使用的值 ADT實現者關注R，而用戶關注A 因此，我們在R和A可建立一個映射： 這種映射一定是滿射（surjective），而不一定是單射（not injective）

>>阅读原文<<