CLR反射与元数据管理的真相：二者加载逻辑究竟如何？

先把两个容易混淆的概念掰清楚：

• 程序集元数据的内存映射：CLR加载程序集时，会把整个程序集的元数据段（包含所有类型的原始二进制元数据）直接映射到进程内存里，但这只是把磁盘上的元数据读进内存，并没有把每个类型的信息解析成CLR能直接用的运行时对象（比如RuntimeType）。
• 类型元数据的按需解析：只有当某个类型第一次被实际用到（不管是直接new、反射调用，还是被其他已加载类型触发引用）时，CLR才会从已映射的原始元数据里解析该类型的信息，生成对应的运行时类型对象，并且把这个对象缓存起来——这才是你之前看到的「按需加载/缓存」的真实含义。

接下来逐个解答你的疑问：

1. 既然程序集元数据已经在内存里，反射为啥还要「加载」？ #

反射说的「加载」不是从磁盘读文件，而是从已映射的原始元数据里查找、解析目标类型/成员的具体信息，生成对应的反射对象（比如FieldInfo、TypeInfo），再把这些对象缓存起来。

那些说「元数据加载/缓存是反射性能瓶颈」的文章没错：第一次调用反射获取某个成员时，CLR要做查找、解析、生成对象的工作，这个过程比直接调用编译好的代码慢很多；但后续再调用时，会直接从缓存里拿已经生成好的反射对象，性能会大幅提升。

2. 创建类型A实例（A引用类型B）后，分析B的字段信息时，元数据是已缓存还是要加载？ #

分两种情况：

• 如果B是A的静态依赖（比如A的字段类型是B，或者A的构造函数里直接new了B），那CLR在解析A的元数据时，会自动触发B的元数据解析，生成对应的运行时类型对象并缓存。这时用反射查B的字段，直接用缓存好的数据，不用再解析原始元数据。
• 如果B是A的动态依赖（比如A是通过反射创建B，或者B只是被A的代码引用但从未实际执行到），那只有当B第一次被实际访问时（比如第一次创建实例、第一次反射调用），才会被解析并缓存。如果只是A引用了B但没触发B的加载，这时反射查B的字段会触发第一次解析。

3. ValueType的默认GetHashCode用反射时，会用缓存的数据吗？ #

会的。ValueType的默认GetHashCode会遍历所有字段计算哈希值，CLR内部确实会用反射机制获取字段信息，但第一次调用时会解析该值类型的元数据，把字段信息缓存起来，后续再调用就直接复用缓存的数据，不会重复解析元数据。

内容的提问来源于stack exchange，提问作者grilledCheeze