【软件构造】数据类型与类型检验

类型检验分为静态类型检验和动态类型检验。静态类型检查：可发现语法错误、类名/函数名错误、参数数目错误、参数类型错误、返回值类型错误 静态类型检查可在编译阶段发现错误，避免了将错误带入到运行阶段，可提高程序正确性/健壮性。动态类型检查：可发现非法的参数值、非法的返回值、越界、空指针。静态类型检查是关于“类型”的检查，不考虑值；动态检查是关于“值”的检查。 Java 是一种静态类型语言，它同时具有静态类型检查和动态类型检查。

数据的可变性与不可变性：

不可变类型（immutable： 一旦被创建，就始终代表（对外表现出）同样的值。

可变类型（mutable）：拥有方法可以修改自己的值。

区别：当只有一个引用指向该值， 可变类型和不可变类型并没有大的区别，但有多个引用的时候，差异就出现了。对于不可变类型，频繁对其运算会产生大量的临时拷贝，可变类型能最少化拷贝以提高效率。因此，使用可变数据类型，可获得更好的性能，也适合于在多个模块之间共享数据。 而不可变类型更“安全”， 在其他质量指标上表现更好。例如，向任何方法传入不可变类型的值，不用担心其值被意外修改；多线程可以安全地持有同一个不可变类型的引用，而不用担心竞争。可变类型也可以通过相应的处理进行保护如：防御式拷贝：给客户端返回一个全新的对象。大部分时候该拷贝不会被客户端修改， 可能造成大量的内存浪费。单引用局部变量：把对 mutable 对象的引用限制在类/方法内，不对外暴露 如果存在多个引用，使用可变类型就非常不安全。