【软件构造】第三章第一节 数据类型与类型检查

第三章第一节 数据类型与类型检查 　　本章将介绍软件构造的理论基础——ADT，软件构造的技术基础——OOP Outline 数据类型 基本数据类型 对象数据类型 类型检查 静态类型检查 动态类型检查 可变性与不可变性 不可变性 可变性 防御性拷贝 快照图（Snapshot diagram） Notes ##数据类型及其表达  【基本数据类型】（引自 菜鸟教程） 　　Java语言提供了八种基本类型。

>>阅读原文<<