JAVA學習筆記（三）ADT

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

>>阅读原文<<