【软件构造】数据类型、类型检查、可变不可变数据类型

---

一、基本数据类型 和 对象数据类型

1、基本数据类型：

（1）基本数据类型有8种，分别是int, long, byte, short, char, float, double, boolean。

（2）基本数据类型只有值，没有ID，无法与其他值进行区分。
（3）不可变数据类型（此外，要记住String也是不可变数据类型）
（4）在栈中分配内存
（5）代价低

2、对象数据类型：

（1）对象数据类型包括Classes, interfaces, arrays, enums, annotations
（2）既有ID，也有值
（3）可变/不可变数据类型都有
（4）在堆中分配内存
（5）代价昂贵

二、静态类型检查 和 动态类型检查

1、静态类型检查

静态类型检查是关于“类型的检查”，不考虑值；在编译阶段发现错误，避免将错误带入运行阶段；提高程序的正确性、健壮性。

静态类型检查错误：
语法错误
类名/函数名错误
参数数目错误
参数类型错误
返回值类型错误

2、动态类型检查

动态类型检查是关于“值”的检查。

动态类型检查错误：
非法的参数值
非法的返回值
越界
空指针

三、Mutable可变对象 和 Immutable不可变对象

1、可变数据类型与不可变数据类型：

可变类型的对象：提供了可改变其内部数据的值的操作
不可变数据类型： 其操作不可改变内部值，而是构造新的对象
一些类型提供两种形式

2、例子 String与StringBuilder：

例如String是不可变数据类型，而StringBuilder是可变数据类型：

String 对象是不可改变的。每次使用 System.String 类中的方法之一时，都要在内存中创建一个新的字符串对象，这就需要为该新对象分配新的空间。

StringBuilder 对象是动态对象，允许扩充它所封装的字符串中字符的数量，但是您可以为它可容纳的最大字符数指定一个值，当修改 StringBuilder 时，在达到容量之前，它不会为其自己重新分配空间。当达到容量时，将自动分配新的空间且容量翻倍。可以使用重载的构造函数之一来指定 StringBuilder 类的容量。

3、优缺点：

不可变类型，频繁修改会产生大量的临时拷贝，需要垃圾回收；可变类型，最少化拷贝，以提高效率
可变类型获得更好的性能，模块之间共享数据