软件构造第四章

第四章，数据类型

基本数据类型：不可变，在栈中分配内存

对象数据类型：可变/不可变，在堆中分配内存

静态语言：java，在程序运行前声明了变量的类别

动态语言：python

静态类型检查：可在程序运行阶段之前就进行检查

种类：语法错误，函数名错误，参数返回值类型数量错误

动态检查：越界，空指针，非法参数

不变数据类型

变量被创建后其值不能被改变。

  final 在 Java 中是一个保留的关键字，可以声明成员变量、方法、类以及本地变量。一旦你将引用声明作 final，你将不能改变这个引用了，编译器会检查代码，如果试图将变量再次初始化的话，编译器会报编译错误。

如果编译器无法确定final变量不会改变，就提示错误，这也是静态类型检查的一部分。

当使用可变数据类型的时候，要采用防御使拷贝，使用不可变数据类型时，则不用

代码级别、运行时刻的快照图

程序快照图表示程序运行时刻的状态，程序的栈（正在运行的方法和局部变量），堆（对象）。

LIST类，有序列表

LIST是一个接口，LIST的成员必须是一个对象

SET，无需列表

Map，键值集合

Map是一个抽象接口

无法创建基元类型的集合，基元类型可以通过包装创建集合，例如：int->Integer