00_CLI Directory.md

目录

第一部分：基本概念和体系结构

1. Common Language Infrastructure 通用语言基础概述

• 1.1. CLI 与类型安全的关系
• 1.2. CLI 与托管元数据驱动执行的关系
  • 1.2.1. 托管代码
  • 1.2.2. 托管数据

2. Common Language Specification 公共语言规范

• 2.1. CLS 遵从性的分析角度
  • 2.1.1. CLS Framework
  • 2.1.2. CLS Consumer
  • 2.1.3. CLS Extender
• 2.2. CLS 遵从性

3. Common Type System 公共类型系统

• 3.1. CTS 与面向对象编程的关系
• 3.2. 值和类型的关系
  • 3.2.1. 值类型和引用类型
  • 3.2.2. 内置的值类型和引用类型
  • 3.2.3. 类、接口和对象
  • 3.2.4. 值的装箱和拆箱
  • 3.2.5. 值的 Identity 和 Equality
    • 3.2.5.1. Identity
    • 3.2.5.2. Equality
• 3.3. Locations 位置
  • 3.3.1. Assignment-compatible 兼容赋值
  • 3.3.2. Coercion 强制转换
  • 3.3.3. Casting 转换
• 3.4. 类型成员
  • 3.4.1. 字段和数组
  • 3.4.2. 方法
  • 3.4.3. 静态字段和方法
  • 3.4.4. 虚方法
• 3.5. 命名
  • 3.5.1. 有效的名称
  • 3.5.2. 程序集和作用域
  • 3.5.3. 可见性、可访问性、安全性
    • 3.5.3.1. 类型的可见性
    • 3.5.3.2. 嵌套类型和成员的可见性
    • 3.5.3.3. 安全权限
    • 3.5.3.4. 嵌套类型
• 3.6. Contracts 协议
  • 3.6.1. 签名
    • 3.6.1.1. 类型签名
    • 3.6.1.2. 位置签名
    • 3.6.1.3. 局部签名
    • 3.6.1.4. 参数签名
    • 3.6.1.5. 方法签名
    • 3.6.1.6. 签名匹配
• 3.7. 赋值兼容性
  • 3.7.1. 定义赋值兼容性
  • 3.7.2. 签名类型的赋值兼容性
  • 3.7.3. 位置类型的赋值兼容性
  • 3.7.4. 一般赋值兼容性
• 3.8. 类型安全和类型验证
• 3.9. Type definers 类型定义器
  • 3.9.1. 数组类型
  • 3.9.2. 非托管指针类型
  • 3.9.3. 委托类型
  • 3.9.4. 接口类型定义
  • 3.9.5. 类类型定义
  • 3.9.6. 对象类型定义
    • 3.9.6.1. 作用域和可见性
    • 3.9.6.2. 具体性
    • 3.9.6.3. 类型成员
    • 3.9.6.4. 支持接口协议
    • 3.9.6.5. 支持类协议
    • 3.9.6.6. 构造函数
    • 3.9.6.7. 终结器
  • 3.9.7. 值类型定义
  • 3.9.8. 类型继承
  • 3.9.9. 对象类型继承
  • 3.9.10. 值类型继承
  • 3.9.11. 接口类型派生
• 3.10. 成员继承
  • 3.10.1. 字段继承
  • 3.10.2. 方法继承
  • 3.10.3. 属性继承
  • 3.10.4. 隐藏、覆盖和布局
• 3.11. 成员定义
  • 3.11.1. 方法定义
  • 3.11.2. 字段定义
  • 3.11.3. 属性定义
  • 3.11.4. 事件定义
  • 3.11.5. 嵌套类型定义

4. Metadata 元数据

• 4.1. Components & assemblies 组件与程序集
• 4.2. 访问元数据
  • 4.2.1. 元数据 token
  • 4.2.2. 元数据中的成员签名
• 4.3. 非托管代码
• 4.4. 方法实现的元数据
• 4.5. 类布局
• 4.6. 程序集中的类型名称范围
• 4.7. 元数据的可扩展性
• 4.8. 全局，导入和导出
• 4.9. 范围静态

