对象揭秘 java eiffel和c_对象揭秘：Java、Eiffel和C++

第1章 语言原则

1.1 程序设计

1.2 交流、抽象和精确性

1.3 表示法

1.4 工具集成

1.5 正确性

1.6 类型

1.7 灵活性、正确性和复用性

1.8 冗余和检查

1.9 封装和实现隐藏

1.10 安全性和代码品质的考虑

1.11 实现和部署的考虑

1.12 为什么要面向对象

1.13 关于程序设计语言的演化

1.14 数学的用途

第1章 语言原则

1.1 程序设计

1.2 交流、抽象和精确性

1.3 表示法

1.4 工具集成

1.5 正确性

1.6 类型

1.7 灵活性、正确性和复用性

1.8 冗余和检查

1.9 封装和实现隐藏

1.10 安全性和代码品质的考虑

1.11 实现和部署的考虑

1.12 为什么要面向对象

1.13 关于程序设计语言的演化

1.14 数学的用途

1.15 遗产系统

第2章 实体和类型

2.1 从位到语义

2.2 基本结构：类

2.3 文法的用处

2.4 类和类型

2.5 结构(C )

2.6 Typedef(C )

2.7 全局环境

2.8 类的元数据

2.9 Obsolete (Eiffel)

2.10 不变式(Eiffel)

2.11 组件

第3章 模块与导入

3.1 命名空间 (C )

3.2 群集 (Eiffel)

3.3 包 (Java)

3.4 头文件 (C )

3.5 导入(Java)

3.6 ACE说明(Eiffel)

3.7 分离还是整合

第4章 成员和特性

4.1 基本结构

4.2 成员 (C 和Java)

4.3 类定义中的匿名参数 (C )

4.4 缺省参数 (C )

4.5 本地实体声明 (Java 和 C )

4.6 内联(C )

4.7 指针和引用 (C )

4.8 声明和定义 (C )

4.9 作用域

4.10 常量

4.11 静态(C )

4.12 单次子程序

4.13 类变量和重定义

第5章 类型扩展：继承与虚拟

第6章 类型扩展：泛型和模板(C 和Eiffel)

第7章 接口和访问控制

第8章 构造函数、析构函数和其他操作符

第9章 类型转换

第10章 编译时刻

第11章 运行时刻

第12章 其他细节

第13章 项目、设计和其他因素

第14章 一般问题

参考书目

术语表

索引