`
一、数据类型
1.Java数据类型、对象类型层次结构
2.类型检查
静态类型语言:
在编译阶段进行类型检查,所有变量的类型在编译期就已经确定
动态类型语言:
在运行阶段进行类型检查,变量的类型在运行期才能确定
静态类型检查:
可发现语法错误、类名/函数名错误、参数数目错误、参数类型错误、返回值类型错误。静态类型检查可在编译阶段发现错误,避免了将错误带入到运行阶段,可提高程序正确性/健壮性
静态类型检查是关于“类型”的检查,不考虑值;动态检查是关于“值”的检查。Java 是一种静态类型语言,它同时具有静态类型检查和动态类型检查。
动态类型检查:
可发现非法的参数值、非法的返回值、越界、空指针
二、可变性与不可变性
改变变量和值的区别
改变一个变量:将该变量指向另一个值的存储空间改变一个变量的值:将该变量当前指向的值的存储空间中写入一个新的值
不变性
不变数据类型(immutable type):一旦被创建,其值不能改变引用不变:一旦确定其指向的对象,不能再被改变(但其值是可能变化的)
Java 中的 final 关键字
- final 类无法派生子类
- final 方法无法被子类重写
- final 变量无法改变其引用(而非值)
不可变类型(immutable)
一旦被创建,就始终代表(对外表现出)同样的值
可变类型(mutable)
拥有方法可以修改自己的值
区别
当只有一个引用指向该值, 可变类型和不可变类型并没有大的区别,但有多个引用的时候,差异就出现了
对于不可变类型,频繁对其运算会产生大量的临时拷贝,可变类型能最少化拷贝以提高效率。因此,使用可变数据类型,可获得更好的性能,也适合于在多个模块之间共享数据
而不可变类型更“安全”, 在其他质量指标上表现更好。例如,向任何方法传入不可变类型的值,不用担心其值被意外修改;多线程可以安全地持有同一个不可变类型的引用,而不用担心竞争
保护可变类型
防御式拷贝: 给客户端返回一个全新的对象大部分时候该拷贝不会被客户端修改, 可能造成大量的内存浪费
单引用局部变量: 把对 mutable 对象的引用限制在类/方法内,不对外暴露如果存在多个引用,使用可变类型就非常不安全
快照图(Snapshot diagram)
快照图用于描述程序运行时的内部状态。使用快照图便于程序员之间的交流、刻画各类变量随时间变化、解释设计思路
基本类型
在箭头末端填写值
对象类型
在箭头末端画一个椭圆,在其中写上对象的类名,更详细的话再包含内部属性。可变类型对象的椭圆使用单线,而不可变类型的椭圆使用双线
引用
可变引用使用单线,不可变引用使用双线