【软件构造笔记】数据类型

1.数据类型

数据类型：一类值的集合，以及集合上的操作
变量：用特定数据类型定义，可以存储满足类型约束的值
type name
基本数字类型（小写）
对象数据类型（首字母大写）

1.1基本数据类型

byte ,short ,int ,long ,boolean ,double ,float ,

1.2对象数据类型

String ,BigInteger（任意字节）

1.3区别

PS：基本数据类型均是不可变的，在栈中分配内存，无法实现表达式的统一
PS：对象数据类型在堆中分配内存，可以实现表达式与泛型的统一

对象类型基本上都是层次结构，所有的类都是从某一个特定的父类继承（extends）而来的，即（Object）

2.静态/动态类型检查

2.1基础概念

静态类型语言——例如Java
静态类型检查——在编译阶段进行检查，在运行之前自动检查bug，避免将错误带入到运行阶段，可提高程序正确性/健壮性
PS：静态检查是关于类型的检查，不考虑值

动态类型语言——例如python
动态类型检查——在运行阶段进行类型检查，在代码执行的时候查找bug
PS：动态检查是关于“值”得检查

无检查——字面意思

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

2.2静态检查——类型匹配

1.语法错误
2.类名/函数名错误
3.参数数目错误
4.参数类型错误
5.返回值类型错误
if（boolean类型），若为其余，则会出现静态错误
double a=1/5，（不报错）答案错误
double sum=7 ,double n=0 ,double a=sum/n; 无穷

2.3动态检查

1.非法的参数值：x/y(y=0)
2.非法的返回值
3.越界（C语言不检查）
4.空指针

3.可变/不可变

（均为变量，不是常量）
改变一个变量：将该变量指向另一个值的存储空间
改变一个变量的值：将该变量当前指向的值的存储空间中写入一个新的值

3.1 Immutability（不变性）

不变性：重要设计原则
不变数据类型：一旦被创建，其值不能改变
如果是引用类型也可是不变的：一旦确定其指向的对象，不能再被改变。——使用final修饰词，但是如果编译器无法确定final变量会不会改变，就提示错误（静态检查）

设计决策：尽量使用final变量作为方法的输入参数、作为局部变量
注意：
1.final无法派生子类
2.final变量无法改变值/引用
3.final方法无法被子类重写

不变对象：一旦被创建，时钟指向同一个值/引用
可变对象：拥有方法可以修改自己的值/引用
例如：String——不变数据类型（改变一个变量）

例如：StringBuilder——可变数据类型（改变一个变量的值）

3.2区别

当有一个引用指向该值，没有区别
有多个引用的时候，存在差异

使用不可变类型，对其频繁修改会产生大量的临时拷贝（Java功能：垃圾回收O(n*n）)
使用可变类型，可以获得更好的性能，适合在多个模块中共享数据

不可变类型更“安全”，在其他质量指标上表现更好

避免可变类型的危险：局部变量，不涉及共享，只有一个引用
defensive copy：防御性拷贝（大部分该拷贝不会被客户端修改，可能造成大量的内存浪费。如果使用不可变类型，则节省了频繁复制的代价）