Classworking 工具箱: 分析泛型数据结构

核心提示： TypeDirectory 类中第一个遗漏的部分是 m_templateMap 字段，这个哈希映射把没有参数类型的泛型类的字段描述符字符串与这个类的 GenericTemplate 关联起来，Classworking 工具箱: 分析泛型数据结构(6)，GenericTemplate 实例包含类的

TypeDirectory 类中第一个遗漏的部分是 m_templateMap 字段。这个哈希映射把没有参数类型的泛型类的字段描述符字符串与这个类的 GenericTemplate 关联起来。GenericTemplate 实例包含类的基本类型参数信息，还有为类定义的字段的数组。不是泛型引用的字段都在泛型模型定义的时候完全定义；是 泛型引用的字段则保留作为签名，留在以后进行填充。内部的 DescriptionBuilderVisitor 类实现从泛型类的二进制表示实际收集这个模板信息的实际 ASM 处理工作。

清单 2 的 TypeDirectory 类遗漏的其他部分是 getSignatureInstance() 和 getMappedSignatureInstance() 方法以及后一个方法使用的内部 SignatureDecompositionVisitor 类的完整代码。getSignatureInstance() 方法实际地构建新的泛型类模板，然后为参数类型的具体列表实例化这些模板。实例化过程由 GenericTemplate 的内部 ParameterizedClassDescription 类的构造函数方法设置，但是会推迟到这个 TypeDescription 子类第一次请求字段列表的时候。

为什么要在 ParameterizedClassDescription 类中推迟替换的处理？还是因为递归的问题。如果没有延迟处理，就会发生这样的情况：仅仅对泛型模板的基本字段定义进行处理，就会引起对这个模板的同一版本的实例化。

TypeDirectory 类的 getMappedSignatureInstance() 方法接受字段签名和一个映射（映射中保存类型参数变量名称到实际参数类型的映射），这个方法使用内部 SignatureDecompositionVisitor 类的实例来处理签名，并在看到类型参数变量的时候执行替换。签名完全处理之后，getMappedSignatureInstance() 方法的代码调用内部类实例的 getDescription() 方法，得到与传递进来的签名和替换匹配的实际的类型描述。