對象揭秘：Java、Eiffel和C++

第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  封裝和實現(xiàn)隱藏　21
1.10  安全性和代碼品質(zhì)的考慮　25
1.11  實現(xiàn)和部署的考慮　26
1.12  為什么要面向?qū)ο蟆?7
1.13  關于程序設計語言的演化　27
1.14  數(shù)學的用途　28
1.15  遺產(chǎn)系統(tǒng)　28
第2章  實體和類型　31
2.1  從位到語義　31
2.2  基本結構：類　37
2.3  文法的用處　45
2.4  類和類型　48
2.5  結構（C++）　49
2.6  Typedef（C++）　49
2.7  全局環(huán)境　50
2.8  類的元數(shù)據(jù)　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)　69
3.4  頭文件 (C++)　69
3.5  導入(Java)　73
3.6  ACE說明(Eiffel)　73
3.7  分離還是整合　74
第4章  成員和特性　77
4.1  基本結構　77
4.2  成員 (C++和Java)　88
4.3  類定義中的匿名參數(shù) (C++)　88
4.4  缺省參數(shù) (C++)　90
4.5  本地實體聲明 (Java 和 C++)　92
4.6  內(nèi)聯(lián)(C++)　93
4.7  指針和引用 (C++)　98
4.8  聲明和定義 (C++)　98
4.9  作用域　100
4.10  常量　100
4.11  靜態(tài)(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  多態(tài)與繼承　138
5.7  聯(lián)合　139
5.8  枚舉類型　143
5.9  名字重載　146
5.10  虛函數(shù)（C++）　152
5.11  純虛函數(shù)（C++）　159
5.12  函數(shù)重載 （C++和Java）　162
5.13  虛擬與內(nèi)聯(lián)　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  泛型和協(xié)變　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章  構造函數(shù)、析構函數(shù)和其他操作符　207
8.1  無名構造函數(shù)（C++）　207
8.2  缺省構造函數(shù)（C++和Java）　208
8.3  構造函數(shù)繼承　208
8.4  擴展的初始化（Eiffel）　209
8.5  構造函數(shù)初始化（C++）　209
8.6  析構函數(shù)（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  隱式轉(zhuǎn)換和重載（C++）　219
8.15  調(diào)用父類的特性　220
8.16  調(diào)用子類的特性　223
8.17  條件表達式　224
第9章  類型轉(zhuǎn)換　225
9.1  類型轉(zhuǎn)換（C++）　225
9.2  運行時類型識別和類型轉(zhuǎn)換（C++）　228
9.3  新的類型轉(zhuǎn)換（C++）　232
9.4  類型推導　232
9.5  Java和類型轉(zhuǎn)換　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  構造函數(shù)和臨時變量（C++）　273
11.4  不良刪除（C++）　274
11.5  切割（C++）　275
11.6  程序執(zhí)行　276
11.7  動態(tài)鏈接　277
11.8  異常處理　279
11.9  鏈接錯誤（Java）　283
第12章  其他細節(jié)　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.9  復用性和尺寸　308
13.10  模式化編程　308
13.11  低級編碼　309
13.12  知道正確的結構　310
13.13  效率與優(yōu)化　310
13.14  標準化、穩(wěn)定性和成熟度　312
13.15  復雜性　314
13.16  C++：面向?qū)ο笳Z言的壓倒多數(shù)選擇　318
第14章  一般問題　321
14.1  指針　322
14.2  布爾類型　324
14.3  邏輯運算符和位運算符　326
14.4  數(shù)組　327
14.5  函數(shù)參數(shù)　331
14.6  void和void*　332
14.7  NULL 與0　338
14.8  char；signed和unsigned　339
14.9  void fn ()　340
14.10  fn ()　341
14.11  fn (void)　344
14.12  return　344
14.13  Switch語句　346
14.14  字符串中的元數(shù)據(jù)　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