chapter3 小结

1、基本数据类型 对象数据类型
基本数据类型：
2、静态类型检查 动态类型检查

• 分别的出现情况，判断这会引起什么样的类型检查

3、可变和不可变类型

• 危害在哪（引用修改、size or length）
• 如何修改（final、new）

4、防御式拷贝
5、Snaphot
6、规格 前后置条件

• 规格怎嘛写
• 前置、后置条件是什么
• 规格的替代：宽进严出
• javac @return

7、规约的强度
- 强弱性判断

8、ADT的四种类型
- 创造者：进来A类型，出去B
- 生产者：类型相同
- 观察者：不同类型
- 改变者

9、表示独立性
- 判断是不是独立的：size length

10、表示泄露
- 哪些定义的域会导致泄露

11、不变量 表示不变量RI