我眼中的Java-Type体系(2)

这里没有图片，看原文，讲解的挺好。

 

上一篇，提到了Java-Type体系，对Type类型进行了简单的讲解；本篇，就用代码的方式，对其中的5大类型：原始类型(Class)、参数化类型(ParameterizedType)、数组类型(GenericArrayType)、类型变量(TypeVariable)、基本类型(Class) 进一步说明；

1.ParameterizedType

ParameterizedType表示参数化类型，也就是泛型，例如List<T>、Set<T>等；

 

ParameterizedType

在ParameterizedType接口中，有3个方法，分别是getActualTypeArguments()、 getRawType()、 getOwnerType();

1.1 getActualTypeArguments

获取泛型中的实际类型，可能会存在多个泛型，例如Map<K,V>,因此会返回Type[]数组；

 

值得注意的是，不管<>中有几层嵌套(List<Map<String,Integer>)，getActualTypeArguments()方法永远都是脱去最外层的<>(也就是List<>)，将口号内的内容（Map<String,Integer>）返回；

咱们常常遇到的List<T>，经过getActualTypeArguments()方法，获得的返回值是TypeVariableImpl对象，也就是TypeVariable类型(后面介绍);

1.2 getRawType

获取声明泛型的类或者接口，也就是泛型中<>前面的那个值；

 

1.3 getOwnerType

经过方法的名称，咱们大概了解到，此方法是获取泛型的拥有者，那么拥有者是个什么意思？

Returns a {@code Type} object representing the type that this type    * is a member of.  For example, if this type is {@code O.I},    * return a representation of {@code O}.  （摘自JDK注释）

经过注解，咱们得知，“拥有者”表示的含义--内部类的“父类”，经过getOwnerType()方法能够获取到内部类的“拥有者”；例如： Map  就是 Map.Entry<String,String>的拥有者；

 

2.GenericArrayType

泛型数组类型，例如List<String>[] 、T[]等；

 

GenericArrayType

在GenericArrayType接口中，仅有1个方法，就是getGenericComponentType()；

2.1 getGenericComponentType

返回泛型数组中元素的Type类型，即List<String>[] 中的 List<String>（ParameterizedTypeImpl）、T[] 中的T（TypeVariableImpl）；

 

值得注意的是，不管是几维数组，getGenericComponentType()方法都只会脱去最右边的[]，返回剩下的值；

3.TypeVariable

泛型的类型变量，指的是List<T>、Map<K,V>中的T，K，V等值，实际的Java类型是TypeVariableImpl（TypeVariable的子类）；此外，还能够对类型变量加上extend限定，这样会有类型变量对应的上限；

 

TypeVariable

在TypeVariable接口中，有3个方法，分别为getBounds()、getGenericDeclaration()、getName()；

3.1 getBounds

得到该类型变量的上限，也就是泛型中extend右边的值；例如 List<T extends Number> ，Number就是类型变量T的上限；若是咱们只是简单的声明了List<T>（无显式定义extends），那么默认为Object；

 

无显式定义extends：

 

值得注意的是，类型变量的上限能够为多个，必须使用&符号相链接，例如 List<T extends Number & Serializable>；其中，& 后必须为接口；

3.2 getGenericDeclaration

获取声明该类型变量实体，也就是TypeVariableTest<T>中的TypeVariableTest；

 

3.3 getName

获取类型变量在源码中定义的名称；

 

说到TypeVariable类，就不得不说起Java-Type体系中另外一个比较重要的接口---GenericDeclaration；含义为：声明类型变量的全部实体的公共接口；也就是说该接口定义了哪些地方能够定义类型变量（泛型）；

经过查看源码发现，GenericDeclaration下有三个子类，分别为Class、Method、Constructor；也就是说，咱们定义泛型只能在一个类中这3个地方自定义泛型；

 

此时，咱们不由要问，咱们不是常常在类中的属性声明泛型吗，怎么Field没有实现 GenericDeclaration接口呢？

其实，咱们在Field中并无声明泛型，而是在使用泛型而已！不信，咱们实际上代码来看看！

1.首先在Class上定义泛型：

 

Class定义泛型

2.咱们没有在Class上定义泛型，直接在构造方法上定义泛型

 

泛型构造

3.一样没有在Class定义泛型，直接在普通方法上定义泛型

 

泛型方法

3.咱们直接在属性上定义

 

属性上定义泛型

咱们看到，若是不在Class上定义，属性上并不能直接使用！因此，这也是我以前说的属性上并非定义泛型，而是使用泛型，因此Field并无实现GenericDeclaration接口！

4.Class

Type接口的实现类，是咱们工做中经常使用到的一个对象；在Java中，每一个.class文件在程序运行期间，都对应着一个Class对象，这个对象保存有这个类的所有信息；所以，Class对象也称之为Java反射的基础；

 

Class

经过上面的例子，能够看出，当咱们没有声明泛型的时候，咱们普通的对象就是一个Class类型，是Type中的一种；

5.WildcardType

？---通配符表达式，表示通配符泛型，可是WildcardType并不属于Java-Type中的一钟；例如：List<? extends Number> 和 List<? super Integer>；

 

WildcardType

在WildcardType接口中，有2个方法，分别为getUpperBounds()、getLowerBounds();

5.1 getUpperBounds

获取泛型变量的上边界（extends）

 

5.2 getLowerBounds

获取泛型变量的下边界（super）

 

以上，就是对Java-Type体系中相关对象的介绍；

做者：贾博岩 连接：http://www.jianshu.com/p/e8eeff12c306 來源：简书 著做权归做者全部。商业转载请联系做者得到受权，非商业转载请注明出处。