HIT软件构造课程复习笔记（二）

第三章 抽象数据类型ADT和面向对象编程OOP（上） 3.1 数据类型与类型检验 编程语言的数据类型 动/静态类型检查 可变/不可变数据类型 Snapshot图 复杂数据类型：Arrays和Collections 有用的不可变类型 3.2 设计规约 编程语言中的函数/方法 规约概述 规约的设计 3.3 抽象数据类型ADT 抽象和用户自定义类型 ADT中类型和操作的分类 ADT设计原则 表示独立性R

>>阅读原文<<