解析复杂泛型需递归遍历Type树，区分五类类型并提取原始类型与参数；关键在ParameterizedType展开及TypeVariable上下文绑定；封装TypeResolver工具类提供resolveType等API，返回含rawClass、typeArgs等字段的ResolvedType结构。
要解析复杂泛型签名（如 List<map list>>></map> 或更深层嵌套），核心在于递归遍历 Type 树，区分 Class、ParameterizedType、TypeVariable、WildcardType 和 GenericArrayType，并正确提取原始类型与实际类型参数。单纯靠 getClass().getTypeParameters() 或 Field.getGenericType() 只能拿到顶层信息，必须封装反射工具类做深度展开。
识别并递归展开 ParameterizedType
ParameterizedType 是解析嵌套泛型的关键节点，代表带实际类型参数的泛型类型（如 Map<string list>></string>）。需逐层提取其 getRawType()（原始类）和 getActualTypeArguments()（类型参数数组），对每个参数再递归处理。
- 若参数是
ParameterizedType，继续展开（如List<integer></integer>） - 若参数是
Class，说明已到底层具体类型（如String、Integer） - 若参数是
TypeVariable，表示类型变量（如T），需结合上下文（如所在类/方法的类型参数声明）尝试推断，否则保留为占位符 - 若参数是
WildcardType（通配符，如? extends Number），提取其上界/下界并递归解析 - 若参数是
GenericArrayType（如T[]或List<string>[]</string>），先获取其组件类型（getGenericComponentType()），再递归解析
处理泛型上下文绑定（解决 TypeVariable 落地问题）
TypeVariable 本身不携带运行时类型信息，仅在编译期存在。要解析出其实际类型（例如字段 T data 在 class Box<string></string> 实例中对应 String），需构建类型上下文映射：
- 从目标字段/方法出发，向上追溯其声明类（
Field.getDeclaringClass()） - 获取该类的直接泛型父类或接口（
Class.getGenericSuperclass()/Class.getGenericInterfaces()） - 若父类是
ParameterizedType，将其getActualTypeArguments()与父类声明的TypeVariable按顺序建立映射（如Box<string></string>→T → String） - 递归向上处理多层继承（如
A<t></t>extendsB<u></u>extendsC<v></v>），合并所有层级的类型变量绑定
封装通用解析器：TypeResolver 工具类
将上述逻辑封装为静态工具类，提供简洁 API：
-
resolveType(Type type, Type context)：主入口，给定任意Type和其所在上下文（如宿主类的getGenericSuperclass()），返回完全解析后的类型树 -
resolveFieldType(Field field)：快捷方法，自动提取字段泛型 + 所属类泛型上下文 - 返回结构建议用不可变嵌套对象（如
ResolvedType），含rawClass、typeArgs: List<resolvedtype></resolvedtype>、isArray、isWildcard等字段，便于后续判断和序列化 - 内部用
Map<typevariable>, Type></typevariable>缓存已解析的变量绑定，避免重复计算
典型使用场景与注意事项
该工具适用于 JSON 反序列化类型推导、DAO 泛型实体映射、AOP 参数类型检查等需要精确泛型元数据的场景。
- 注意：匿名内部类、Lambda 表达式、局部变量无法通过反射获取泛型信息（编译后擦除且无签名）
- 数组类型（
T[]）必须用GenericArrayType处理，不能只依赖Class.isArray() - 对于
Object或未绑定的TypeVariable，应明确返回UNKNOWN或抛出IllegalArgumentException，而非静默返回Object.class - 测试时建议覆盖：多层嵌套、通配符边界、泛型接口实现、类型变量重命名（如子类
class IntBox extends Box<integer></integer>）等边界情况
