ImperfectC++中文版（擁抱C++）

 
第一部分  基礎(chǔ)知識(shí) 1
第1章  強(qiáng)制設(shè)計(jì)：約束、契約和斷言 3
1.1  綠蛋和火腿 4
1.2  編譯期契約：約束 4
1.2.1  must_have_base() 5
1.2.2  must_be_subscriptable() 6
1.2.3  must_be_subscriptable_
as_decayable_pointer() 6
1.2.4  must_be_pod() 7
1.2.5  must_be_same_size() 9
1.2.6  使用約束 10
1.2.7  約束和TMP 11
1.2.8  約束：尾聲 11
1.3  運(yùn)行期契約：前置條件、后
置條件和不變式 12
1.3.1  前置條件 13
1.3.2  后置條件 13
1.3.3  類不變式 15
1.3.4  檢查？總是進(jìn)行 16
1.3.5  DbC還是不DbC 17
1.3.6  運(yùn)行期契約：尾聲 17
1.4  斷言 18
1.4.1  獲取消息 19
1.4.2  不恰當(dāng)?shù)臄嘌?20
1.4.3  語(yǔ)法以及64位指針 21
1.4.4  避免使用verify() 21
1.4.5  為你的斷言命名 22
1.4.6  避免使用#ifdef_DEBUG 23
1.4.7  DebugBreak()和int 3 24
1.4.8  靜態(tài)/編譯期斷言 24
1.4.9  斷言：尾聲 26
第2章  對(duì)象生命期 27
2.1  對(duì)象生命周期 27
2.2  控制你的客戶端 28
2.2.1  成員類型 28
2.2.2  缺省構(gòu)造函數(shù) 28
2.2.3  拷貝構(gòu)造函數(shù) 29
2.2.4  拷貝賦值 29
2.2.5  new和delete 30
2.2.6  虛析構(gòu) 30
2.2.7  explicit 31
2.2.8  析構(gòu)函數(shù) 31
2.2.9  友元 32
2.3  MIL及其優(yōu)點(diǎn) 33
2.3.1  取得一塊更大的場(chǎng)地 35
2.3.2  成員順序依賴 37
2.3.3  offsetof() 38
2.3.4  MIL：尾聲 39
第3章  資源封裝 40
3.1  資源封裝分類 40
3.2  POD類型 41
3.2.1  直接操縱 41
3.2.2  API函數(shù)和透明類型 42
3.2.3  API函數(shù)和不透明類型 42
3.3  外覆代理類 43
3.4  RRID類型 45
3.4.1  缺省初始化：緩式初
始化 46
3.4.2  未初始化 48
3.5  RAII類型 51
3.5.1  常性RAII和易變性
RAII 51
3.5.2  內(nèi)部初始化和外部初
始化 53
3.5.3  RAII排列 53
3.6  RAII：尾聲 54
3.6.1  不變式 54
3.6.2  錯(cuò)誤處理 54
第4章  數(shù)據(jù)封裝和值類型 55
4.1  數(shù)據(jù)封裝的分類學(xué) 55
4.2  值類型和實(shí)體類型 56
4.3  值類型的分類學(xué) 56
4.4  開放式類型 58
4.4.1  POD開放式類型 58
4.4.2  C++數(shù)據(jù)結(jié)構(gòu) 59
4.5  封裝式類型 60
4.6  值類型 61
4.7  算術(shù)值類型 62
4.8  值類型：尾聲 63
4.9  封裝：尾聲 64
第5章  對(duì)象訪問(wèn)模型 68
5.1  確定性生命期 68
5.2  返回拷貝 70
5.3  直接交給調(diào)用者 70
5.4  共享對(duì)象 71
第6章  域守衛(wèi)類 73
6.1  值 73
6.2  狀態(tài) 78
6.3  API和服務(wù) 83
6.3.1  API 83
6.3.2  服務(wù) 86
6.4  語(yǔ)言特性 87
第二部分  生存在現(xiàn)實(shí)世界 89
第7章  ABI 91
7.1  共享代碼 91
7.2  C ABI需求 93
7.2.1  結(jié)構(gòu)布局 93
7.2.2  調(diào)用約定、符號(hào)名以及
目標(biāo)文件格式 94
7.2.3  靜態(tài)連接 94
7.2.4  動(dòng)態(tài)連接 95
7.3  C++ ABI需求 96
7.3.1  對(duì)象布局 97
7.3.2  虛函數(shù) 97
7.3.3  調(diào)用約定和名字重整 97
7.3.4  靜態(tài)連接 99
7.3.5  動(dòng)態(tài)連接 99
7.4  現(xiàn)在知道怎么做了 100
7.4.1  extern“C” 100
7.4.2  名字空間 103
7.4.3  extern“C++” 103
7.4.4  獲得C++類的句柄 106
7.4.5 “由實(shí)現(xiàn)定義”的隱患 108
第8章  跨邊界的對(duì)象 110
8.1  近乎可移植的虛函數(shù)表 110
8.1.1  虛函數(shù)表布局 111
8.1.2  動(dòng)態(tài)操縱虛函數(shù)表 113
8.2  可移植的虛函數(shù)表 114
8.2.1  利用宏進(jìn)行簡(jiǎn)化 116
8.2.2  兼容的編譯器 116
8.2.3  可移植的服務(wù)端對(duì)象 117
8.2.4  簡(jiǎn)化可移植接口的
實(shí)現(xiàn) 119
8.2.5  C客戶代碼 120
8.2.6  OAB的約束 120
8.3  ABI/OAB尾聲 121
第9章  動(dòng)態(tài)庫(kù) 123
9.1  顯式調(diào)用函數(shù) 123
9.1.1  顯式調(diào)用C++函數(shù) 124
9.1.2  打破C++訪問(wèn)控制 125
9.2  同一性：連接單元和連接
空間 125
9.2.1  連接單元 125
9.2.2  連接空間 126
9.2.3  多重身份 126
9.3  生命期 127
9.4  版本協(xié)調(diào) 128
9.4.1  丟失的函數(shù) 128
9.4.2  變化的簽名 128
9.4.3  行為的改變 129
9.4.4  常量 129
9.5  資源所有權(quán) 130
9.5.1  共享池 130
9.5.2  返還給被調(diào)用方 130
9.6  動(dòng)態(tài)庫(kù)：尾聲 131
第10章  線程 132
10.1  對(duì)整型值的同步訪問(wèn) 133
10.1.1  操作系統(tǒng)函數(shù) 134
10.1.2  原子類型 135
10.2  對(duì)（代碼）塊的同步訪問(wèn)：
臨界區(qū) 136
10.2.1  進(jìn)程間互斥體和進(jìn)程內(nèi)互斥體 137
10.2.2  自旋互斥體 138
10.3  原子整型的性能 139
10.3.1  基于互斥體的原子
整型 139
10.3.2  運(yùn)行期按架構(gòu)派發(fā) 141
10.3.3  性能比較 142
10.3.4  原子整型操作：尾聲 143
10.4  多線程擴(kuò)展 144
10.4.1  synchronized 144
10.4.2  匿名synchronized 147
10.4.3  atomic 147
10.5  線程相關(guān)的存儲(chǔ) 148
10.5.1  重入 148
10.5.2  線程相關(guān)的數(shù)據(jù)/線
程局部存儲(chǔ) 148
10.5.3  declspec(thread)和
TLS 150
10.5.4  Tss庫(kù) 150
10.5.5  TSS的性能 155
第11章  靜態(tài)對(duì)象 156
11.1  非局部靜態(tài)對(duì)象：全局對(duì)象 157
11.1.1  編譯單元內(nèi)的順序性 158
11.1.2  編譯單元間的順序性 159
11.1.3  利用main()避免全局
變量 161
11.1.4  全局對(duì)象尾聲：順
序性 162
11.2  單件 163
11.2.1  Meyers單件 163
11.2.2  Alexandrescu單件 164
11.2.3  即時(shí)Schwarz計(jì)數(shù)器：
一個(gè)極妙的主意 165
11.2.4  對(duì)API計(jì)數(shù) 166
11.2.5  被計(jì)數(shù)的API、外覆類、
代理類：最終得到一個(gè)
順序化的單件 168
11.3  函數(shù)范圍內(nèi)的靜態(tài)對(duì)象 169
11.3.1  犧牲緩式求值能力 171
11.3.2  自旋互斥體是救星 171
11.4  靜態(tài)成員 172
11.4.1  解決連接問(wèn)題 172
11.4.2  自適應(yīng)代碼 174
11.5  靜態(tài)對(duì)象：尾聲 175
第12章  優(yōu)化 176
12.1  內(nèi)聯(lián)函數(shù) 176
12.1.1  警惕過(guò)早優(yōu)化 176
12.1.2  只含有頭文件的庫(kù) 177
12.2  返回值優(yōu)化 177
12.3  空基類優(yōu)化 180
12.4  空派生類優(yōu)化 183
12.5  阻止優(yōu)化 184
第三部分  語(yǔ)言相關(guān)的議題 188
第13章  基本類型 189
13.1  可以給我來(lái)一個(gè)字節(jié)嗎 189
13.1.1  標(biāo)明符號(hào) 190
13.1.2  一切都在名字之中 190
13.1.3  窺探void內(nèi)部 191
13.1.4  額外的安全性 191
13.2  固定大小的整型 192
13.2.1  平臺(tái)無(wú)關(guān)性 193
13.2.2  類型相關(guān)的行為 195
13.2.3  固定大小的整型：
尾聲 197
13.3  大整型 198
13.4  危險(xiǎn)的類型 200
13.4.1  引用和臨時(shí)對(duì)象 200
13.4.2  bool 201
第14章  數(shù)組和指針 204
14.1  不要重復(fù)你自己 204
14.2  數(shù)組退化為指針 206
14.2.1  下標(biāo)索引操作符的
交換性 206
14.2.2  阻止退化 208
14.3  dimensionof() 209
14.4  無(wú)法將數(shù)組傳遞給函數(shù) 211
14.5  數(shù)組總是按地址進(jìn)行傳遞 214
14.6  派生類的數(shù)組 215
14.6.1  通過(guò)指針保存多態(tài)
類型 216
14.6.2  提供非缺省的構(gòu)造
函數(shù) 217
14.6.3  隱藏向量式new和
delete 218
14.6.4  使用std::vector 218
14.6.5  確保類型的大小相同 219
14.7  不能擁有多維數(shù)組 222
第15章  值 226
15.1  NULL的是非曲直 226
15.2  回到0 232
15.3  屈服于事實(shí) 235
15.4  字面量 236
15.4.1  整型 236
15.4.2  后綴 238
15.4.3  字符串 240
15.5  常量 243
15.5.1  簡(jiǎn)單常量 243
15.5.2  類類型常量 244
15.5.3  成員常量 245
15.5.4  類類型的成員常量 248
第16章  關(guān)鍵字 251
16.1  interface 251
16.2  temporary 253
16.3  owner 256
16.4  explicit(_cast) 261
16.4.1  使用顯式訪問(wèn)函數(shù) 263
16.4.2  模擬顯式轉(zhuǎn)換 264
16.4.3  使用特性墊片 265
16.5  unique 266
16.6  final 267
16.7  不被支持的關(guān)鍵字 267
第17章  語(yǔ)法 270
17.1  類的代碼布局 270
17.2  條件表達(dá)式 273
17.2.1  “使它布爾” 273
17.2.2  一個(gè)危險(xiǎn)的賦值 275
17.3  for 277
17.3.1  初始化作用域 277
17.3.2  異質(zhì)初始化類型 278
17.4  變量命名 280
17.4.1  匈牙利命名法 280
17.4.2  成員變量 281
第18章  Typedef 284
18.1  指針typedef 286
18.2  定義里面有什么 288
18.2.1  概念性的類型定義 288
18.2.2  上下文相關(guān)的類型
定義 289
18.3  別名 292
18.3.1  錯(cuò)誤的概念性類型
互換 293
18.3.2  不能對(duì)概念性類型進(jìn)
行重載 294
18.4  true_typedef 294
18.5  好的、壞的、丑陋的 300
18.5.1  好的typedef 300
18.5.2  壞的typedef 303
18.5.3  可疑的typedef 304
第四部分  感知式轉(zhuǎn)換 308
第19章  強(qiáng)制 310
19.1  隱式轉(zhuǎn)換 310
19.2  C++中的強(qiáng)制 311
19.3  適合使用C強(qiáng)制的場(chǎng)合 312
19.4  模仿強(qiáng)制 314
19.5  explicit_cast 316
19.6  literal_cast 321
19.7  union_cast 323
19.8  comstl::interface_cast 327
19.8.1  interface_cast_addref 328
19.8.2  interface_cast_noaddref 329
19.8.3  interface_cast_test 329
19.8.4  接口強(qiáng)制操作符的
實(shí)現(xiàn) 330
19.8.5  保護(hù)引用計(jì)數(shù) 333
19.8.6  interface_cast_base 334
19.8.7  IID_traits 335
19.8.8  interface_cast 尾聲 336
19.9  boost::polymorphic_cast 337
19.10  強(qiáng)制：尾聲 339
第20章  墊片 341
20.1  擁抱變化 擁抱自由 341
20.2  特性墊片 344
20.3  邏輯墊片 346
20.4  控制墊片 347
20.5  轉(zhuǎn)換墊片 348
20.6  復(fù)合式墊片概念 350
20.6.1  訪問(wèn)墊片 351
20.6.2  返回值生命期 352
20.6.3  泛化的類型操縱 354
20.6.4  效率方面的考慮 356
20.7  名字空間和Koenig查找 357
20.8  為何不使用traits 359
20.9  結(jié)構(gòu)一致性 360
20.10  打破巨石 362
20.11  墊片：尾聲 363
第21章  飾面 365
21.1  輕量級(jí)RAII 366
21.2  將數(shù)據(jù)和操作綁定在一起 367
21.2.1  pod_veneer 368
21.2.2  創(chuàng)建日志消息 370
21.2.3  減少浪費(fèi) 371
21.2.4  類型安全的消息類 372
21.3 “擦亮”飾面概念 374
21.4  飾面：尾聲 376
第22章  螺栓 377
22.1  添加功能 377
22.2  皮膚選擇 378
22.3  非虛重寫 379
22.4  巧用作用域 380
22.5  擬編譯期多態(tài)：逆反式
螺栓 383
22.6  參數(shù)化多態(tài)包裝 384
22.7  螺栓：尾聲 386
第23章  模板構(gòu)造函數(shù) 387
23.1  不易察覺的開銷 389
23.2  懸掛引用 389
23.3  模板構(gòu)造函數(shù)特化 391
23.4  實(shí)參代理 392
23.5  明確實(shí)參的范疇 394
23.6  模板構(gòu)造函數(shù)：尾聲 395
第五部分  操作符 396
第24章  operator bool() 398
24.1  operator int() const 398
24.2  operator void *() const 399
24.3  operator bool() const 400
24.4  operator !() const 401
24.5  operator boolean const *()
const 401
24.6  operator int boolean::*()
const 402
24.7  在現(xiàn)實(shí)世界中操作 402
24.8  operator! 407
第25章  快速、非侵入性的字符串
拼接 408
25.1  fast_string_concatenator<> 409
25.1.1  與用戶自定義的字符
串類協(xié)同工作 409
25.1.2  將“拼接子”串起來(lái) 410
25.1.3  fast_string_concatenator
類 411
25.1.4  內(nèi)部實(shí)現(xiàn) 413
25.2  性能 417
25.3  與其他字符串類協(xié)作 420
25.3.1  整合進(jìn)標(biāo)準(zhǔn)庫(kù)中 420
25.3.2  整合進(jìn)可改動(dòng)的現(xiàn)存
類中 420
25.3.3  與不可更改的類互
操作 420
25.4  拼接提示 421
25.5  病態(tài)括號(hào) 422
25.6  標(biāo)準(zhǔn)化 423
第26章  你的地址是什么 424
26.1  無(wú)法得到真實(shí)的地址 424
26.1.1  STL式元素存放 424
26.1.2  ATL外覆類和CAdapt 425
26.1.3  獲取真實(shí)的地址 426
26.2  在轉(zhuǎn)換過(guò)程中發(fā)生了什么 427
26.3  我們返回什么 429
26.4  你的地址是什么：尾聲 431
第27章  下標(biāo)索引操作符 434
27.1  指針轉(zhuǎn)換與下標(biāo)索引操作符 434
27.1.1  選擇隱式轉(zhuǎn)換操作符 436
27.1.2  選擇下標(biāo)索引操作符 437
27.2  錯(cuò)誤處理 437
27.3  返回值 439
第28章  增量操作符 441
28.1  缺少后置式操作符 442
28.2  效率 443
第29章  算術(shù)類型 446
29.1  類定義 446
29.2  缺省構(gòu)造 447
29.3  初始化（值構(gòu)造） 447
29.4  拷貝構(gòu)造函數(shù) 450
29.5  賦值 450
29.6  算術(shù)操作符 451
29.7  比較操作符 452
29.8  訪問(wèn)值 452
29.9  sinteger64 453
29.10  截?cái)唷⑻嵘约安紶枩y(cè)試 453
29.10.1  截?cái)?453
29.10.2  提升 455
29.10.3  布爾測(cè)試 455
29.11  算術(shù)類型：尾聲 456
第30章  短路 458
第六部分  擴(kuò)展C++ 460
第31章  返回值生命期 461
31.1  返回值生命期問(wèn)題分類 461
31.1.1  局部變量 462
31.1.2  局部靜態(tài)對(duì)象 462
31.1.3  析構(gòu)后指針
（Postdestruction Pointers） 462
31.2  為何按引用返回 462
31.3  解決方案1：
integer_to_string<> 462
31.4  解決方案2——TSS 465
31.4.1  --declspec(thread) 466
31.4.2  Win32 TLS 466
31.4.3  平臺(tái)無(wú)關(guān)的API 469
31.4.4  RVL 470
31.5  解決方案3——擴(kuò)展RVL 470
31.5.1  解決線程內(nèi)的RVL-LS問(wèn)題 471
31.5.2  RVL 472
31.6  解決方案4——靜態(tài)數(shù)組大
小決議 472
31.7  解決方案5——轉(zhuǎn)換墊片 474
31.8  性能 476
31.9  RVL：垃圾收集的大勝利 477
31.10  可能的應(yīng)用 478
31.11  返回值生命期：尾聲 478
第32章  內(nèi)存 479
32.1  內(nèi)存分類 479
32.1.1  棧和靜態(tài)內(nèi)存 479
32.1.2  棧擴(kuò)張 480
32.1.3  堆內(nèi)存 481
32.2  兩者之間的折衷 481
32.2.1  alloca() 482
32.2.2  VLA 483
32.2.3  auto_buffer<> 483
32.2.4  使用auto_buffer 486
32.2.5  EBO，在哪里 487
32.2.6  性能 488
32.2.7  堆、棧以及其他 490
32.2.8  pod_vector<> 491
32.3  配置器 493
32.3.1  函數(shù)指針 493
32.3.2  配置器接口 494
32.3.3  每庫(kù)初始化（Per-library
Initialization） 495
32.3.4  每調(diào)用指定（Per-Call
Specification） 496
32.4  內(nèi)存：尾聲 496
第33章  多維數(shù)組 497
33.1  激活下標(biāo)索引操作符 498
33.2  運(yùn)行時(shí)確定大小 499
33.2.1  可變長(zhǎng)數(shù)組 499
33.2.2  vector< ... vector
... > 500
33.2.3  boost::multi_array 501
33.2.4  fixed_array_1/2/3/4d 501
33.3  編譯期確定大小 505
33.3.1  boost::array 506
33.3.2  static_array_1/2/3/4d 506
33.4  塊訪問(wèn) 508
33.4.1  使用std::fill_n() 509
33.4.2  array_size墊片 510
33.5  性能 512
33.5.1  運(yùn)行期確定大小 513
33.5.2  編譯期確定大小 514
33.6  多維數(shù)組：尾聲 515
第34章  仿函數(shù)和區(qū)間 516
34.1  語(yǔ)法混亂 516
34.2  for_all() 517
34.2.1  數(shù)組 518
34.2.2  命名 518
34.3  局部仿函數(shù) 520
34.3.1  手寫循環(huán) 520
34.3.2  自定義仿函數(shù) 521
34.3.3  內(nèi)嵌的仿函數(shù) 521
34.3.4  溫和一些 523
34.3.5  泛化的仿函數(shù)：類型隧
道（Type Tunneling） 524
34.3.6  再進(jìn)一步，走得太
遠(yuǎn)了 526
34.3.7  局部仿函數(shù)和回調(diào)
API 527
34.4  區(qū)間 529
34.4.1  區(qū)間概念 529
34.4.2  概念性區(qū)間 531
34.4.3  可迭代區(qū)間 533
34.4.4  區(qū)間算法和標(biāo)簽 533
34.4.5  過(guò)濾器 535
34.4.6  虛偽 536
34.5  仿函數(shù)和區(qū)間：尾聲 536
第35章  屬性 537
35.1  編譯器擴(kuò)展 539
35.2  可供選擇的實(shí)現(xiàn)方案 539
35.2.1  將屬性的實(shí)現(xiàn)分門
別類 540
35.2.2  EMO 540
35.3  字段屬性 541
35.3.1  field_property_get 541
35.3.2  field_property_set 545
35.3.3  內(nèi)置式字段屬性：
尾聲 546
35.3.4  field_property_get_
external 546
35.3.5  field_property_set_
external 547
35.3.6  Hack掉 547
35.4  方法屬性 548
35.4.1  method_property_get 548
35.4.2  method_property_set 555
35.4.3  method_property_getset 555
35.4.4  謹(jǐn)防無(wú)限循環(huán) 557
35.4.5  method_property_get
_external 558
35.4.6  method_property_set
_external 561
35.4.7  method_property_getset
_external 562
35.5  靜態(tài)屬性 564
35.5.1  靜態(tài)字段屬性 564
35.5.2  內(nèi)置式靜態(tài)方法屬性 564
35.5.3  外置式靜態(tài)方法屬性 566
35.6  虛屬性 567
35.7  屬性的使用 568
35.7.1  泛化性 568     35.7.2  錯(cuò)誤診斷中的類型
替換 569
35.8  屬性：尾聲 570
附錄A  編譯器和庫(kù) 572
A.1  編譯器 572
A.2  庫(kù) 573
A.2.1  Boost 574
A.2.2  STLSoft 574
A.2.3  其他庫(kù) 574
A.3  其他資源 575
A.3.1  期刊 575
A.3.2  其他語(yǔ)言 575
A.3.3  新聞組 576
附錄B  “謙虛點(diǎn)，別驕傲” 577
B.1  操作符重載 577
B.2  后悔DRY 579
B.3  偏執(zhí)式編程 579
B.4  精神錯(cuò)亂 580
附錄C  Arturius 582
附錄D  隨書光盤 583
尾聲 584
參考書目 585