Type类
Type接口是所有类型的父接口,有四个子接口和一个实现类。
Class类比较常见,表示的是原始类型。Java类在JVM里表现为一个Class对象
ParameterizedType表示的是参数化类型,对应
List<T>
、List<String>
等格式,如List<String>
这种带有泛型的类型。ParameterizedType接口中常用的方法有三个,分别为
Type getRawType() 返回参数化类型中的原始类型,如
List<String>
的原始类型为ListType[] getActualTypeArguments() 获取参数化类型的类型变量或是实际类型列表,如
List<String>
的参数化类型列表为String,对于Map<String,Integer>
中参数化列表为String和IntegerType getOwnerType() 返回的是类型所属的类型,这个所属类型就像是
Map.Entry<K,V>的所属类型是Map<K,V>
TypeVariable表示的是类型变量,用来反应在JVM编译该泛型前的信息。对应
<T extends Comparable<T>>
中的 T 标识,例如List<T>
中T就是类型变量,它在编译时需要被转换为一个具体的类型后才能正常使用。该接口有三个常用的方法,分别为:
Type[] getBounds() 获取类型变量的上边界,如果没有明确声明上边界则默认为Object。
class Test<K extends Person>
中K的上边界就是PersonD getGenericDeclaration() 获取声明该类型变量的原始类型,例如
class Test<K extends Person>
中的原始类型就是TestString getName() 获取在源码中定义的名字,例如
class Test<K extends Person>
中为K
GenericArrayType表示的是数组类型且组成元素是ParameterizedType或TypeVariable,例如
List<String>[]
或T[]- 该接口只有一个方法,Type getGenericComponentType() 返回数组的组成元素类型
WildcardType表示的是通配符泛型,对应
? extends CharSequence
中的?
,例如? extends Number
和? super Integer
- Type[] getUpperBounds() 返回泛型变量的上边界
- Type[] getLowerBounds() 返回泛型变量类型的下边界