反射之Type类-编程知识

反射之Type类

Type类

Type接口是所有类型的父接口，有四个子接口和一个实现类。

Class类比较常见，表示的是原始类型。表示的Java类在JVM里表现为一个Class对象
ParameterizedType表示的是参数化类型，对应 List<T>、List<String> 等格式，如List 这种带有泛型的类型。

ParameterizedType接口中常用的方法有三个，分别为
- Type getRawType() 返回参数化类型中的原始类型，如List 的原始类型为List
- Type[] getActualTypeArguments() 获取参数化类型的类型变量或是实际类型列表，如List 的参数化类型列表为String，对于Map<String,Integer>中参数化列表为String和Integer
- Type getOwnerType() 返回的是类型所属的类型，这个所属类型就像是 Map.Entry<K,V>的所属类型是Map<K,V>
TypeVariable表示的是类型变量，用来反应在JVM编译该泛型前的信息。对应 <T extends Comparable<T>> 中的 T 标识，例如List 中T就是类型变量，它在编译时需要被转换为一个具体的类型后才能正常使用。

该接口有三个常用的方法，分别为：
- Type[] getBounds() 获取类型变量的上边界，如果没有明确声明上边界则默认为Object。class Test 中K的上边界就是Person
- D getGenericDeclaration() 获取声明该类型变量的原始类型，例如class Test 中的原始类型就是Test
- String getName() 获取在源码中定义的名字，例如class Test 中为K
GenericArrayType表示的是数组类型且组成元素是ParameterizedType或TypeVariable，例如List []或T[]
- 该接口只有一个方法，Type getGenericComponentType() 返回数组的组成元素类型
WildcardType表示的是通配符泛型，对应 ? extends CharSequence 中的 ?，例如 ? extends Number 和 ? super Integer
- Type[] getUpperBounds() 返回泛型变量的上边界
- Type[] getLowerBounds() 返回泛型变量类型的下边界