5. CLS 的名称和类型规则

• 5.1. 标识符
• 5.2. 重载
• 5.3. 运算符重载
  • 5.3.1. 一元运算符
  • 5.3.2. 二元运算符
  • 5.3.3. 转换运算符
• 5.4. 命名模式
• 5.5. 异常
• 5.6. 自定义特性
• 5.7. 泛型类型和泛型方法
  • 5.7.1. 内嵌类型参数的重声明
  • 5.7.2. 泛型类型名称编码
  • 5.7.3. 类型约束的重声明
  • 5.7.4. 约束类型限制
  • 5.7.5. CLS 框架和嵌套类型的可访问性
  • 5.7.6. CLS 框架和抽象或虚方法

6. Virtual Execution System 虚拟执行系统

• 6.1. VES 支持的数据类型
  • 6.1.1. native int，native unsigned int，O 和 &
    • 6.1.1.1. 类型为 native unsigned int 的非托管指针
    • 6.1.1.2. 对象引用和托管指针类型：O 和 &
    • 6.1.1.3. 可移植性：在内存中存储指针
  • 6.1.2. 处理短整数数据类型
  • 6.1.3. 处理浮点数据类型
  • 6.1.4. CIL 指令和数值类型
  • 6.1.5. CIL 指令和指针类型
  • 6.1.6. 聚合数据
    • 6.1.6.1. Homes of values
    • 6.1.6.2. 值类型实例的操作
    • 6.1.6.3. 不透明类
• 6.2. 模块信息
• 6.3. 机器状态
  • 6.3.1. 全局状态
  • 6.3.2. 方法状态
    • 6.3.2.1. 求值堆栈
    • 6.3.2.2. 局部变量和方法实参
    • 6.3.2.3. 可变参数列表
    • 6.3.2.4. 局部内存池
• 6.4. 控制流
  • 6.4.1. 方法调用
    • 6.4.1.1. 调用点描述符
    • 6.4.1.2. 调用指令
    • 6.4.1.3. 计算目标
    • 6.4.1.4. 虚拟调用约定
    • 6.4.1.5. 参数传递
  • 6.4.2. 异常处理
    • 6.4.2.1. 异常抛出
    • 6.4.2.2. 从异常类派生
    • 6.4.2.3. 解析异常
• 6.5. 代理和远程处理
• 6.6. 内存模型和内存优化
  • 6.6.1. 内存存储
  • 6.6.2. 对齐
  • 6.6.3. 字节顺序
  • 6.6.4. 优化
  • 6.6.5. 线程与锁
  • 6.6.6. 原子读写
  • 6.6.7. 易失性读写
  • 6.6.8. 其他内存模型问题

---

第二部分：基本概念和体系结构

1. 验证和校验

2. Hello World

3. 通用语法

• 3.1. 通用语法表示法
• 3.2. 基本语法类别
• 3.3. 标识符
• 3.4. 标签和标签列表
• 3.5. 十六进制字节列表
• 3.6. 浮点数
• 3.7. 源文件行信息
• 3.8. 文件名
• 3.9. 特性和元数据
• 3.10. ILAsm 源文件

4. 程序集、清单和模块

• 4.1. 程序集定义
  • 4.1.1. AsmDecl：程序集信息
    • 4.1.1.1. hash algorithm：哈希算法
    • 4.1.1.2. culture：区域性
    • 4.1.1.3. publickey：发起者公钥
    • 4.1.1.4. ver：程序集版本
  • 4.1.2. mresource：清单资源
  • 4.1.3. file：程序集关联文件
• 4.2. assembly extern：引用程序集
• 4.3. module：模块声明
• 4.4. module extern：模块引用
• 4.5. 在模块或程序集内部的声明
• 4.6. class extern：导出类型定义
• 4.7. class extern forwarder：类型转发器

5. 类型和签名

• 5.1. CLI 类型
  • 5.1.1. modreq & modopt
  • 5.1.2. pinned
• 5.2. 内置类型
• 5.3. TypeReference：用户定义类型的引用
• 5.4. 本地数据类型

