软件构造课程总结（2）

软件构造课程总结（2）

这里是HIT2021软件构造课程的总结博客，主要书写了本学期软件构造的所有课程内容和实验内容。

第四章、数据类型与类型检验

1.程序中的数据类型

数据类型范围基本数据类型和对象数据类型。

基本数据类型：
int, long, byte, short, char,float, double, boolean
只有值，没有ID
均为不可变类型
在栈中分配内存

对象数据类型：
又值也有ID
在堆中分配内存

对象数据类型的结构：
有继承关系
有操作符
有重载

2.可变和不可变类型
一句话来说，可变数据类型在内存中的值是可以变化的，而不可变数据类型在内存中的值是不能变化的，如果要改变变量，则需要重新分配一块内存，在这个内存中赋值，并且将指针到这块新的内存。
在创造变量的时候加上final关键字可以使得变量变为不可变类型。
比如String是一种不可变类型，则以下代码会在内存中发生这样的变化：
String s = “a”;
s = s.concat(“b”);
先创造一个字符串"a"，将s指向这块内存。
然后创造一个字符串"ab"，将s的指针改为这块内存。

不可变类型与可变类型在遇到多个引用的时候会存在差异。

不可变类型需要垃圾回收，但比较安全。
可变类型不需要垃圾回收，速度比较快，但是不那么安全。
可变类型需要防御式拷贝进行保护。

第五章、数据类型与类型检验

1.spec
一句话来说，spec描述了函数的作用，以及前置条件（对输入的限制）和后置条件（对输出的要求）。

2.spec的强度
一句话来说，前置条件越弱，后置条件越强，spec就越强。