复习第1，2，3章

SCM 软件配置管理
SCI 软件配置管理项
CMDB 配置管理数据库：存储软件的各配置项随时间变化的信息＋基线


valueof函数是creator


不变量invariant和表示不变性 rep invariant
不变量指的是ADT中在任何时候都为真，一旦创建就不会改变的量，如id。
表示不变性是指表示域中合法的表示。
AF是从表示域到抽象域的映射


选择某种特定的表示方式R，进而指定某个子集是“合法”的(RI)，并为该子集中的每个值做出“解释”(AF)——即如何映射到抽象空间中的值。


hashcode
在程序执行期间，只要equals方法的比较操作用到的信息没有被修改，那么对这同一个对象调用多次，hashCode方法必须始终如一地返回同一个整数。
如果两个对象根据equals方法比较是相等的，那么调用两个对象的hashCode方法必须返回相同的整数结果。
如果两个对象根据equals方法比较是不等的，则hashCode方法不一定得返回不同的整数

set中的mutable对象一旦改变，使用hashcode查找会找不到该对象，产生错误。

观察等价性，行为等价性区别在于是否调用了mutator方法。