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 实现中：
-
ParameterizedType：表示带具体类型实参的泛型，如
Map<string list>></string>；它的getRawType()返回Map.class，getActualTypeArguments()返回[String.class, List<integer>]</integer>（注意：只剥最外层） -
TypeVariable：表示声明时的类型形参，如
class Box<t></t>中的T，或方法<r> R convert(...)</r>中的R；它本身不指代具体类型，需结合上下文（如 bounds）推断可能范围 -
WildcardType：对应通配符，如
? extends CharSequence或? super Integer；通过getUpperBounds()和getLowerBounds()获取边界类型 -
GenericArrayType：表示“泛型元素构成的数组”，例如
T[]、List<string>[]</string>；区别于普通数组String[]（后者是Class类型）
Class 也是 Type 的一种
Class 是 Type 的唯一非接口实现类，代表已擦除后的具体运行时类型。比如 String.class、int.class、void.class 都是 Type 实例。这意味着：当你拿到一个字段的 getGenericType()，返回值可能是 Class（无泛型），也可能是 ParameterizedType（有泛型），需用 instanceof 判断再向下转型。
它存在的根本原因：类型擦除后仍要保留泛型结构
Java 泛型在编译后会进行类型擦除（如 List<string></string> → List），但源码里的泛型结构不能完全丢弃——否则框架（如 Jackson、MyBatis、Spring Data）就无法知道你想要序列化的到底是 List<user></user> 还是 List<order></order>。Type 体系正是在字节码中以“签名属性”形式保留下来的元信息载体，供反射在运行时解析。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
