Java在加入泛型之后，仅仅Class已经不足以描述数据的类型了，比如List\
Type介绍
Type是Java 编程语言中所有类型的公共高级接口，也就是Java中所有"类型"的接口。官方原话定义如下
\> 官方文档：Type is the common superinterface for all types in the Java programming language. These include raw types, parameterized types, array types, type variables and primitive types.
这样的官方描述有点难懂，此处我画个图解释一下。Type其实是和泛型一起出现的，可以说Type就是为了支持泛型。
- 泛型出现之前，我们可以通过Class来确认一个对象的类型，比如ClassA A，那么A的类型就是ClassA;
- 泛型出现之后，显然不能通过Class唯一确认一个对象的类型，比如List\
\> A type variable is an unqualified identifier used as a type in class, interface, method, and constructor bodies.
Type的类型
Type可以分为两大类：包含TypeVariables和不包含TypeVariables的类型：
- 不包含TypeVariable：包含基本数据类型（int, long等），基本Class（如Object，不包含泛型的类）；
包含TypeVariable，按照包含的TypeVariable又分为以下几类：
- ParameterizedType: 表示一种参数化的类型，如List\
- GenericArrayType: 表示一种元素类型是参数化类型或者类型变量的数组类型，如List\
- WildcardType: 代表一种通配符类型表达式，比如List\, List\, List\。
- ParameterizedType: 表示一种参数化的类型，如List\
继续介绍Type之前，需要先介绍一下java的泛型机制：
泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，以提高代码的重用率。
泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除掉，专业术语叫做类型擦除。
参数化类型ParameterizedType
参数化类型的写法如下：C\
Seq\
Seq\\>
Seq\.Zipper\
Pair\ ParameterizedType类型的接口方法介绍：
| 返回值 | 方法名称 | 描述信息 |
|---|---|---|
| Type[] | getActualTypeArguments() | 参数化类型中的TypeVariable参数类型，如List\ |
| Type | getOwnerType() | 获取当前Type所属的Type，比如对于O\ |
| Type | getRawType() | 获取当前Type的Class，如List\ |
\>ParameterizedType represents a parameterized type such as Collection\
数组类型GenericArrayType
数组泛型类型的写法如下：C\
List\[]
List\\> [][] | 返回值 | 方法名称 | 描述信息 |
|---|---|---|
| Type | getGenericComponentType() | 数组元素的类型，如List\ |
注意：\<\>不能出现在数组的初始化中，即new数组之后不能出现\<\>，否则javac无法通过。但是作为引用变量或者方法的某个参数是完全可以的。不包含泛型的数组本节不做介绍(如String[])，下文中会进行介绍。
\>GenericArrayType represents an array type whose component type is either a parameterized type or a type variable.
通配符类型WildcardType
通配符类型何其字面意思相同，其泛型类型不再是一个具体的类，而是一个通配符表达式，表达式包含以下三种："?","? extends Type", "? super Type"，其中Type可以为WildcardType，GenericArrayType，ParameterizedType，Class.
\>WildcardType represents a wildcard type expression, such as ?, ? extends Number, or ? super Integer.
WildcardType 接口的方法和介绍如下.
| 返回值 | 方法名称 | 描述信息 |
|---|---|---|
| Type[] | getLowerBounds() | 返回通配Type的下限类型，现阶段返回值的长度为1 |
| Type[] | getUpperBounds() | 返回通配Type的上限类型，现阶段返回值的长度为1 |
基本Class、基本数据类型和数组
通过反射获取基本的Class和基本数据类型此处就不详细介绍了，接下来会重点介绍一下数组类型。java的数组类型由虚拟机生成，虚拟机生成的数组类型的名称一般类似于"class [[Ljava.lang.String;"，注意其中的"[["表示是二维数组。那么如何获取数组中的元素类型呢？ java.lang.Class包中提供了以下接口查询：
| 返回值 | 方法名称 | 描述信息 |
|---|---|---|
| Class\ | componentType() | 如果类型是数组类型，返回数组中元素的类型，否则返回null |
\>componentType():Returns the component type of this Class, if it describes an array type, or null otherwise.
如何获取字段或参数的Type信息
平时使用java程序的过程中，我们接触到的最多的类型只有Class，像泛型类型和数组类型，通常只有通过反射才能获取到。
获取字段的泛型信息
如下程序中，我们首先定义了一个自定义的类TestParameterizedType，只包含一个字段List\
public class ReflectParameterizedTypeTest {
public static class TestParameterizedType {
private List\ field;
}
@Test
public void testIntType() throws NoSuchFieldException {
Class\ clazz = TestParameterizedType.class;
Field field = clazz.getDeclaredField("field");
// 此处获取到字段的实际Class类型
Class\ clazzType = field.getType();
System.out.println("Field type: " + clazzType.getName());
// 此处获取到字段的泛型类型
Type genericType = field.getGenericType();
System.out.println("Field generic type: " + field.getGenericType().getTypeName());
}
} 
获取方法参数的泛型信息
类似于字段的获取方式，方法可以通过Method.getGenericParameterTypes()获取所有参数的泛型信息。
获取运行时变量的泛型信息
不可能，具体原因参考java的泛型擦除原理。
本文大多数内容参考了java官方文档，点此直达JAVA15官方文档地址
我是御狐神，欢迎大家关注我的微信公众号
本文最先发布至微信公众号，版权所有，禁止转载！