软件构造：数据类型与类型检验

1：java中的类型

1.1基本数据类型和对象数据类型

 1.2静态类型语言和动态类型语言

1.2.1概念
①静态类型语言：在编译阶段进行类型检查

②动态类型语言：在运行阶段进行类型检查

1.2.2静态类型检查的错误（可能会考）（关于类型的错误）
①语法错误

②函数名/类名错误

③参数数目错误

④参数类型错误

⑤返回值类型错误

1.2.2动态类型检查的错误（可能会考）（关于值的错误）
①非法的参数值，比如x/y时y取0。

②非法的返回值，（待举例）

③数组越界

④访问空指针
 

2：可变和不可变数据类型

不可变数据类型： 当该数据类型的对应变量的值发生了改变，那么它对应的内存地址也会发生改变，对于这种数据类型，就称不可变数据类型。
可变数据类型 ：当该数据类型的对应变量的值发生了改变，那么它对应的内存地址不发生改变，对于这种数据类型，就称可变数据类型。
总结：不可变数据类型更改后地址发生改变，可变数据类型更改地址不发生改变

3：代码快照图（snapshot diagram）

3.1：概念：代码快照图是用于描述程序在运行时的某一个时刻代码中变量在内存中的情况的图。

3.2：意义：

①便于程序员之间的交流

②便于刻画各类变量随时间变化

③便于解释设计思路

3.3：怎么画代码快照图：