6. 可见性，可访问性和隐藏

• 6.1. 顶级类型的可见性和嵌套类型的可访问性
• 6.2. 可访问性
• 6.3. 隐藏

7. 泛型

• 7.1. 泛型类型定义
• 7.2. 泛型和递归继承图
• 7.3. 泛型方法定义
• 7.4. GenArgs：实例化泛型类型
• 7.5. 泛型参数的协变和逆变
• 7.6. 实例化类型的赋值兼容性
• 7.7. 成员签名的有效性
• 7.8. 签名和绑定
• 7.9. 继承和重写
• 7.10. 显式方法重写
• 7.11. 泛型参数的约束
• 7.12. 对泛型类型的成员的引用

8. 类型定义

• 8.1. ClassHeader：Type Header
  • 8.1.1. ClassAttr：可见性和可访问性特性
  • 8.1.2. ClassAttr：类型布局特性
  • 8.1.3. ClassAttr：类型语义特性
  • 8.1.4. ClassAttr：继承特性
  • 8.1.5. ClassAttr：互操作特性
  • 8.1.6. ClassAttr：特殊处理特性
  • 8.1.7. GenPars：泛型参数
• 8.2. 类型定义的主体
• 8.3. 引入和重写虚方法
  • 8.3.1. 引入虚方法
  • 8.3.2. .override 指令
  • 8.3.3. 可访问性和重写
  • 8.3.4. 重写对派生类的影响
• 8.4. 方法实现要求
• 8.5. 特殊成员
  • 8.5.1. 实例构造器
  • 8.5.2. 实例终结器
  • 8.5.3. 类型初始化器
    • 8.5.3.1. 类型初始化保证
    • 8.5.3.2. 宽松保证
    • 8.5.3.3. 竞争和死锁
• 8.6. 嵌套类型
• 8.7. 控制实例布局
• 8.8. 全局字段和方法

9. 类的语义

10. 接口的语义

• 10.1. 实现接口
• 10.2. 在接口上实现虚方法
  • 10.2.1. 接口实现示例

11. 值类型的语义

• 11.1. 值类型的引用
• 11.2. 初始化值类型
• 11.3. 值类型的方法

12. 特殊类型的语义

• 12.1. 向量
• 12.2. 数组
• 12.3. 枚举
• 12.4. 指针类型
  • 12.4.1. 非托管指针
  • 12.4.2. 托管指针
• 12.5. 方法指针
• 12.6. 委托
  • 12.6.1. 委托签名兼容性
  • 12.6.2. 对委托的同步调用
  • 12.6.3. 委托的异步调用
    • 12.6.3.1. BeginInvoke 方法
    • 12.6.3.2. EndInvoke 方法

13. 方法定义、方法引用和方法调用

• 13.1. 方法描述符
  • 13.1.1. MethodDecl：方法声明
  • 13.1.2. Method：方法定义
  • 13.1.3. MethodRef：方法引用
  • 13.1.4. MethodImpl：方法实现
• 13.2. 静态、实例和虚方法
• 13.3. CallConv：调用约定
• 13.4. MethodHeader：定义方法
  • 13.4.1. MethodBodyItem：方法体
    • 13.4.1.1. .emitbyte 指令
    • 13.4.1.2. .entrypoint 指令
    • 13.4.1.3. .locals 指令
    • 13.4.1.4. .param 指令
    • 13.4.1.5. .param type 指令
  • 13.4.2. 方法上的预定义特性
    • 13.4.2.1. 可访问性信息
    • 13.4.2.2. 方法协议特性
    • 13.4.2.3. 覆盖行为
    • 13.4.2.4. 方法特性
    • 13.4.2.5. 互操作特性
    • 13.4.2.6. 特殊处理特性
  • 13.4.3. 方法的实现特性
    • 13.4.3.1. 代码实现方式
    • 13.4.3.2. 托管或非托管
    • 13.4.3.3. 方法实现信息
  • 13.4.4. 方法作用域块
  • 13.4.5. vararg 方法
