JAVA學習筆記(三)ADT

本篇文章繼續搬運MIT上ADT部分相關知識 Reading 11: Abstraction Functions & Rep Invariants 不變量 繼續討論實現好的抽象數據類型的方法,最後一條,可能也是最重要的一條,好的抽象數據類型的特性就是它保護自身的不變量。不變量是一種在程序每個可能的運行時刻始終保持正確的特性。不可修改性是我們已經遇到過的很重要的不變量:一旦創建,一個不可修改的對象應該
相關文章
相關標籤/搜索