clr相关编译器编译生成的托管模块由四部分组成：PE32或32+头、clr头、元数据、IL代码。
元数据和IL代码完全对应，保持一致（:>）性。
元数据有很多用途：
VS的智能感知，自动补全；
代码验证保证类型安全；
序列化、反序列化；
垃圾回收（从元数据得知哪些根引用了对象）。
元数据包含两类表，一种描述源代码中定义的类型和成员；另一种描述代码引用的类型和成员。模块内部的一些元数据表的大小和偏移量在clr头中会有包含。
元数据是由几个表构成的二进制数据块。有三种表：定义表、引用表、清单表。
常用元数据定义表（定义于模块中的）：
ModuleDef : 一个记录项。包含模块名、扩展名和模块版本ID（编译器创建的GUID）；
TypeDef ： 每个类型一个记录项。包含类型名称、基类型、一些标志（public,private等）以及一些索引（指向MethodDef表中该类型的方法、FieldDef表中该类型的字段、PropertyDef表中该类型的属性以及EventDef表中该类型的事件）；
MethodDef : 每个方法一个记录项。包含方法的名称、一些标志（private,public,virtual,abstract,static,final等）、签名以及方法的IL代码在模块中的偏移量。每个记录项还引用了ParamDef表中的记录项；
FieldDef : 每个字段一个记录项。包含标志（public,private等）、类型和名称；
ParamDef : 每个参数一个记录项。包含标志（in,out,retval等）、类型和名称；
PropertyDef : 每个属性一个记录项。包含标志、类型和名称。
EventDef : 每个事件一个记录项。包含标志和名称。
ModuleDef {1}----------->{*} TypeDef {1}-----------------> | {*} MethodDef {1} ----------------->{*} ParamDef
| {*} FieldDef
| {*} PropertyDef
| {*} EventDef
常用引用源数据表：
AssemblyRef : 引用的每一个程序集有一个记录项。包含绑定该程序集所需的信息：程序集名称、版本号、语言文化以及公钥Token（根据发布者的公钥生成的一个小的哈希值，标识了所引用程序集的发布者）。另外还包含了一些标志以及一个被CLR忽略的但可以用于程序集的二进制数据的校验和的哈希值。
ModuleRef : 引用类型的实现的每个PE模块有一个记录项。包含模块名和扩展名。
TypeRef : 每个引用的类型有一个记录项。包含类型的名称和引用（指向类型的位置）。如果类型在另一个类型中实现，引用指向一个TypeRef记录项。如果类型在同一模块中实现，引用指向一个ModuleDef记录项。如果类型在调用程序集内的另一个模块中实现，引用指向一个ModuleRef记录项。如果类型在不同的程序集中实现，引用指向一个Assembly记录项；
MemberRef : 引用的每个成员（字段、方法、属性方法和事件方法）有一个记录项。包含成员的名称和签名，并指向对成员进行定义的类型的TypeRef记录项。
MemberRef------------->TypeRef-----------------> | TypeRef (在另一个类型中实现) ======>ModuleDef 或 ModuleRef 或 Assembly
| ModuleDef (在同一模块)
| ModuleRef (在同程序集的不同模块)
| Assembly (在不同程序集)
除此之外还有很多定义表和引用表。
清单表中主要包含作为程序集组成部分的那些文件的名称。此外，还描述了程序集的版本、语言文化、发布者、公开导出的类型以及构成程序集的所有文件。
CLR总是首先加载包含“清单”元数据表的文件，再根据“清单”来获取程序集中的其他文件。清单包含在PE文件中。
清单元数据表（程序集的）：
AssemblyDef : 如果模块标识的是程序集，就包含单一记录项来列出程序集名称、版本、语言文化、一些标志、哈希算法以及发布者公钥（可为null）;
FileDef : 每个PE文件和资源文件都有一个记录项（清单本身所在文件除外，该文件在AssemblyDef的单一记录项中列出）。包含文件名、扩展名、哈希值和一些标志。如果程序集只包含自己的文件，则该表无记录（VS中不能创建多文件程序集，只能通过命令行）；
ManifestResourceDef : 每个资源文件一个记录项。包含资源名称、一些标志（是否外部可见：public,private）以及FileDef表的一个索引（指出包含在哪个文件中）。如果资源不是独立文件，那么资源是包含在PE文件中的流。嵌入资源，记录项会包含一个偏移量，指出资源流在PE文件中的起始位置；
ExportedTypesDef : PE模块中导出的每个public类型有一个记录项。包含类型名称、FileDef表的一个索引（指出类型由程序集的哪个文件实现）以及TypeDef表的一个索引。
AssemblyDef {1}-------------------->{*} FileDef {1}<----------------------------->{1} ManifestResourceDef
ExportedTypesDef {0,1}------------>{1} FileDef + {1} TypeDef