我眼中的Java-Type体系(2)1.ParameterizedType2.GenericArrayType3.TypeVariable4.Class5.WildcardType

上一篇,提到了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体系中相关对象的介绍;

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏好好学java的技术栈

java基础提升篇:深入剖析Java中的装箱和拆箱

1092
来自专栏WindCoder

Java基础小结(一)

1、default (即缺省,什么也不写): 在同一包内可见,不使用任何修饰符。使用对象:类、接口、变量、方法。

1141
来自专栏夏时

PHP 特色:可变变量

1414
来自专栏HTML5学堂

Math对象面试题目

HTML5学堂:JavaScript的Math对象的命令虽然简单,但是逻辑性要求比较高,它可以辅助开发者实现一些JavaScript复杂效果,这就要求大家有一定...

2495
来自专栏架构之路

动态代理模式原理

在学习Spring的时候,我们知道Spring主要有两大思想,一个是IoC,另一个就是AOP,对于IoC,依赖注入就不用多说了,而对于Spring的核心AOP来...

3564
来自专栏老付的网络博客

Java反射和注解

反射是指在运行的状态,对于任意一个类,都能够知道类里面的所有的属性和方法,并能够进行属性的赋值和方法的调用 。 在java中使用java.lang下面的Clas...

2922
来自专栏向治洪

Kotlin基础之泛型

泛型 与Java一样,Koltin的类也有类型参数。例如: class Box<T>(t: T){ var value = t } 常规来说,创建这样的...

1927
来自专栏数据结构与算法

17:字符串判等

17:字符串判等 总时间限制: 1000ms 内存限制: 65536kB描述 判断两个由大小写字母和空格组成的字符串在忽略大小写,且忽略空格后是否相等。 ...

3729
来自专栏王翔的专栏

ES6基础 数组的扩展

对于那些没有部署 Iterator 接口的类似数组的对象(如普通object),扩展运算符就无法将其转为真正的数组。

842
来自专栏五毛程序员

java反射机制入门02

3505

扫码关注云+社区

领取腾讯云代金券