哈工大2022软件构造第四章学习笔记

数据类型与类型检验

*1. 基本数据类型。对象数据类型

*2.静态、动态类型检查

静态类型语言：在编译阶段进行类型检查，所有变量的类型在编译期就已经确定

动态类型语言：在运行阶段进行类型检查，变量的类型在运行期才能确定

静态类型检查：可发现语法错误、类名/函数名错误、参数数目错误、参数类型错误、返回值类型错误静态类型检查可在编译阶段发现错误，避免了将错误带入到运行阶段，可提高程序正确性/健壮性

动态类型检查：可发现非法的参数值、非法的返回值、越界、空指针

静态类型检查是关于“类型”的检查，不考虑值；动态检查是关于“值”的检查。
Java 是一种静态类型语言，它同时具有静态类型检查和动态类型检查。

* 3.Mutable/Immutable

3.1 final

final 类无法派生子类
final 方法无法被子类重写
final 变量无法改变其引用（而非值）

3.2 改变变量和值的区别

改变一个变量：将该变量指向另一个值的存储空间
改变一个变量的值：将该变量当前指向的值的存储空间中写入一个新的值

3.3 不变性

不变数据类型（immutable type）：一旦被创建，其值不能改变
引用不变：一旦确定其指向的对象，不能再被改变（但其值是可能变化的）

3.4 不可变类型（immutable）与可变类型（mutable）

3.4.1不可变类型

一旦被创建，就始终代表（对外表现出）同样的值。

3.4.2可变类型

拥有方法可以修改自己的值。

3.4.3 区别

当只有一个引用指向该值， 可变类型和不可变类型并没有大的区别，但有多个引用的时候，差异就出现了。

*4.防御式拷贝

对于不可变类型，频繁对其运算会产生大量的临时拷贝，可变类型能最少化拷贝以提高效率。因此，使用可变数据类型，可获得更好的性能，也适合于在多个模块之间共享数据。
而不可变类型更“安全”， 在其他质量指标上表现更好。例如，向任何方法传入不可变类型的值，不用担心其值被意外修改；多线程可以安全地持有同一个不可变类型的引用，而不用担心竞争。

保护可变类型
防御式拷贝：给客户端返回一个全新的对象大部分时候该拷 贝不会被客户端修改， 可能造成大量的内存浪费

单引用局部变量：把对 mutable 对象的引用限制在类/方法内，不对外暴露
如果存在多个引用，使用可变类型就非常不安全

*5.snapshot diagram（快照图）

快照图用于描述程序运行时的内部状态。使用快照图便于程序员之间的交流、刻画各类变量随时间变化、解释设计思路。

5.1基本类型

在箭头末端填写值

5.2 对象类型

在箭头末端画一个椭圆，在其中写上对象的类名，更详细的话再包含内部属性。
可变类对象的椭圆使用单线，而不可变类型的椭圆使用双线。

5.3 引用

可变引用使用单线，不可变引用使用双线。

6. 数组和容器

数组是固定长度的序列，而 List 是可变长度的序列。

6.1 迭代器

迭代器是一个可变数据类型，它拥有两个方法：mutator 方法 next() 返回容器的下一个数据；observer 方法 hasNext() 返回容器是否还有下一个数据。

*7.有用的不可变类型

基本类型及其封装对象类型都是不可变的，高精度数 BigInteger 和 BigDecimal 也是不可变的。

不要使用 Date，因为它是可变类型。相反，使用 java.time 包下的类，如 LocalDateTime。

Java 中的常用容器如 ArrayList、HashMap 等都是 mutable 的，如果希望容器不可变，可使用包装器 Collections.unmodifiableList 等获取一个不可变的包装对象——当调用 mutator 方法时会抛出一个异常。

然而，这种“不可变”是在运行阶段获得的，编译阶段无法据此进行静态检查。同时，wrapper 仅仅保证了无法通过 wrapper 引用修改对象，但如果通过被包装对象的引用修改了对象的值，wrapper 引用指向的对象仍然会被修改。