第一部分 快速入门 2
第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
第二部分 底层结构 38
第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
第三部分 基本组件 82
第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 ExportedTType元数据表和声明 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
第四部分 深入执行引擎 226
第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
第五部分 特殊组件 270
第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 CustornAttribute元数据表 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.1Thunk和包装器 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
第六部分 附录 356
附录A ILAsm语法 356
附录B 元数据表 376
附录C IL指令集 387
附录D IL汇编器和IL反汇编器的命令行选项 394
附录E 离线验证工具 399
部分术语翻译说明 416