软构第四章考前复习

4 Data Type and Type Checking（数据类型与类型检验）

本章是重点章节，可变数据类型与不可变数据类型在之后的章节知识中仍然有所体现。程序快照图也是大题的考察重点。

1 Data type in programming languages

primitive types 基本数据类型，例如int，long，boolean，double，char。

object types 对象数据类型，例如String，BigInteger。

继承：子类方法继承了父类的属性与方法，同时子类可以重写父类的方法。

2 Static vs. dynamic data type checking

Java是一种静态类型的语言。所有类型在编译时就已经被给定，编译器也能推断出所有表达式的类型。编译器会在编译阶段进行类型检查。
动态类型的语言如python在运行阶段进行类型检查。Java在任何时候都会确认类型是否匹配。

静态类型检查：可在编译阶段发现错误，避免了将错误带入到运行阶段，可提高程序正确性/健壮性。

静态检查主要检查语法错误、类名函数名错误、参数类型错误、参数数目错误、返回值类型错误。动态检查包括非法的返回值、越界、空指针。

静态检查：关于“类型”的检查，不考虑值
动态检查：关于“值”的检查

3 Mutability and Immutability

改变一个变量、改变一个变量的值，二者有何区别？
改变一个变量：将该变量指向另一个值的存储空间。
改变一个变量的值：将该变量当前指向的值的存储空间中写入一个新的值。

不变性：重要设计原则。

不变数据类型：一旦被创建，其值不能改变。

如果是引用类型，也可以是不变的：一旦确定其指向的对象，不能再被改变。如果编译器无法确定final变量不会改变，就提示错误，这也是静态类型检查的一部分。所以，尽量使用final变量作为方法的输入参数、作为局部变量。

final类无法派生子类。final变量无法改变值/引用。final方法无法被子类重写。

不变对象：一旦被创建，始终指向同一个值/引用。
可变对象：拥有方法可以修改自己的值/引用。

区别：当只有一个引用指向该值，没有区别。有多个引用的时候，差异就出现了。

使用不可变类型，对其频繁修改会产生大量的临时拷贝(需要垃圾回收)。

可变类型最少化拷贝以提高效率。使用可变数据类型，可获得更好的性能。也适合于在多个模块之间共享数据。

不可变类型更“安全”，在其他质量指标上表现更好。

通过防御式拷贝，给客户端返回一个全新的Date对象。大部分时候该拷贝不会被客户端修改，可能造成大量的内存浪费。如果使用不可变类型，则节省了频繁复制的代价。

安全的使用可变类型：局部变量，不会涉及共享；只有一个引用。如果有多个引用（别名），使用可变类型就非常不安全。

4 Snapshot diagram as a code-level, run-time, and moment view

代码快照图用于描述程序运行时的内部状态。

代码快照图的用途：便于程序员之间的交流。便于刻画各类变量随时间变化。便于解释设计思路。

基本类型的值：引用指向对象的箭头。

 对象类型的值：用圈表示，内部标有属性名指向其对象。

 不可变类型的对象：用双线椭圆表示

使用final声明可以让一个可变类型对象变为不可变类型的对象。 

不可变的引用：用双线箭头。引用是不可变的，但指向的值却可以是可变的。可变的引用，也可指向不可变的值。

6 Useful immutable types

基本类型及其封装对象为不可变类型。集合类的对象一般都是可变的。

集合类提供了一些方法包装对象，使其不可变，但是没有办法对其进行静态检查，只能在运行阶段体现。