hit软件构造课程总结【4】

4 Data Type and Type Checking

数据类型与类型检验

• 数据类型：
  • 数据类型是一组值以及可以对其执行的操作。
  • Java中存在基本数据类型（如int, long, boolean）和对象数据类型（如String, BigInteger）。
  • 对象类型之间存在继承关系，形成层次结构。
  • 
• 类型检查：
  • 静态类型检查：在编译时进行，能够提前发现类型错误等bug，提高代码安全性和可维护性。
  • 动态类型检查：在运行时进行，主要检查值相关的错误。
  • Java是静态类型语言，但也支持自动类型转换。
  • 
• 可变性和不变性：
  • 可变类型：其值可以改变，例如StringBuilder。
  • 不可变类型：其值一旦创建就不能改变，例如String。
  • 不可变类型更安全、更易于理解和维护，应尽可能使用。
  • 可变类型可以提高性能和方便共享数据，但需要谨慎使用，避免引入bug。
  • 
• Snapshot图：
  • 用于描述程序运行时的内部状态，包括栈和堆。
  • 帮助理解数据类型、可变/不可变引用、别名等概念。
  • 
• 复杂数据类型：
  • 数组：固定长度的序列。
  • 集合：可变长度的序列，包括List、Set和Map等接口，以及ArrayList、HashSet和HashMap等实现类。
  • 迭代器：用于遍历集合中的元素，本身是可变的。
  • 
• 不可变包装器：
  • Collections工具类提供了不可变包装器，可以将可变集合转换为不可变集合，提高安全性。

总结：

• 静态类型检查和不可变类型是提高代码质量的重要手段。
• 理解可变性和不变性，以及Snapshot图的使用，有助于编写更安全、更易于理解和维护的代码。