软件构造3.1 数据类型与类型检查

概要：

1、基本数据类型vs对象数据类型

2、静态类型检查vs动态类型检查

3、可变型vs不变型

4、防御式拷贝

5、snapshot diagram

3.1数据类型和类型检查

一、基本、对象数据类型

• primitive types 基本数据类型
• object types 对象数据类型

二、静态Static 类型检查vs 动态Dynamic类型检查

静态	动态
编译阶段进行检查	运行阶段进行检查
关于“类型”的检查，不考虑值	关于“值”的检查
静态类型检查 >> 动态 >> 无检查

• 静态类型语言：在编译阶段进行类型检查

语法错误 类名/函数名错误 参数数目错误 参数类型错误 返回值类型错误

关注类型的事

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

非法的参数值 非法的返回值 越界 空指针

关注类型中取值的事

• 改变一个变量 / 变量的值

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

三、可变Mutability vs 不变Immutability

Mutability and Immutability 可变/不变性

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

eg: final int n = 5; 如果编译器无法确定final变量不会改变，就提示错误.

所以尽量使用final变量作为方法的输入参数、作为局部变量

2. 不变对象：一旦被创建，始终指向同一个值/引用

可变对象：拥有方法可以修改自己的值/引用

不变： s,t值没有变化。先断开后生成 可变： s,t值有变化。边断开边生成

可变	不可变
最少化拷贝以提高效率	对其频繁修改会产生大量的临时拷贝(需要垃圾回收)
适合于在多个模块之间共享数据	在其他质量指标上表现更好 更“安全”

四、防御式拷贝

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

2、引用：如果有多个引用（别名），使用可变类型就非常不安全（注意红色部分）

五、Snapshot diagram

基本类型的值

对象类型的值

不可变对象：用双线椭圆；

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

上图s、t即为Snapshot示例；

例1：

例2：