概要:
1、基本数据类型vs对象数据类型
2、静态类型检查vs动态类型检查
3、可变型vs不变型
4、防御式拷贝
5、snapshot diagram
3.1数据类型和类型检查
一、基本、对象数据类型
- primitive types 基本数据类型
- object types 对象数据类型
![](https://i-blog.csdnimg.cn/blog_migrate/97a5de213cc145d15c7348482a28f8d7.png)
二、静态Static 类型检查vs 动态Dynamic类型检查
静态
|
动态
|
编译阶段进行检查
|
运行阶段进行检查
|
![]() | ![]() |
关于“类型”的检查,不考虑值
|
关于“值”的检查
|
静态类型检查 >> 动态 >> 无检查
|
- 静态类型语言:在编译阶段进行类型检查
语法错误 类名/函数名错误 参数数目错误 参数类型错误 返回值类型错误
关注类型的事
- 动态类型语言:在运行阶段进行类型检查
非法的参数值 非法的返回值 越界 空指针
关注类型中取值的事
- 改变一个变量 / 变量的值
变量指向另一个值的存储空间 变量当前指向的值的存储空间中写入一个新的值
三、可变Mutability vs 不变Immutability
Mutability and Immutability 可变/不变性
- 不变数据类型:一旦被创建,其值不能改变
eg: final int n = 5; 如果编译器无法确定final变量不会改变,就提示错误.
所以尽量使用final变量作为方法的输入参数、作为局部变量
2. 不变对象:一旦被创建,始终指向同一个值/引用
可变对象:拥有方法可以修改自己的值/引用
![](https://i-blog.csdnimg.cn/blog_migrate/bec06f09f5c3ff5757d6f7297a87f9c9.png)
不变: s,t值没有变化。先断开后生成 可变: s,t值有变化。边断开边生成
可变
|
不可变
|
最少化拷贝以提高效率
|
对其频繁修改会产生大量的临时拷贝(需要垃圾回收)
|
适合于在多个模块之间共享数据
|
在其他质量指标上表现更好 更“安全”
|
四、防御式拷贝
1、通过防御式拷贝给客户端
返回一个全新的
对象。大部分时候该拷贝不会被客户端修改,可能造成大量的内 存浪费。如果使用不可变类型,则节省了频繁复制的代价。(注意绿色部分)
2、引用:如果有多个引用(别名),使用可变类型就非常不安全(注意红色部分)
![](https://i-blog.csdnimg.cn/blog_migrate/b3930933ee4536681c4811a88160ccf7.jpeg)
![](https://i-blog.csdnimg.cn/blog_migrate/ab38433f02c4fb9d943014d308bc7dbc.jpeg)
五、Snapshot diagram
基本类型的值
![](https://i-blog.csdnimg.cn/blog_migrate/d2080bb9398ecbac076fed0a489b54f7.png)
对象类型的值
![](https://i-blog.csdnimg.cn/blog_migrate/f4761b2a6f5369425525349825f34e59.png)
不可变对象:用双线椭圆;
不可变的引用:用双线箭头(引用是不可变的,但指向的值却可以是可变的;可变的引用,也可指向不可变的值)。
上图s、t即为Snapshot示例;
例1:
![](https://i-blog.csdnimg.cn/blog_migrate/2ab3cccbe5585d077ff43b2da57569f6.jpeg)
例2:
![](https://i-blog.csdnimg.cn/blog_migrate/f32da198e99b8fcb27c01cbc1ec54d39.jpeg)