java基础之反射类型Type

Java在加入泛型之后，仅仅Class已经不足以描述数据的类型了，比如List类型的数据，其Class的类型为List.class，但是其类型包含了泛型参数，所以java引入了Type类型来描述泛型类型。除了泛型类型，还有数组格式的数据，其类型也包含两部分，一部分是数组对象本身的class，另外一部分是数组中数据的类型。本文会详细介绍JavaType中的各种类型，分析这些类型的使用方法。

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，A的Class是List，但是A的类型显然不仅仅是List，它是由Class类型的List + TypeVariables的ClassA联合确认的一个Type。

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: 表示一种元素类型是参数化类型或者类型变