JAVA学习笔记(三)ADT

本篇文章继续搬运MIT上ADT部分相关知识 Reading 11: Abstraction Functions & Rep Invariants 不变量 继续讨论实现好的抽象数据类型的方法,最后一条,可能也是最重要的一条,好的抽象数据类型的特性就是它保护自身的不变量。不变量是一种在程序每个可能的运行时刻始终保持正确的特性。不可修改性是我们已经遇到过的很重要的不变量:一旦创建,一个不可修改的对象应该
相关文章
相关标签/搜索