• 13.5. 非托管方法
  • 13.5.1. 方法转换嵌入块
  • 13.5.2. 平台调用
  • 13.5.3. 通过函数指针调用方法
  • 13.5.4. 数据类型封送

14. 字段定义和字段引用

• 14.1. 字段的特性
  • 14.1.1. 可访问性信息
  • 14.1.2. 字段协议特性
  • 14.1.3. 互操作属性
  • 14.1.4. 特殊处理特性
• 14.2. 字段初始化元数据
• 14.3. 在 PE 文件中嵌入数据
  • 14.3.1. 数据声明
  • 14.3.2. 从 PE 文件中访问数据
• 14.4. 非 Literal 静态数据的初始化
  • 14.4.1. 链接时已知的数据
• 14.5. 加载时已知的数据
  • 14.5.1. 运行时已知的数据

15. 属性定义

16. 事件定义

17. 异常处理

• 17.1. Protected 块
• 17.2. Handler 块
• 17.3. Catch 块
• 17.4. Filter 块
• 17.5. Finally 块
• 17.6. Fault 处理程序

18. 声明性安全

19. 自定义特性

• 19.1. CLS 约定：自定义特性的使用
• 19.2. CLI 使用的特性
  • 19.2.1. 伪自定义特性
  • 19.2.2. CLS 定义的自定义特性
  • 19.2.3. 安全性的自定义特性
  • 19.2.4. 用于 TLS 的自定义特性
  • 19.2.5. 其他的自定义特性

20. 元数据逻辑格式：tables

• 20.1. 元数据验证规则
• 20.2. Module: 0x00
• 20.3. TypeRef: 0x01
• 20.4. TypeDef: 0x02
• 20.5. Field: 0x04
• 20.6. MethodDef: 0x06
• 20.7. Param: 0x08
• 20.8. InterfaceImpl: 0x09
• 20.9. MemberRef: 0x0A
• 20.10. Constant: 0x0B
• 20.11. CustomAttribute: 0x0C
• 20.12. FieldMarshal : 0x0D
• 20.13. DeclSecurity: 0x0E
• 20.14. ClassLayout: 0x0F
• 20.15. FieldLayout: 0x10
• 20.16. StandAloneSig: 0x11
• 20.17. EventMap: 0x12
• 20.18. Event: 0x14
• 20.19. PropertyMap: 0x15
• 20.20. Property: 0x17
• 20.21. MethodSemantics: 0x18
• 20.22. MethodImpl: 0x19
• 20.23. ModuleRef: 0x1A
• 20.24. TypeSpec: 0x1B
• 20.25. ImplMap: 0x1C
• 20.26. FieldRVA: 0x1D
• 20.27. Assembly: 0x20
• 20.28. AssemblyProcessor: 0x21
• 20.29. AssemblyOS: 0x22
• 20.30. AssemblyRef: 0x23
• 20.31. AssemblyRefProcessor: 0x24
• 20.32. AssemblyRefOS: 0x25
• 20.33. File: 0x26
• 20.34. ExportedType: 0x27
• 20.35. ManifestResource: 0x28
• 20.36. NestedClass: 0x29
• 20.37. GenericParam: 0x2A
• 20.38. MethodSpec: 0x2B
• 20.39. GenericParamConstraint: 0x2C

21. 元数据逻辑格式：子结构

• 21.1. BitMasks & Flags
  • 21.1.1. AssemblyHashAlgorithm
  • 21.1.2. AssemblyFlags
  • 21.1.3. Culture
  • 21.1.4. EventAttributes：Flags for Events
  • 21.1.5. FieldAttributes：Fields
  • 21.1.6. FileAttributes：Files
  • 21.1.7. GenericParamAttributes：Generic Parameters
  • 21.1.8. PInvokeAttributes：ImplMap
  • 21.1.9. ManifestResourceAttributes：ManifestResource
  • 21.1.10. MethodAttributes：Methods
  • 21.1.11. MethodImplAttributes：MethodImpl
  • 21.1.12. MethodSemanticsAttributes：MethodSemantics
  • 21.1.13. ParamAttributes：Params
  • 21.1.14. PropertyAttributes：Properties
  • 21.1.15. TypeAttributes：Types
  • 21.1.16. 签名中使用的元素类型
