软件构造复习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

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

语法错误 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