软件构造感想5

静态与动态数据类型检查

1. Java中的类型转换与C语言类似，此处不过多赘述
2. Java是一种静态类型的语言。 静态类型语言在所有变量的类型在编译时（程序运行之前）是已知的，因此编译器也可以推导出所有表达式的类型。

• 如果将a和b声明为int，则编译器得出的结论是a + b也是int。（实际上，Eclipse环境是在编写代码时执行此操作的，在键入时就能发现许多错误。）

静态检查：

在程序运行之前会自动发现该错误
比如：语法错误、类名/函数名错误、参数数目错误、参数类型错误、返回值类型错误
静态类型检查：可在编译阶段发现错误，避免了将错误带入到运行阶段，可提高程序正确性/健壮性
静态检查：关于“类型”的检查，不考虑值

动态检查：

执行代码后会自动发现错误
比如：非法的参数值、非法的返回值、 越界、空指针
动态检查：关于“值”的检查

注意： 静态类型检查 >> 动态 >> 无检查

可变性和不变性

改变一个变量：将该变量指向另一个值的存储空间
改变一个变量的值：将 该变量当前指向的值的存储空间中写入一个新的值。
值得注意的是：虽然变化是“罪恶”，但程序不能没有变化 ；我们要尽可能避免变化，以避免副作用

不变性

不变性：重要设计原则 
不变数据类型：一旦被创建，其值不能改变  如果是引用类型，也可以是不 变的：一旦确定其指向的对象，不能再被改变
在Java中，要使引用不可变，可以使用关键字final进行声明。但是如果编译器无法确定final变量不会改变，就提示错误，这也是静态类型检查的一部分。所以，尽量使用 final变量作为方法的输入参数、作为局部变量，这表明了程序员的一种“设计决策”
注意：

• final类无法派生 子类
• final变量无法改变值/引用
• final方法 无法被子类重写
• 不变对象：一旦被创建，始终指向同一个值/引用
  可变对象：拥有方法可以修改自己的值/引用