对象揭秘：Java、Eiffel和C++PDF电子书下载

目录 1

第1章语言原则 1

1.1程序设计 3

1.2交流、抽象和精确性 6

1.3表示法 8

1.4工具集成 9

1.5正确性 9

1.6类型 14

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

1.8冗余和检查 19

1.9封装和实现隐藏 21

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

1.11实现和部署的考虑 26

1.12为什么要面向对象 27

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

1.14数学的用途 28

1.15遗产系统 28

第2章实体和类型 31

2.1从位到语义 31

2.2基本结构：类 37

2.3文法的用处 45

2.4类和类型 48

2.5 结构（C++） 49

2.6Typedef（C++） 49

2.7全局环境 50

2.8类的元数据 51

2.9 Obsolete(Eiffel) 54

2.10不变式(Eiffel) 56

2.11组件 58

第3章模块与导入 63

3.1命名空间（C++） 64

3.2群集（Eiffel） 67

3.3包（Java） 68

3.4头文件（C++） 68

3.5导入（Java） 72

3.6 ACE说明（Eiffel） 72

3.7分离还是整合 73

第4章成员和特性 77

4.1基本结构 77

4.2成员（C++和Java） 88

4.3类定义中的匿名参数（C++） 88

4.4缺省参数（C++） 90

4.5本地实体声明（Java和C++） 92

4.6内联（C++） 93

4.7指针和引用（C++） 98

4.8声明和定义（C++） 98

4.9作用域 100

4.10常量 100

4.11静态（C++） 103

4.12单次子程序 104

4.13类变量和重定义 105

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

5.1基本结构：继承和派生类 109

5.2继承的本性 116

5.3多重继承 121

5.4虚类（C++） 129

5.5嵌套类（Java和C++） 132

5.6多态与继承 138

5.7联合 139

5.8枚举类型 143

5.9名字重载 146

5.10虚函数（C++） 152

5.11 纯虚函数（C++） 159

5.12 函数重载（C++和Java） 162

5.13虚拟与内联 168

第6章类型扩展：泛型和模板（C++和Eiffel） 171

6.1基本结构 173

6.2 C++语法 176

6.3受束泛型 176

6.4泛型和代码膨胀 177

6.5泛型的替代形式 178

6.6 Java和泛型 182

6.7一些关于泛型的理论 186

6.8泛型和协变 189

第7章接口和访问控制 191

7.1基本结构 191

7.2友元（C++） 193

7.3受控导出与友元 195

7.4多接口 200

7.5外部赋值（C++和Java） 201

7.6导出控制和嵌套 202

7.7 可变常量（C++） 204

7.8一般化 205

8.1无名构造函数（C++） 207

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

8.2缺省构造函数（C++和Java） 208

8.3构造函数继承 208

8.4扩展的初始化（Eiffel） 209

8.5构造函数初始化（C++） 209

8.6析构函数（C++） 211

8.7 Dispose（Eiffel） 211

8.8＝操作符（C++） 211

8.9和-＞(C++) 212

8.10 Delete和Delete[](C++) 215

8.11前缀和后缀运算符（C++） 216

8.12 Ⅱ和 (C++) 217

8.13运算符重载（C++和Eiffel） 218

8.14隐式转换和重载（C++） 219

8.15调用父类的特性 220

8.16调用子类的特性 223

8.17条件表达式 224

第9章类型转换 225

9.1类型转换（C++） 225

9.2运行时类型识别和类型转换（C++） 228

9.4类型推导 232

9.3新的类型转换（C++） 232

9.5 Java和类型转换 233

9.6签名变化（Eiffel） 233

第10章编译时刻 247

10.1全局分析 247

10.2类型安全链接（C++） 249

10.3类接口 251

第11章运行时刻 253

11.1并行——是时间了 253

11.2垃圾收集 266

11.3构造函数和临时变量（C++） 273

11.4不良删除（C++） 274

11.5 切害（C++） 275

11.6程序执行 276

11.7动态链接 277

11.8异常处理 279

11.9链接错误（Java） 283

第12章其他细节 285

12.1注释 285

12.2十六进制常量（Eiffel） 287

12.3 Double,double toil和trouble 288

12.4类头部声明（C++） 290

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

13.1契约式设计 293

13.2先验条件、类型、不变式 296

13.3软件生命周期 297

13.4 CASE工具 301

13.5复用性和交流 303

13.6复用性和信任 304

13.7复用性和兼容性 305

13.8复用性和可移植性 307

13.10模式化编程 308

13.9复用性和尺寸 308

13.11低级编码 309

13.12知道正确的结构 310

13.13效率与优化 310

13.14标准化、稳定性和成熟度 312

13.15复杂性 314

13.16 C++：面向对象语言的压倒多数选择 318

第14章一般问题 321

14.1指针 322

14.2布尔类型 324

14.3逻辑运算符和位运算符 326

14.4数组 327

14.5函数参数 331

14.6 void和void* 332

14.7 NULL与0 338

14.8 char;signed和unsigned 339

14.9 voidfn() 340

14.10fn() 341

14.11 fn (void) 344

14.12 return 344

14.13 Switch语句 346

14.14字符串中的元数据 347

14.15++,-- 348

14.16赋值运算符 350

14.17赋值表达式 352

14.18宏定义 354

14.19大小写敏感性 356

14.20分号 359

14.21注释 361

14.22耦合因素（Cpaghe++i） 362

参考书目 365

术语表 375

索引 385