.NET 反射通过元数据 Signature 表中编码的二进制签名（非 FullName 或 ToString）解析泛型结构，支持 IsGenericType、GetGenericArguments() 等 API 底层调用；编译器生成签名，CLR 运行时解码，确保泛型类型精确还原。
泛型信息在 .NET 中确实不直接保留在类型或方法的 FullName 或 ToString() 结果里，但编译器会将关键泛型结构写入元数据的 Signature Blob（签名二进制块），并通过 Signature 属性（如 MethodBase.GetMethodBody().GetILAsByteArray() 不参与此过程；真正承载泛型元数据的是 MetadataToken 对应的元数据表项中的 Signature 列）暴露给反射系统。不过更准确地说：.NET 反射中“签名属性”并非一个公开 API 名为 Signature 的字段，而是指元数据中由 SIG_* 表（Signature 表）记录的、经编码的类型/方法签名，它被 Type、MethodInfo、PropertyInfo 等对象在内部解析并用于构建 IsGenericType、GetGenericArguments()、GetGenericTypeDefinition() 等行为。
泛型签名存储在元数据 Signature 表中
.NET 编译器（如 csc）将泛型定义和实例化信息编译为紧凑的二进制签名（Signature），写入 PE 文件的元数据中 SIG 表。这类签名不是字符串，而是遵循 ECMA-335 标准的字节序列，编码了：
- 类型种类（如
CLASS、VALUETYPE、GENERICINST） - 泛型参数数量与约束（对泛型类型定义）
- 泛型实参的类型符号引用（对泛型构造类型，如
List<string>） - 方法泛型参数及其实参（如
T Method<T>(T x)）
例如，Dictionary<int, string> 的签名不会存为文本 "Dictionary`2[System.Int32,System.String]"，而是一串类似 0x01 0x02 0x1B ... 的字节，其中 0x1B 表示 GENERICINST，后续字节指向 Dictionary`2 的 TypeDef token 和两个实参（Int32、String）的 TypeSpec token。
反射通过 Signature 解析泛型结构
System.Type 和 MethodInfo 等反射对象本身不暴露原始 signature 字节，但它们的泛型相关 API（如 GetGenericArguments()）底层依赖 IMetaDataImport::GetSigFromToken() 获取签名数据，并按规范解码：
-
IsGenericType→ 检查签名首字节是否为GENERICINST或类型定义含泛型参数 -
GetGenericArguments()→ 解码签名中泛型实参子序列，再通过 metadata token 映射为运行时Type对象 -
GetGenericTypeDefinition()→ 从GENERICINST签名中提取泛型类型定义 token，再查 TypeDef 表获取原始定义
注意：这种解析发生在运行时，由 CLR 元数据引擎完成，开发者无需手动读 signature blob —— 但可通过 System.Reflection.Metadata 库（如 MetadataReader.GetMethodSignature()）直接查看原始签名字节，用于诊断或高级元编程。
为什么不能靠 FullName 或 ToString 还原泛型？
Type.FullName 对泛型类型返回的是“显示名”，如 "System.Collections.Generic.List`1[[System.String, ...]]"，这是 CLR 格式化后的可读字符串，不是元数据源。它由反射层根据签名 + 类型名拼接生成，且在跨 Assembly 或动态生成类型时可能缺失完整程序集信息。更重要的是：
- 嵌套泛型（如
Func<Action<T>, T[]>）的 FullName 易歧义，而 signature 是无损、确定性的 - 未绑定泛型参数（如方法体内的
T t = default;）只存在于 signature 和 IL 中，不生成具体 Type 实例，也无 FullName - 反射必须依赖 signature 才能正确区分
List<int>和int[]—— 二者FullName完全不同，但 signature 编码方式截然不同（数组用ARRAY符号，泛型用GENERICINST）
编译器与运行时的协作机制
csc 编译时负责生成合法 signature 并填入元数据；JIT 和反射系统则按标准解码。这个过程是隐式的，但关键点在于：
- 泛型类型定义（如
class Box<T>）在元数据中记为TypeDef条目，其 signature 描述参数数量、约束等 - 泛型构造类型（如
Box<string>）不占TypeDef，而是在TypeSpec表中新建一项，内容即其 signature 字节 - 每个泛型方法调用（如
list.Where(x => x.Length > 0)）触发MemberRef引用带 signature 的方法 spec，确保运行时能绑定到正确的泛型实例
正因这套基于 signature 的元数据机制，反射才能在无源码、无 PDB 的情况下，精确还原泛型结构，支撑序列化、DI、ORM 等框架的泛型类型发现与操作。
