第一部分 快速入門
第1章 簡單示例 2
1.1 CLR基礎 2
1.2 簡單示例：The Code 5
1.2.1 程序頭 7
1.2.2 類聲明 8
1.2.3 字段聲明 9
1.2.4 方法聲明 10
1.2.5 全局項 14
1.2.6 映射字段 16
1.2.7 數據聲明 16
1.2.8 作為占位符的值類型 17
1.2.9 調用非托管代碼 17
1.3 類的預先聲明 18
1.4 小結 20
第2章 代碼增強 21
2.1 精簡代碼 21
2.2 保護代碼 23
2.3 小結 28
第3章 使代碼更簡單 29
3.1 彆名 29
3.2 編譯控製僞指令 31
3.3 關聯當前類及其引用項 34
3.4 小結 35
第二部分 底層結構
第4章 托管可執行文件的結構 38
4.1 PE/COFF頭 39
4.1.1 MS-DOS頭/Stub和PE簽名 40
4.1.2 COFF頭 40
4.1.3 PE頭 43
4.1.4 節頭 47
4.2 CLR頭 49
4.2.1 頭結構 50
4.2.2 Flags字段 51
4.2.3 EntryPointToken字段 52
4.2.4 VTableFixups字段 52
4.2.5 StrongNameSignature字段 53
4.2.6 重定位節 53
4.2.7 文本節 55
4.2.8 數據節 56
4.2.9 數據常量 56
4.2.10 V錶 57
4.2.11 非托管導齣錶 57
4.2.12 綫程局部存儲(TLS) 59
4.2.13 資源 60
4.2.14 非托管資源 60
4.2.15 托管資源 62
4.3 小結 63
4.3.1 第一階段：初始化 63
4.3.2 第二階段：源代碼解析 63
4.3.3 第三階段：映像生成 63
4.3.4 第四階段：完成 64
第5章 元數據錶的組織 65
5.1 什麼是元數據 65
5.2 堆和錶 67
5.2.1 堆 67
5.2.2 通用元數據頭 68
5.2.3 元數據錶流 70
5.3 RID和標記 73
5.3.1 RID 73
5.3.2 標記 73
5.3.3 編碼標記 75
5.4 元數據有效性檢查 78
5.5 小結 79
第三部分 基本組件
第6章 模塊和程序集 82
6.1 什麼是程序集 82
6.2 私有程序集和共享程序集 82
6.3 作為邏輯執行單元的應用程序域 83
6.4 清單 84
6.5 Assembly元數據錶和聲明 86
6.6 AssemblyRef元數據錶和聲明 87
6.7 加載程序搜索程序集 89
6.8 Module元數據錶和聲明 92
6.9 ModuleRef元數據錶和聲明 92
6.10 File元數據錶和聲明 93
6.11 托管資源元數據錶和聲明 94
6.12 ExportedType元數據錶和聲明 97
6.13 ILAsm中清單聲明的次序 98
6.14 單模塊程序集和多模塊程序集 99
6.15 元數據有效性規則概要 100
6.15.1 Assembly錶有效性規則 100
6.15.2 AssemblyRef錶有效性規則 100
6.15.3 Module錶有效性規則 101
6.15.4 ModuleRef錶有效性規則 101
6.15.5 File錶有效性規則 101
6.15.6 ManifestResource錶有效性規則 101
6.15.7 ExportedType錶有效性規則 102
第7章 命名空間和類 103
7.1 類的元數據 104
7.1.1 TypeDef元數據錶 105
7.1.2 TypeRef元數據錶 106
7.1.3 InterfaceImpt元數據錶 106
7.1.4 NestedClass元數據錶 106
7.1.5 ClassLayout元數據錶 107
7.2 命名空間和類的完整名稱 107
7.2.1 ILAsm命名約定 108
7.2.2 命名空間 109
7.2.3 類的完整名稱 110
7.3 類的特性 111
7.3.1 標誌 111
7.3.2 類的可見性和友元程序集 113
7.3.3 類的引用 113
7.3.4 父類型 114
7.3.5 接口實現 114
7.3.6 類的布局信息 115
7.4 接口 115
7.5 值類型 117
7.5.1 值的裝箱和拆箱 117
7.5.2 值類型的實例成員 118
7.5.3 值類型的派生 118
7.6 枚舉 119
7.7 委托 119
7.8 嵌套類型 121
7.9 類的擴充 123
7.10 元數據有效性規則概要 125
7.10.1 TypeDef錶有效性規則 125
7.10.2 特定於枚舉的有效性規則 126
7.10.3 TypeRef錶有效性規則 126
7.10.4 InterfaceImpt錶有效性規則 126
7.10.5 NestedClass錶有效性規則 127
7.10.6 ClassLayout錶有效性規則 127
第8章 基本類型和簽名 128
8.1 CLR中的基本類型 128
8.1.1 基本數據類型 128
8.1.2 數據指針類型 129
8.1.3 函數指針類型 131
8.1.4 嚮量和數組 131
8.1.5 修飾符 133
8.1.6 本地類型 134
8.1.7 可變類型 136
8.2 簽名中類的錶示 138
8.3 簽名 139
8.3.1 調用約定 139
8.3.2 字段簽名 139
8.3.3 方法和屬性簽名 140
8.3.4 MemberRef簽名 140
8.3.5 間接調用簽名 141
8.3.6 局部變量簽名 141
8.3.7 類型說明 142
8.4 簽名有效性規則概要 143
第9章 字段和數據常量 144
9.1 字段元數據 144
9.1.1 定義字段 145
9.1.2 引用字段 146
9.2 實例字段和靜態字段 147
9.3 默認值 147
9.4 映射字段 150
9.5 數據常量聲明 151
9.6 顯式布局和聯閤聲明 152
9.7 全局字段 155
9.8 構造函數與數據常量 156
9.9 元數據有效性規則概要 158
9.9.1 Field錶有效性規則 159
9.9.2 FieldLayout錶有效性規則 159
9.9.3 FieldRVA錶有效性規則 159
9.9.4 FieldMarshal錶有效性規則 160
9.9.5 Constant錶有效性規則 160
9.9.6 MemberRef錶有效性規則 160
第10章 方法 161
10.1 方法元數據 161
10.1.1 Method錶的記錄字段 162
10.1.2 方法標誌 162
10.1.3 方法名稱 164
10.1.4 方法實現標誌 165
10.1.5 方法參數 166
10.1.6 引用方法 167
10.1.7 方法實現元數據 168
10.2 靜態方法、實例方法和虛方法 168
10.3 顯式方法重寫 172
10.4 方法重寫和可訪問性 177
10.5 方法頭特性 178
10.6 局部變量 180
10.7 類的構造函數 181
10.7.1 類的構造函數和beforefieldinit標誌 182
10.7.2 模塊構造函數 184
10.8 實例構造函數 184
10.9 實例終結器 186
10.10 可變參數列錶 187
10.11 方法重載 189
10.12 全局方法 191
10.13 元數據有效性規則概要 191
10.13.1 Method錶有效性規則 192
10.13.2 Param錶有效性規則 193
10.13.3 MethodImpl錶有效性規則 193
第11章 泛型類型 195
11.1 泛型類型元數據 196
11.1.1 GenericParam元數據錶 198
11.1.2 GenericParamConstraint元數據錶 198
11.1.3 TypeSpec元數據錶 199
11.2 約束標誌 199
11.3 在ILAsm中定義泛型類型 199
11.4 類型參數尋址 200
11.5 泛型類型實例化 201
11.6 定義泛型類型：繼承、實現、約束 202
11.7 定義泛型類型：循環依賴 203
11.8 泛型類型的成員 205
11.9 嵌套泛型類型 210
11.10 元數據有效性規則概要 213
第12章 泛型方法 214
12.1 泛型方法元數據 214
12.2 泛型方法簽名 216
12.3 在ILAsm中定義泛型方法 216
12.4 調用泛型方法 217
12.5 重寫虛泛型方法 219
12.6 元數據有效性規則概要 223
第四部分 深入執行引擎
第13章 IL指令 226
13.1 長參數和短參數指令 227
13.2 標號和流程控製指令 227
13.2.1 無條件轉移指令 228
13.2.2 有條件轉移指令 228
13.2.3 比較轉移指令 228
13.2.4 switch指令 230
13.2.5 break指令 230
13.2.6 托管EH塊退齣指令 230
13.2.7 托管EH塊結束指令 231
13.2.8 ret指令 231
13.3 運算指令 231
13.3.1 棧處理 231
13.3.2 常量加載 232
13.3.3 間接加載 233
13.3.4 間接存儲 233
13.3.5 算術操作 234
13.3.6 溢齣算術操作 235
13.3.7 位操作 236
13.3.8 移位操作 236
13.3.9 轉換操作 237
13.3.10 溢齣轉換操作 238
13.3.11 邏輯條件檢查指令 238
13.3.12 塊操作 239
13.4 尋址參數和局部變量 239
13.4.1 方法參數加載 239
13.4.2 方法參數地址加載 240
13.4.3 方法參數存儲 240
13.4.4 方法參數列錶 240
13.4.5 局部變量加載 240
13.4.6 局部變量引用加載 241
13.4.7 局部變量存儲 241
13.4.8 局部塊分配 241
13.4.9 前綴指令 241
13.5 尋址字段 242
13.6 調用方法 243
13.6.1 直接調用 243
13.6.2 間接調用 244
13.6.3 尾部調用 245
13.6.4 帶約束的虛調用 246
13.7 尋址類和值類型 247
13.8 嚮量指令 250
13.8.1 嚮量創建 250
13.8.2 元素地址加載 251
13.8.3 元素加載 251
13.8.4 元素存儲 252
13.9 代碼可驗證性 252
第14章 托管異常處理 255
14.1 EH子句的內部錶示 255
14.2 EH子句的類型 256
14.3 EH子句聲明的標號格式 258
14.4 EH子句聲明的作用域格式 259
14.5 處理異常 262
14.6 異常類型 264
14.6.1 加載程序異常 264
14.6.2 JIT編譯器異常 264
14.6.3 執行引擎異常 265
14.6.4 互操作異常 266
14.6.5 子類異常 266
14.6.6 非托管異常映射 266
14.7 EH子句結構化規則概要 267
第五部分 特殊組件
第15章 事件和屬性 270
15.1 事件和委托 270
15.2 事件元數據 273
15.2.1 Event錶 273
15.2.2 EventMap錶 274
15.2.3 MethodSemantics錶 274
15.3 事件聲明 275
15.4 屬性元數據 277
15.4.1 Property錶 278
15.4.2 PropertyMap錶 279
15.5 屬性聲明 279
15.6 元數據有效性規則概要 280
15.6.1 Event錶有效性規則 280
15.6.2 EventMap錶有效性規則 281
15.6.3 Property錶有效性規則 281
15.6.4 PropertyMap錶有效性規則 281
15.6.5 MethodSemantics錶有效性規則 281
第16章 自定義特性 283
16.1 自定義特性的概念 283
16.2 CustomAttribute元數據錶 284
16.3 自定義特性的值編碼 285
16.4 自定義特性的逐字描述 287
16.5 自定義特性聲明 288
16.6 自定義特性的分類 291
16.6.1 執行引擎和JIT編譯器 292
16.6.2 互操作子係統 293
16.6.3 安全 295
16.6.4 Remoting子係統 296
16.6.5 Visual Studio調試器 297
16.6.6 程序集鏈接器 297
16.6.7 公共語言規範(CLS)兼容性 298
16.6.8 僞自定義特性 298
16.7 元數據有效性規則概要 300
第17章 安全特性 301
17.1 聲明性安全 301
17.2 聲明性操作 302
17.3 安全許可權限 303
17.3.1 訪問許可權限 303
17.3.2 身份許可權限 306
17.3.3 自定義許可權限 308
17.3.4 許可權限集 309
17.4 聲明性安全元數據 310
17.5 許可權限集的Blob編碼 311
17.6 安全特性聲明 311
17.7 元數據有效性規則概要 312
第18章 托管代碼和非托管代碼的互操作 314
18.1 Thunk和包裝器 315
18.1.1 P/Invoke Thunk 315
18.1.2 實現映射元數據 317
18.1.3 IJW Thunk 317
18.1.4 COM可調用包裝器 318
18.1.5 運行時可調用包裝器 319
18.2 數據封送 320
18.2.1 blittable類型 320
18.2.2 in/out參數 321
18.2.3 字符串封送 322
18.2.4 對象封送 323
18.2.5 更多對象封送 324
18.2.6 數組封送 325
18.2.7 委托封送 325
18.3 為非托管代碼提供托管方法作為迴調 326
18.4 作為非托管導齣的托管方法 328
18.5 小結 334
第19章 多語言工程 336
19.1 IL反匯編器 336
19.2 雙嚮解析的原則 340
19.3 創造性的雙嚮解析 341
19.4 使用類的擴充 342
19.5 通過雙嚮解析進行模塊鏈接 342
19.6 ASMMETA：解決循環依賴 344
19.7 內嵌在高級語言中的IL 346
19.8 在調試模式下編譯 347
19.9 小結 352
第六部分 附錄
附錄A ILAsm語法 356
附錄B 元數據錶 376
附錄C IL指令集 387
附錄D IL匯編器和IL反匯編器的命令行選項 394
附錄E 離綫驗證工具 399
部分術語翻譯說明 416
· · · · · · (收起)