java基础之反射类型Type

Java在加入泛型之后，仅仅Class已经不足以描述数据的类型了，比如List<String>类型的数据，其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<ClassA> 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<String>，泛型的参数已经指定；
  • GenericArrayType: 表示一种元素类型是参数化类型或者类型变量的数组类型，如List<String>[][]；
  • WildcardType: 代表一种通配符类型表达式，比如List<?>, List<? extends ClassA>, List<? super Object>。

继续介绍Type之前，需要先介绍一下java的泛型机制：

泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，以提高代码的重用率。

泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除掉，专业术语叫做类型擦除。

参数化类型ParameterizedType

参数化类型的写法如下：C<T1,…,Tn>，其中C是Class类型，<T1,…,Tn> 是Type，先列几个参数化类型的合法定义：

Seq\