软件构造第四章复习——数据类型以及类型检验

Java数据类型

• 基本数据类型：immutable。
• 对象数据类型：遥控器。

动态检查以及静态检查

• 静态检查：类型的检查，通常发生在运行之前。
• 动态检查：与值相关的检查，比如除零错误，发生在运行时。（ｉｎｔ和ｄｏｕｂｌｅ！）

可变以及不可变

• 可变：值可变。所有的基本数据类型都是不可变的，在内存中创建之后，不可能再被指向别的了。可变对象指的是存储在内存空间的内容可变以及不可变，并非遥控器。遥控器只能说是能不能被重新赋值（final）
• 不可变：当改变时，重新构造一个新对象。