软件构造复习4 Data Type and Type Checking数据类型与类型检验3.1

java中的两种数据类型

所有对象类型的根类是Object
所有的类都继承自Object
所有的基本类型都有一个对应的对象类型(把基本类型封装成对象类型)
boolean ->Boolean
int ->Integer
char ->Character
byte -> Byte
short -> Short
long ->Long
float -> Float
double ->Double
原因：容器类型（List Set Map）中操作的元素必须是对象类型

java中运算符可以重载

对象的方法被称为方法，类的方法被称为函数

Static and Dynamic data type checking

类型转换

低精度->高精度 √
高精度->低精度 ×

Static checking

在编译阶段发现错误，避免将错误带入运行阶段，可提高程序的正确性/健壮性

1. 语法错误
   2）类名/函数名错误
   3）参数目录错误
   4）参数类型错误
   5）返回值类型错误

Dynamic checking

1）非法的参数值 x/y y=0
2）非法的返回值
3）越界
4）空指针

静态检查和动态检查是在检查的时间不同

静态检查：关于“类型的检查”
动态检查：关于“值”的检查

no error but wrong answer

int n =0 && double n =0
int n =0 n 就是0 double n =0 n 只是无线接近于0 所以不是被除数为0 动态检查也检查不出来

Immutability

java 中利用final实现不变性
String 是不可变的
String s =“a”
s=s.concat(“b”)
“a”没有变，只是s指向“ab”了
StringBuilder 是可变的
使用不可变类型时，对其频繁修改会产生大量的临时拷贝（需要垃圾回收）
使用可变数据类型，可以获得更好的性能
但是 缺点是不够安全
List ： ArrayList 动态数组 LinkedList 链表
Set : HashSet
Map: HashMap
接口和接口的实现类 容器类型，可对多个类型进行操作 <>泛型
通过迭代器删除List中的元素

Useful immutable types

基本类型及其封装类型都是不可变的
.unmodifiable

Null Reference

1.基本类型不能赋值为null
2.string""≠null
3.容器类可以包含null