软件构造复习第四章

一、编程语言中的数据类型

数据类型是一组值，以及可以对这些值执行的操作。

变量：用特定数据类型定义，可存储满足类型约束的值

基本数据类型：

对象数据类型：
for example:
BigInteger表示任意大小的整数
String字符串表示一个字符序列。

根据Java约定，原始类型是小写的，而对象类型以大写字母开头。

对象类型形成层次结构：

一个类是它所有父类的实例，从父类中继承可见的字段和方法。可以通过重写从父类继承的方法来改变行为。

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

首先，java是静态类型语言，它在编译阶段就会进行类型检查。而像Python这样的动态类型语言，这种检查被推迟到运行时(当程序运行时)。

静态检查:在程序运行之前自动发现错误。可在编译阶段发现错误，避免了将错误带入到运行阶段，可提高程序正确性/健壮性。一般典型的静态检查出的错误有：语法错误、类名/函数名错误、参数数目错误、参数类型错误、返回值类型错误等等

动态检查:在执行代码时自动发现bug。动态检查出的典型错误有： 非法的参数值、非法的返回值、越界、空指针等等

不检查:语言根本不能帮助您找到错误。你必须自己留意，否则就会得到错误的答案。

静态类型检查 >> 动态 >> 无检查

静态检查：关于“类型”的检查，不考虑值
动态检查：关于“值”的检查

三、可变性和不变性

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

1、不变性

不变性是一个重要的设计原则。

不变数据类型：一旦被创建，其值不能改变。
如果是引用类型，也可以是不变的：一旦确定其指向的对象，不能再被改变

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

所以，尽量使用final变量作为方法的输入参数、作为局部变量。final表明了程序员的一种“设计决策”

注意：
（1）final类无法派生子类
（2）final变量无法改变值/引用
（3）final方法无法被子类重写

不变对象：一旦被创建，始终指向同一个值/引用
可变对象：拥有方法可以修改自己的值/引用

String就是不可变类型的一个例子。要在字符串的末尾添加东西，你必须创建一个新的字符串对象

而StringBuilder是可变类型的一个例子

不变类型和可变类型有区别吗？
最终的值都是一样的。当只有一个引用指向该值，没有区别；有多个引用的时候，差异就出现了

可变类型的优点：
使用不可变类型，对其频繁修改会产生大量的临时拷贝(需要垃圾回收)。可变类型最少化拷贝以提高效率

使用可变数据类型，还可获得更好的性能， 也适合于在多个模块之间共享数据

但是不可变类型更“安全”，在其他质量指标上表现更好。和可变类型的选择我们需要折中，看我们更看重哪个质量指标。
传递一个可变对象是一个潜在的错误源泉，一旦被改变，这种错误非常难以被发现。

2、防御式拷贝

通过防御式拷贝，返回给客户端一个新的对象。大部分时候该拷贝不会被客户端修改，
可能造成大量的内存浪费。 如果使用不可变类型，则节省了频繁复制的代价。不变性可能比可变性更有效，因为不变性类型永远不需要防御式拷贝。

安全的使用可变类型：局部变量，不会涉及共享；只有一个引用。
如果有多个引用（别名），使用可变类型就非常不安全

四、 Snapshot diagram as a code-level, run-time, and moment view

Snapshot diagrams 用于描述程序运行时的内部状态。好处是便于程序员之间的交流，便于刻画各类变量随时间变化，便于解释设计思路

在Snapshot diagrams基本类型的值：

对象类型的值：

用双线椭圆表示不可变对象，单线椭圆表示可变对象

在快照图中，不可分配的引用(final)用双箭头表示。

引用是不可变的，但指向的值却可以是可变的；可变的引用，也可指向不可
变的值。

练习：

五、复杂数据类型:数组和集合

数组的长度一旦被确定就无法改变。

列表是另一种类型T的可变长度序列。

List的注意事项：
（1）List是一个接口
（2）List中的成员必须是一个对象

一个Set是零个或多个惟一对象的无序集合。
基本操作：

Set是一个抽象接口

Map:

这些复杂数据类型的迭代操作：

Iterator（迭代器，可变类型）
迭代器有两个方法：
（1）next()：返回集合中的下一个元素——这是一个mutator方法
（2）hasNext()：测试迭代器是否已经到达集合的末尾。

List集合中不可以边遍历边删除元素。

六、使用不变的类型

基本类型及其封装对象类型都是不可变的。
Java的集合类型(List, Set, Map)的通常实现都是可变的:ArrayList, HashMap等等。

围绕可变数据类型的不可变包装器：
这种包装器得到的结果是不可变的：只能看。但是这种“不可变”是在运行阶段获得的，编译阶段无法据此进行静态检查。