• 21.2. Blobs & Signatures
  • 21.2.1. MethodDefSig
  • 21.2.2. MethodRefSig
  • 21.2.3. StandAloneMethodSig
  • 21.2.4. FieldSig
  • 21.2.5. PropertySig
  • 21.2.6. LocalVarSig
  • 21.2.7. CustomMod
  • 21.2.8. TypeDefOrRefOrSpecEncoded
  • 21.2.9. Constraint
  • 21.2.10. Param
  • 21.2.11. RetType
  • 21.2.12. Type
  • 21.2.13. ArrayShape
  • 21.2.14. TypeSpec
  • 21.2.15. MethodSpec
  • 21.2.16. Short form signatures
• 21.3. Custom attributes
• 21.4. Marshalling descriptors 22. 元数据物理布局
• 22.1. 固定字段
• 22.2. File headers
  • 22.2.1. 元数据根
  • 22.2.2. Stream Header
  • 22.2.3. #Strings Heap
  • 22.2.4. #US Heap 和 #Blob Heap
  • 22.2.5. #GUID 堆
  • 22.2.6. #~ 流 23. PE 文件格式的扩展
• 23.1. 运行时文件格式的结构
• 23.2. PE Header
  • 23.2.1. MS-DOS Header
  • 23.2.2. PE file Header
    • 23.2.2.1. 特性
  • 23.2.3. PE optional Header
    • 23.2.3.1. PE Header 标准字段
    • 23.2.3.2. PE Header Windows NT 特定字段
    • 23.2.3.3. PE Header 数据目录
• 23.3. Section Headers
  • 23.3.1. 导入表和导入地址表 (IAT)
  • 23.3.2. 重定位
  • 23.3.3. CLI Header
    • 23.3.3.1. 运行时标志
    • 23.3.3.2. 入口点元数据 token
    • 23.3.3.3. Vtable 修复
    • 23.3.3.4. 强名称签名
• 23.4. CIL 物理布局
  • 23.4.1. Method Header 类型值
  • 23.4.2. Tiny 格式
  • 23.4.3. Fat 格式
  • 23.4.4. Method Header 标志
  • 23.4.5. 方法数据部分
  • 23.4.6. 异常处理子句

---

第三部分：指令集

1. 引言

• 1.1. 数据类型
  • 1.1.1. 数值数据类型
  • 1.1.2. 布尔数据类型
  • 1.1.3. 字符数据类型
  • 1.1.4. 对象引用
  • 1.1.5. 运行时指针类型
    • 1.1.5.1. 非托管指针
    • 1.1.5.2. 托管指针 (&)
• 1.2. 指令变体表
  • 1.2.1. Opcode 编码
• 1.3. 堆栈转换图
• 1.4. 操作数类型表
  • 1.4.1. 二元数值操作
  • 1.4.2. 一元数值操作
  • 1.4.3. 二元比较或分支操作
  • 1.4.4. 整数操作
  • 1.4.5. 移位操作
  • 1.4.6. 溢出算术运算
  • 1.4.7. 转换操作
• 1.5. 隐式参数强制转换
• 1.6. 对 CIL 代码序列的限制
  • 1.6.1. 指令流
  • 1.6.2. 有效的分支目标
  • 1.6.3. 异常范围
  • 1.6.4. 必须提供 maxstack
  • 1.6.5. 后向分支约束
  • 1.6.6. 分支验证约束
• 1.7. 可验证性和正确性
  • 1.7.1. 可验证 CIL 的流控制限制
    • 1.7.1.1. 验证算法
    • 1.7.1.2. 验证类型系统
    • 1.7.1.3. 合并堆栈状态
    • 1.7.1.4. 类和对象初始化规则
    • 1.7.1.5. 委托构造
• 1.8. 元数据 Token
• 1.9. 异常抛出

2. 指令前缀

