泛型类型运行时被擦除,但可通过ParameterizedType等接口递归解析多层嵌套结构,关键在于逐层提取原始类型与实参、绑定TypeVariable、维护类型路径及实参快照,并注意内部类需传入ownerType。

泛型类型在运行时被擦除,但通过 ParameterizedType、GenericArrayType、TypeVariable 等接口仍可部分还原结构。要支持多层嵌套(如 Map),关键在于递归解析每层 Type 并保留实际类型实参的映射关系。
识别并展开 ParameterizedType
这是解析嵌套泛型的核心入口。当遇到 ParameterizedType 时,需提取其原始类型(raw type)和实际类型参数(actual type arguments),并对每个参数递归处理:
- 若参数是
ParameterizedType,继续展开下一层(如List中的Map) - 若参数是
TypeVariable,尝试从声明上下文(如方法或类的泛型参数列表)查找其具体绑定(需传入Class或Method上下文) - 若参数是
WildcardType(通配符),可选择保留边界(getUpperBounds()/getLowerBounds())或按需简化为Object
处理泛型数组与类型变量绑定
数组类型可能本身带泛型(如 T[] 或 List)。需先判断是否为 GenericArrayType,再获取其泛型组件类型(getGenericComponentType()),然后递归解析该组件。对于 TypeVariable,不能孤立解析——必须结合声明它的类或方法的 TypeVariable 定义顺序,以及调用现场的类型实参(例如子类继承 Parent 时,需将父类声明中的 T 绑定为 String)。
构建类型路径与实参快照
为支持精准定位(如“获取第2层 Map 的 value 类型”),建议在解析过程中维护一条类型路径(如 ["Map", "List", "Map", "Set"])及对应层级的实参快照。可用一个轻量级容器类(如 ResolvedType)封装:rawType、typeArguments(已解析的 ResolvedType[])、ownerType(用于内部类泛型解析)和 typePath(便于调试和条件匹配)。
典型使用场景封装示例
提供静态工具方法,隐藏递归细节:
-
resolveGenericType(Field field):自动从字段声明 + 所属类的泛型上下文推导完整类型 -
resolveReturnType(Method method):结合方法定义所在类/接口的类型实参,还原返回值中所有TypeVariable -
findNestedType(ResolvedType root, String... path):按名称链查找嵌套类型(如findNestedType(root, "value", "element")匹配Map中的> T)
不复杂但容易忽略的是:内部类的泛型依赖外层类实参,解析时必须传入 ownerType;而匿名/lambda 表达式无稳定类型签名,反射不可靠,应避免在此类场景强依赖泛型解析。











