第一部分 快速入门 3
第1章 简单示例 3
1.1 公共语言运行环境简介 3
1.2 开始简单示例 6
1.2.1 程序头 7
1.2.2 类声明 8
1.2.3 字段声明 9
1.2.4 方法声明 10
1.2.5 全局项 14
1.2.6 映射字段 15
1.2.7 数据声明 16
1.2.8 作为占位符的值类型 16
1.2.9 调用非托管代码 17
1.3 类的提前声明 18
1.4 小结 19
第2章 增强代码 20
2.1 代码维护 20
2.2 保护代码 22
2.3 小结 26
第二部分 底层结构 29
第3章 托管可执行文件的结构 29
3.1 PE/COFF头 30
3.1.1 MS-DOS占位程序和PE特征 30
3.1.2 COFF头 30
3.1.3 PE头 32
3.1.4 区域头 36
3.2.1 头结构 38
3.2 公共语言运行环境头 38
3.2.2 Flags字段 39
3.2.3 EntryPointToken字段 40
3.2.4 VTableFixups字段 41
3.2.5 StrongNameSignature字段 41
3.3 重定位区域 42
3.4 正文区域 43
3.5.1 数据常量 44
3.5.2 V表 44
3.5 数据区域 44
3.5.3 非托管导出表 45
3.5.4 线程局部存储 46
3.6 资源 47
3.6.1 非托管资源 47
3.6.2 托管资源 49
3.7 小结 49
4.1 什么是元数据 51
第4章 元数据表组织 51
4.2 堆和表 52
4.2.1 堆 52
4.2.2 通用元数据头 54
4.2.3 元数据表流 55
4.3 RID和标识 58
4.3.1 RID 58
4.3.2 标识 58
4.3.3 编码标识 60
4.4 元数据验证 62
4.5 小结 63
第5章 模块和配件 67
5.1 什么是配件 67
5.1.1 私有配件和共享配件 67
第三部分 基本组件 67
5.1.2 作为逻辑执行单元的应用域 68
5.2 清单 69
5.2.1 配件元数据表和声明 70
5.2.2 AssemblyRef元数据表和声明 71
5.2.3 加载程序搜索配件 73
5.2.6 File元数据表和声明 75
5.2.4 Module元数据表和声明 75
5.2.5 ModuleRef元数据表和声明 75
5.2.7 托管资源元数据和声明 76
5.2.8 ExportedType元数据表和声明 78
5.3 ILAsm中清单声明的次序 79
5.4 单模块配件和多模块配件 80
5.5 元数据验证规则 81
5.5.1 Assembly表验证规则 81
5.5.5 File表验证规则 82
5.5.4 ModuleRef表验证规则 82
5.5.3 Module表验证规则 82
5.5.2 AssemblyRef表验证规则 82
5.5.6 ManifestResource表验证规则 83
5.5.7 ExportedType表验证规则 83
第6章 名称空间和类 84
6.1 类元数据 85
6.1.1 TypeDef元数据表 85
6.1.4 NestedClass元数据表 86
6.1.3 InterfaceImpl元数据表 86
6.1.2 TypeRef元数据表 86
6.1.5 C1assLayout元数据表 87
6.2 名称空间和全类名 87
6.2.1 ILAsm命名规则 87
6.2.2 名称空间 88
6.2.3 全类名 89
6.3 类属性 90
6.3.1 标志 90
6.3.3 父类型 92
6.3.2 类引用 92
6.3.4 接口实现 93
6.3.5 类布局信息 93
6.4 接口 94
6.5 值类型 94
6.5.1 装箱值类型和拆箱值类型 95
6.5.2 值类型的实例成员 95
6.6 枚举 96
6.7 委托 96
6.5.3 值类型的派生 96
6.8 嵌套类型 98
6.9 类的扩增 100
6.10 元数据验证规则 101
6.10.1 TypeDef表的验证规则 101
6.10.2 指定枚举的验证规则 102
6.10.3 TypeRef表的验证规则 103
6.10.4 InterfaceImpl表的验证规则 103
6.10.5 NestedClass表的验证规则 103
6.10.6 ClassLayout表的验证规则 103
7.1.1 基本数据类型 104
第7章 基本类型和特征 104
7.1 公共语言运行环境中的基本类型 104
7.1.2 数据指针类型 105
7.1.3 函数指针类型 106
7.1.4 向量和数组 107
7.1.5 修饰符 108
7.1.6 本机类型 110
7.1.7 变量类型 112
7.2 特征中的类表示 113
7.3.2 字段特征 114
7.3 特征 114
7.3.1 调用约定 114
7.3.3 方法和属性特征 115
7.3.4 MemberRef特征 115
7.3.5 间接调用特征 116
7.3.6 局部变量特征 116
7.3.7 类型说明 117
7.4 特征验证规则 117
8.1 字段元数据 119
第8章 字段和数据常量 119
8.2 实例和静态字段 122
8.3 默认值 122
8.4 映射字段 124
8.5 数据常量声明 125
8.6 显式布局和联合声明 126
8.7 全局字段 128
8.8 构造函数与数据常量 130
8.9.1 Field表的验证规则 132
8.9 元数据验证规则 132
8.9.2 FieldLayout表的验证规则 133
8.9.3 FieldRVA表的验证规则 133
8.9.4 FieldMarshal表的验证规则 133
8.9.5 Constant表的验证规则 133
8.9.6 MemberRef表的验证规则 133
第9章 方法 135
9.1 方法元数据 135
9.1.1 方法表记录的记录项 135
9.1.2 方法标志 136
9.1.4 方法实现标志 138
9.1.3 方法名称 138
9.1.5 方法参数 139
9.1.6 引用方法 140
9.1.7 方法实现元数据 141
9.2 静态、实例和虚拟方法 141
9.3 显式方法重载 145
9.4 方法头属性 148
9.5 局部变量 149
9.7 实例构造函数 151
9.6 类构造函数 151
9.8 实例的终止函数 152
9.9 变量参数列表 153
9.10 全局方法 155
9.11 元数据验证规则 156
9.11.1 Method表验证规则 156
9.11.2 Param表验证规则 157
9.11.3 MethodImpl表验证规则 158
第10章 IL指令 161
第四部分 执行引擎剖析 161
10.1 长参数和短参数指令 162
10.2 标号和流控制指令 162
10.2.1 无条件转移指令 162
10.2.2 有条件转移指令 162
10.2.3 比较转移指令 163
10.2.4 switch指令 164
10.2.5 break指令 164
10.2.6 SEH块退出指令 164
10.3 运算指令 165
10.3.1 栈控制 165
10.2.7 SEH结束指令 165
10.2.8 ret指令 165
10.3.2 常量加载 166
10.3.3 间接加载 166
10.3.4 间接存储 167
10.3.5 算术操作 167
10.3.6 溢出算术操作 168
10.3.8 移位操作 169
10.3.9 转换操作 169
10.3.7 位逻辑运算操作 169
10.3.10 溢出转换操作 170
10.3.11 逻辑条件检查操作 171
10.3.12 块操作 171
10.4 寻址参数和局部变量 172
10.4.1 方法参数加载 172
10.4.2 方法参数地址加载 172
10.4.3 方法参数存储 172
10.4.7 局部变量存储 173
10.4.8 局部块存储单元分配 173
10.4.5 局部变量加载 173
10.4.6 局部变量引用加载 173
10.4.4 方法参数列表 173
10.4.9 前缀指令 174
10.5 寻址字段 174
10.6 调用方法 175
10.6.1 直接调用 175
10.6.2 间接调用 176
10.6.3 尾部调用 176
10.7 寻址类和值类型 177
10.8 向量指令 179
10.8.1 向量创建 179
10.8.2 元素地址加载 180
10.8.3 元素加载 180
10.8.4 元素存储 181
10.9 代码验证 181
第11章 结构化异常处理 183
11.1 SEH子句的内部表示 183
11.2 SEH子句的类型 184
11.3 SEH子句声明的标号格式 185
11.4 SEH子句声明的作用域格式 187
11.5 处理异常 190
11.6 异常类型 191
11.6.1 加载程序异常 191
11.6.2 JIT编译器异常 192
11.6.3 执行引擎异常 192
11.6.4 互操作异常 193
11.6.5 子类异常 193
11.7 SEH子句结构化规则 194
11.6.6 非托管异常映射 194
第五部分 特殊组件 199
第12章 事件和属性 199
12.1 事件和委托 199
12.2 事件元数据 201
12.2.1 Event表 201
12.2.2 EventMap表 202
12.2.3 MethodSemantics表 202
12.3 事件声明 203
12.4 属性元数据 205
12.4.1 Property表 206
12.4.2 PropertyMap表 206
12.5 属性声明 206
12.6 元数据验证规则 208
12.6.1 Event表的验证规则 208
12.6.2 EventMap表的验证规则 208
12.6.3 Property表的验证规则 208
12.6.5 MethodSemantics表的验证规则 209
12.6.4 PropertyMap表的验证规则 209
第13章 定制属性 210
13.1 定制属性的概念 210
13.2 CustomAttribute元数据表 211
13.3 定制属性值编码 212
13.4 定制属性声明 213
13.5 定制属性分类 216
13.5.1 执行引擎和JIT编译器 217
13.5.2 互操作子系统 218
13.5.3 安全 219
13.5.4 远程子系统 220
13.5.5 Visual Studio .NET调试器 221
13.5.6 配件连接器 221
13.5.7 公共语言规范(CLS)兼容性 221
13.5.8 伪定制属性 222
13.6 元数据验证规则 223
第14章 安全属性 224
14.1 描述性安全 224
14.2 描述性操作 224
14.3.1 访问许可权限 226
14.3 安全许可权限 226
14.3.2 身份许可权限 229
14.3.3 定制许可权限 230
14.3.4 许可权限集 232
14.4 描述性安全元数据 232
14.5 安全属性声明 233
14.6 元数据验证规则 234
15.1 替换程序和包装器 237
第15章 托管和非托管代码的互操作 237
第六部分 互操作性 237
15.1.1 P/Invoke替换程序 238
15.1.2 实现映射元数据和验证规则 239
15.1.3 IJW替换程序 239
15.1.4 COM可调用包装器 240
15.1.5 运行时可调用包装器 241
15.2 数据编组 242
15.2.1 blittable类型 243
15.2.2 in/out参数 243
15.2.3 字符串编组 244
15.2.4 对象编组 245
15.2.5 类的编组 246
15.2.6 数组编组 246
15.2.7 委托的编组 247
15.3 为非托管方法提供托管方法作为回调 247
15.4 作为非托管输出的托管方法 251
第16章 多语言工程 257
16.1 IL反汇编器 257
16.2 双向解析的原则 260
16.4 使用类的增强 261
16.3 创造性的双向解析 261
16.5 通过双向解析进行模块连接 262
16.6 调试模式中的编译 263
第七部分 附录 271
附录A IL Assembler语法 271
附录B 元数据表 285
附录C IL指令集 294
附录D IL Assembler和IL Disassembler的命令行选项 302
附录E 离线验证工具 306