摘要： 第三章第一节 数据类型与类型检查 本章将介绍软件构造的理论基础——ADT，软件构造的技术基础——OOP Outline 数据类型 基本数据类型 对象数据类型 类型检查 静态类型检查 动态类型检查 可变性与不可变性 不可变性 可变性 防御性拷贝 快照图（Snapshot diagram） 基本数据类型 阅读全文