• 2.1. constrained. ：在变量类型的值上调用成员
• 2.2. no. ：可能跳过错误检查
• 2.3. readonly. ：后续指令返回可控易变托管指针
• 2.4. tail. ：调用终止当前方法
• 2.5. unaligned. (prefix) – 指针指令可能不对齐
• 2.6. volatile. ：指针引用是易变的

3. 基本指令

• 3.1. add ：添加数值
• 3.2. add.ovf.<signed> ：添加整数值并检查溢出
• 3.3. and ：按位与
• 3.4. arglist ：获取参数列表
• 3.5. beq.<length> ：相等分支
• 3.6. bge.<length> ：大于或等于分支
• 3.7. bge.un.<length> ：无符号 / 无序的大于或等于分支
• 3.8. bgt.<length> ：大于分支
• 3.9. bgt.un.<length> ：无符号 / 无序的大于分支
• 3.10. ble.<length> ：小于或等于分支
• 3.11. ble.un.<length> ：无符号 / 无序的小于或等于分支
• 3.12. blt.<length> ：小于分支
• 3.13. blt.un.<length> ：无符号 / 无序的小于分支
• 3.14. bne.un.<length> ：不等于或无序分支
• 3.15. br.<length> ：无条件分支
• 3.16. break ：断点指令
• 3.17. brfalse.<length> ：分支到假、空或零
• 3.18. brtrue.<length> ：分支到非假或非空
• 3.19. call ：调用方法
• 3.20. calli ：间接方法调用
• 3.21. ceq ：比较相等
• 3.22. cgt ：比较大于
• 3.23. cgt.un ：比较大于，无符号 / 无序
• 3.24. ckfinite ：检查有限实数
• 3.25. clt ：比较小于
• 3.26. clt.un ：比较小于，无符号 / 无序
• 3.27. conv.<to type> ：数据转换
• 3.28. conv.ovf.<to type> ：带溢出检测的数据转换
• 3.29. conv.ovf.<to type>.un ：带溢出检测的无符号数据转换
• 3.30. cpblk ：从内存复制数据到内存
• 3.31. div ：除法运算
• 3.32. div.un ：除法运算整数值，无符号
• 3.33. dup ：复制堆栈顶部的值
• 3.34. endfilter ：结束异常处理过滤器子句
• 3.35. endfinally ：结束异常块的 finally 或 fault 子句
• 3.36. initblk ：将一块内存初始化为一个值
• 3.37. jmp ：跳转到方法
• 3.38. ldarg.<length> ：将参数加载到堆栈
• 3.39. ldarga.<length> ：加载参数地址
• 3.40. ldc.<type> ：加载数值常量
• 3.41. ldftn : 加载方法指针
• 3.42. ldind.<type> ：间接加载值到堆栈
• 3.43. ldloc ：将局部变量加载到堆栈
• 3.44. ldloca.<length> ：加载局部变量地址
• 3.45. ldnull ：加载空指针
• 3.46. leave.<length> ：退出代码的受保护区域
• 3.47. localloc ：在局部动态内存池中分配空间
• 3.48. mul ：乘法运算
• 3.49. mul.ovf.<type> ：带溢出检查的乘法运算
• 3.50. neg ：取反
• 3.51. nop ：无操作
• 3.52. not ：按位取反
• 3.53. or ：按位或
• 3.54. pop ：移除堆栈的顶部元素
• 3.55. rem ：计算余数
• 3.56. rem.un ：计算整数余数，无符号
• 3.57. ret ：从方法返回
• 3.58. shl ；左移整数
• 3.59. shr ：右移整数
• 3.60. shr.un ：无符号右移整数
• 3.61. starg.<length> ：在参数槽中存储值
• 3.62. stind.<type> ：间接从堆栈存储值
• 3.63. stloc ：从堆栈弹出值到局部变量
• 3.64. sub ：减去数值
• 3.65. sub.ovf.<type> ：检查溢出的减法
• 3.66. switch ：基于值的表切换
• 3.67. xor ：按位异或

4. 对象模型指令

