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