kmjsatori的博客

原创 软件构造学习经验分享与学习笔记

一个好的ADT一定有不变的成员变量（使用final修饰）并保有一些不变量。不变量指在ADT对象的整个声明周期中始终为true的一些属性。简而言之，它描述了程序中某些东西应该始终保持不变的条件。例如：不可变性：一个对象一旦创建，其值在其整个生命周期内都不应改变。例如，Java中的String类型就是不可变的。变量类型：例如，int i意味着i始终是一个整数。变量之间的关系：例如，在遍历列表时，i作为索引，那么0 <= i < list.size()就是一个在循环体内始终成立的不变性条件。