Java泛型Type体系是反射获取泛型信息的底层基础，Type为空接口，统一抽象Class、ParameterizedType、TypeVariable、WildcardType、GenericArrayType五类类型；其中Class代表擦除后的运行时类型，其余四者分别对应参数化类型、类型变量、通配符和泛型数组，共同支撑泛型结构在字节码中保留并被运行时解析。
Java 泛型中的 Type 体系，是支撑泛型在运行时被识别和操作的一套类型抽象机制，它不是为日常编码直接使用而设计的，而是反射获取泛型信息时的底层基础。
Type 是所有类型的统一抽象
Type 是一个空接口，位于 java.lang.reflect 包中，代表 Java 语言中一切“可被声明、引用或作为参数出现”的类型概念。它把原本分散的类型表示——比如 Class（原始类、枚举、注解）、List<string></string>（参数化类型）、T（类型变量）、? extends Number（通配符）、List<string>[]</string>（泛型数组）——统一纳入同一继承体系，让反射能以一致方式处理它们。
四大核心子接口各司其职
实际开发中遇到的泛型结构，基本都落在以下四类 Type 实现中：
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
-
ParameterizedType：表示带具体类型实参的泛型，如
Map<string list>></string>；它的getRawType()返回Map.class，getActualTypeArguments()返回[String.class, List<Integer>]（注意：只剥最外层<>） -
TypeVariable：表示声明时的类型形参，如
class Box<T>中的T，或方法<R> R convert(...)中的R；它本身不指代具体类型，需结合上下文（如 bounds）推断可能范围 -
WildcardType：对应通配符，如
? extends CharSequence或? super Integer；通过getUpperBounds()和getLowerBounds()获取边界类型 -
GenericArrayType：表示“泛型元素构成的数组”，例如
T[]、List<String>[]；区别于普通数组String[]（后者是Class类型）
Class 也是 Type 的一种
Class 是 Type 的唯一非接口实现类，代表已擦除后的具体运行时类型。比如 String.class、int.class、void.class 都是 Type 实例。这意味着：当你拿到一个字段的 getGenericType()，返回值可能是 Class（无泛型），也可能是 ParameterizedType（有泛型），需用 instanceof 判断再向下转型。
立即学习“Java免费学习笔记（深入）”；
它存在的根本原因：类型擦除后仍要保留泛型结构
Java 泛型在编译后会进行类型擦除（如 List<String> → List），但源码里的泛型结构不能完全丢弃——否则框架（如 Jackson、MyBatis、Spring Data）就无法知道你想要序列化的到底是 List<User> 还是 List<Order>。Type 体系正是在字节码中以“签名属性”形式保留下来的元信息载体，供反射在运行时解析。
