《对象式程序设计语言》

第一章引 言1

1.1 软件1

1.2 软件开发5

1.3 程序设计语言7

1.4 对象式设计11

1.5 本书的目的与体式14

第二章概述15

2.1 背景和历史15

2.2 基本概念21

2.3 典型语言29

第三章对象式计算40

3.1 简述40

3.2 非形式描述44

3.3 形式描述的基本思想和构架48

3.4 通信51

3.5 对象55

3.6 对象式系统60

3.7 对象式计算64

第四章对象69

4.1 简述69

4.2 对象的创建73

4.3 对象的活动77

4.4 对象的消亡80

4.5 小结84

第五章类85

5.1 概念85

5.2 种类90

5.3 组成95

5.4 类间关系与类空间104

5.5 延迟类108

第六章特征112

6.1 概述112

6.2 特征说明115

6.3 特征调用118

6.4 属性123

6.5 程式126

6.6 延迟特征131

第七章继承134

7.1 继承关系134

7.2 特征调整143

7.3 重复继承158

第八章允引173

8.1 允引关系173

8.2 移出特征179

8.3 允引和继承184

第九章类型188

9.1 概述188

9.2 类型定义与使用192

9.3 类型适应性198

9.4 类型检查204

第十章多态210

10.1 多态概念与分类210

10.2 多态的表示与实现214

10.3 类属和继承221

第十一章类库233

11.1 语言和类库233

11.2 SMALLTALK的类库234

11.3 EIFFEL类库245

11.4 类库的设计原则254

11.5 数据结构类库的设计255

第十二章类的正确性261

12.1 正确性和语义261

12.2 断言的表示263

12.3 断言的其他应用270

12.4 断言的局限性271

12.5 断言的语法描述271

第十三章接口设计273

13.1 设计准则273

13.2 链表274

13.3 基于状态的类的接口设计279

13.4 异常处理298

13.5 类的文档305

第十四章对象式软件开发317

14.1 软件质量317

14.2 对象式开发319

14.3 开发模型321

14.4 语言设施322

索引331

参考文献339