• 4.1. box ：将可装箱值转换为其装箱形式
• 4.2. callvirt ：调用与对象在运行时关联的方法
• 4.3. castclass ：将对象转换为类
• 4.4. cpobj ：将一个地址的值复制到另一个地址
• 4.5. initobj ：初始化地址处的值
• 4.6. isinst ：测试一个对象是否是类或接口的实例
• 4.7. ldelem ：从数组中加载元素
• 4.8. ldelem.<type> ：从数组中加载元素
• 4.9. ldelema ：加载数组元素的地址
• 4.10. ldfld ：加载对象的字段
• 4.11. ldflda ：加载字段地址
• 4.12. ldlen ：加载数组的长度
• 4.13. ldobj ：将地址处的值复制到堆栈
• 4.14. ldsfld ：加载类的静态字段
• 4.15. ldsflda ：加载静态字段地址
• 4.16. ldstr ：加载字面字符串
• 4.17. ldtoken ：加载元数据 token 的运行时表示
• 4.18. ldvirtftn ：加载虚方法指针
• 4.19. mkrefany ：在堆栈上推送一个类型引用
• 4.20. newarr ：创建一个零基一维数组
• 4.21. newobj ：创建新对象
• 4.22. refanytype ：从类型引用中加载类型
• 4.23. refanyval ：从类型引用中加载地址
• 4.24. rethrow ：重新抛出当前异常
• 4.25. sizeof ：加载类型的字节大小
• 4.26. stelem ：将元素存储到数组中
• 4.27. stelem.<type> ：将元素存储到数组中
• 4.28. stfld ：将值存储到对象的字段中
• 4.29. stobj ：将值存储到地址中
• 4.30. stsfld ：存储类的静态字段
• 4.31. throw ：抛出异常
• 4.32. unbox ：将装箱的值类型转换为其原始形式
• 4.33. unbox.any ：将装箱类型转换为值

---

第四部分：配置文件和库

1. 概述

2. 库和配置文件

• 2.1. 库
• 2.2. 配置文件
• 2.3. 库和配置文件之间的关系

3. 标准配置文件

• 3.1. 核心配置文件
• 3.2. 精简配置文件

4. 核心配置文件特性要求

• 4.1. 从核心配置文件中排除的特性
  • 4.1.1. 浮点数
  • 4.1.2. 非向量数组
  • 4.1.3. 反射
  • 4.1.4. 应用程序域
  • 4.1.5. 远程处理
  • 4.1.6. Vararg
  • 4.1.7. 帧增长
  • 4.1.8. IV.4.1.8 过滤异常

5. 标准库

• 5.1. 一般性意见
• 5.2. 运行时基础设施库
• 5.3. 基础类库（BCL）
• 5.4. 网络库
• 5.5. 反射库
• 5.6. XML 库
• 5.7. 扩展数值库
• 5.8. 扩展数组库
• 5.9. Vararg 库
• 5.10. 并行库

6. 针对系统库的实现特定修改

7. XML 规范

• 7.1. 语义
  • 7.1.1. 值类型作为对象
  • 7.1.2. 异常
• 7.2. XML 签名表示问题
  • 7.2.1. 序列化
  • 7.2.2. 委托
  • 7.2.3. 属性
  • 7.2.4. 嵌套类型

---

第五部分：调试交换格式

1. 可移植 CILDB 文件

• 1.1. 整数的编码
• 1.2. CILDB 头
  • 1.2.1. 版本 GUID
• 1.3. 表和堆
  • 1.3.1. SymConstant 表
  • 1.3.2. SymDocument 表
  • 1.3.3. SymMethod 表
  • 1.3.4. SymSequencePoint 表
  • 1.3.5. SymScope 表
  • 1.3.6. SymVariable 表
  • 1.3.7. SymUsing 表
  • 1.3.8. SymMisc 堆
  • 1.3.9. SymString 堆
• 1.4. 签名

---

附录

附录 A

• A.1 术语与定义
• A.2 CLS Rules
  • English Version
  • Chinese Translation

附录 B

• B.1 互递归程序（带尾调用）
• B.2 使用值类型
• B.3 自定义特性
• B.4 泛型代码和元数据

---