Type 接口【重要】

Type接口完整的定义:
public interface java.lang.reflect.Type {
/**
* Returns a string describing this type, including information about any type parameters.
* @implSpec The default implementation calls {@code toString}.
* @return a string describing this type
* @since 1.8
*/
default String getTypeName() {
return toString();
}
}
所有已知子接口:GenericArrayType, ParameterizedType, TypeVariable<D>, WildcardType
所有已知实现类:Class

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 是 Java 编程语言中【所有类型】的公共高级接口。它们包括原始类型、参数化类型(泛型)、数组类型、类型变量和基本类型。

注意区分Type与Class的区别,这里的Class是Type的一种,而像数组、枚举等"类型"是相对于Class来说的。

Type接口的来历

我们知道,Type是JDK5开始引入的,其引入主要是为了泛型,没有泛型的之前,只有所谓的原始类型。此时,所有的原始类型都通过字节码文件类Class类进行抽象。Class类的一个具体对象就代表一个指定的原始类型。 
泛型出现之后,也就扩充了数据类型。从只有原始类型扩充了参数化类型、类型变量类型、泛型数组类型,也就是Type的子接口。 
那为什么没有统一到Class下,而是增加一个Type呢?(Class也是种类的意思,Type是类型的意思) 
是为了程序的扩展性,最终引入了Type接口作为Class,ParameterizedType,GenericArrayType,TypeVariable和WildcardType这几种类型的总的父接口。这样实现了Type类型参数接受以上五种子类的实参或者返回值类型就是Type类型的参数。

Java中的所有类型

对于这篇笔记,只需搞清楚这里就差不多了:
  • raw type:原始类型,对应Class 。这里的Class不仅仅指平常所指的类,还包括数组、接口、注解、枚举等结构。
  • primitive types:基本类型,仍然对应Class
  • parameterized types:参数化类型,对应ParameterizedType,带有类型参数的类型,即常说的泛型,如:List<T>、Map<Integer, String>、List<? extends Number>。
  • type variables:类型变量,对应TypeVariable<D>,如参数化类型中的E、K等类型变量,表示泛指任何类。
  • array types:(泛型)数组类型,对应GenericArrayType,比如List<T>[],T[]这种。注意,这不是我们说的一般数组,而是表示一种【元素类型是参数化类型或者类型变量的】数组类型。

注意:WildcardType代表通配符表达式,或泛型表达式,比如【?】【? super T】【? extends T】。虽然WildcardType是Type的一个子接口,但并不是Java类型中的一种。


测试代码

public class Test {
public static void main(String[] args) throws NoSuchMethodException, SecurityException {
Method method = Test.class.getMethod("testType", List.class, List.class, List.class, List.class, List.class, Map.class);
Type[] types = method.getGenericParameterTypes();//按照声明顺序返回 Type 对象的数组
for (Type type : types) {
ParameterizedType pType = (ParameterizedType) type;//最外层都是ParameterizedType
Type[] types2 = pType.getActualTypeArguments();//返回表示此类型【实际类型参数】的 Type 对象的数组
for (int i = 0; i < types2.length; i++) {
Type type2 = types2[i];
System.out.println(i + " 类型【" + type2 + "】\t类型接口【" + type2.getClass().getInterfaces()[0].getSimpleName() + "】");
}
}
} public <T> void testType(List<String> a1, List<ArrayList<String>> a2, List<T> a3, //
List<? extends Number> a4, List<ArrayList<String>[]> a5, Map<String, Integer> a6) {
}
}
运行结果
0  类型【class java.lang.String】	类型接口【Serializable】
0 类型【java.util.ArrayList<java.lang.String>】 类型接口【ParameterizedType】
0 类型【T】 类型接口【TypeVariable】
0 类型【? extends java.lang.Number】 类型接口【WildcardType】
0 类型【java.util.ArrayList<java.lang.String>[]】 类型接口【GenericArrayType】
0 类型【class java.lang.String】 类型接口【Serializable】
1 类型【class java.lang.Integer】 类型接口【Serializable】

Type 接口的四个子接口

ParameterizedType 泛型/参数化类型【重要】

public interface java.lang.reflect.ParameterizedType extends Type
ParameterizedType 表示参数化类型,带有类型参数的类型,即常说的泛型,如:List<T>、Map<Integer, String>、List<? extends Number>。

方法
  • Type[]    getActualTypeArguments()  返回表示此类型实际类型参数的 Type 对象的数组。【重要】
    • 简单来说就是:获得参数化类型中<>里的类型参数的类型。
    • 因为可能有多个类型参数,例如Map<K, V>,所以返回的是一个Type[]数组。
    • 注意:无论<>中有几层<>嵌套,这个方法仅仅脱去最外层的<>,之后剩下的内容就作为这个方法的返回值,所以其返回值类型不一定。
  • Type    getOwnerType()   返回 Type 对象,表示此类型是其成员之一的类型。
    • 如果此类型为顶层类型,则返回 null(大多数情况都是这样)。
  • Type    getRawType()  返回 Type 对象,表示声明此类型的类或接口。
    • 简单来说就是:返回最外层<>前面那个类型,例如Map<K ,V>,返回的是Map类型。
public class Test {
public static void main(String[] args) throws Exception {
Method method = Test.class.getMethod("test", Map.Entry.class);
Type[] types = method.getGenericParameterTypes();
for (Type type : types) {
ParameterizedType pType = (ParameterizedType) type;
System.out.println(pType + " ★ " + pType.getOwnerType() + " ★ " + pType.getRawType() //
+ " ★ " + Arrays.toString(pType.getActualTypeArguments()));
//java.util.Map.java.util.Map$Entry<T, U> ★ interface java.util.Map ★ interface java.util.Map$Entry ★ [T, U]
}
} public static <T, U> void test(Map.Entry<T, U> mapEntry) {
}
}

TypeVariable<D> 类型变量/泛指任何类【掌握】

public interface java.lang.reflect.TypeVariable<D extends GenericDeclaration> extends Type
类型变量,如参数化类型中的E、K等类型变量,表示泛指任何类。

方法
  • Type[]  getBounds()  返回表示此类型变量上边界的 Type 对象的数组。
    • 返回:表示此类型变量的上边界的 Type 的数组
    • 注意,如果未显式声明上边界,则上边界为 Object。
  • D  getGenericDeclaration()  返回 GenericDeclaration 对象,该对象表示声明此类型变量的一般声明。
    • 返回:为此类型变量声明的一般声明。
  • String  getName()  返回此类型变量的名称,它出现在源代码中。
public static <T extends Person, U> void main(String[] args) throws Exception {
Method method = Test.class.getMethod("main", String[].class);
TypeVariable<?>[] tvs = method.getTypeParameters();//返回声明顺序的 TypeVariable 对象的数组
System.out.println("声明的类型变量有:" + Arrays.toString(tvs));//[T, U] for (int i = 0; i < tvs.length; i++) {
GenericDeclaration gd = tvs[i].getGenericDeclaration();
System.out.println("【GenericDeclaration】" + gd);//public static void com.bqt.Test.main(java.lang.String[]) throws java.lang.Exception
System.out.println(gd.getTypeParameters()[i] == tvs[i]);//true。 GenericDeclaration和TypeVariable两者相互持有对方的引用 System.out.println(tvs[i] + " " + tvs[i].getName() + " " + Arrays.toString(tvs[i].getBounds()));//T T [class com.bqt.Person] 和 U U [class java.lang.Object]
}
}

GenericArrayType (泛型)数组类型

public interface java.lang.reflect.GenericArrayType extends Type
GenericArrayType 表示一种(泛型)数组类型,其组件类型为参数化类型或类型变量。
比如List<T>[],T[]这种。注意,这不是我们说的一般数组,而是表示一种【元素类型是参数化类型或者类型变量的】数组类型。

方法
  • Type  getGenericComponentType()  返回表示此数组的组件类型的 Type 对象。此方法创建数组的组件类型。
    • 获取泛型数组中元素的类型,要注意的是:无论从左向右有几个[]并列,这个方法仅仅脱去最右边的[]之后剩下的内容就作为这个方法的返回值。

WildcardType 通配符(泛型)表达式

public interface java.lang.reflect.WildcardType extends Type
WildcardType代表通配符表达式,或泛型表达式,比如【?】【? super T】【? extends T】。虽然WildcardType是Type的一个子接口,但并不是Java类型中的一种。

方法
  • Type[]  getLowerBounds()  返回表示此类型变量下边界的 Type 对象的数组。注意,如果不存在显式声明的下边界,则下边界为类型 null。在此情况下,将返回长度为零的数组。
  • Type[]  getUpperBounds()  返回表示此类型变量上边界的 Type 对象的数组。注意,如果不存在显式声明的上边界,则上边界为 Object。

【Type】类型 ParameterizedType的更多相关文章

  1. 浩哥解析MyBatis源码(十)——Type类型模块之类型处理器

    原创作品,可以转载,但是请标注出处地址:http://www.cnblogs.com/V1haoge/p/6715063.html 1.回顾 之前的两篇分别解析了类型别名注册器和类型处理器注册器,此二 ...

  2. MyBatis源码解析(十)——Type类型模块之类型处理器TypeHandler

    原创作品,可以转载,但是请标注出处地址:http://www.cnblogs.com/V1haoge/p/6715063.html 1.回顾 之前的两篇分别解析了类型别名注册器和类型处理器注册器,此二 ...

  3. 基础篇:深入解析JAVA泛型和Type类型体系

    目录 1 JAVA的Type类型体系 2 泛型的概念 3 泛型类和泛型方法的示例 4 类型擦除 5 参数化类型ParameterizedType 6 泛型的继承 7 泛型变量TypeVariable ...

  4. Input对象的type类型

    Input表示Form表单中的一种输入对象,其又随Type类型的不同而分文本输入框,密码输入框,单选/复选框,提交/重置按钮等,下面一一介绍. 1,type=text        输入类型是text ...

  5. Type 类型

    修改 type 类型 UPDATE  wd_order2 SET  info = array_append(info, row(2,100001, now() )::info )  WHERE id_ ...

  6. 使用Atlas进行元数据管理之Type(类型)

    背景:笔者和团队的小伙伴近期在进行数据治理/元数据管理方向的探索, 在接下来的系列文章中, 会陆续与读者们进行分享在此过程中踩过的坑和收获. 元数据管理系列文章: [0] - 使用Atlas进行元数据 ...

  7. HTML(七)HTML 表单(form元素介绍,input元素的常用type类型,input元素的常用属性)

    前言 表单是网页与用户的交互工具,由一个<form>元素作为容器构成,封装其他任何数量的表单控件,还有其他任何<body>元素里可用的标签 表单能够包含<input> ...

  8. Asterisk的type类型和身份认证

    Asterisk的type类型和身份认证 转载:http://zeevli.blog.163.com/blog/static/119591610201111745012380/ 在Asterisk中对 ...

  9. Flume source 支持的type类型

    Flume是一个分布式的高可用的消费组件.通过修改配置文件,可以启动不同的agent处理不同来源的数据. agent包含source,channel,sink三个组件.今天我们学习下source的ty ...

随机推荐

  1. HP电脑的增霸卡功能操作详解

    机房管理中HP电脑的增霸卡功能操作详解 一.软件去除保护 1).电脑开机后等待进入增霸卡选择系统界面: 2).按F1帮助,F10进入增霸卡BIOS界面: 3).光标切换到>>>系统还 ...

  2. Spring 单例 httprequest 线程安全

    @Autowired HttpServletRequest之所以线程安全是因为, httpsevletRequest 储存在 RequestContextHolder中. 每次http请求的doXXX ...

  3. JDK源码分析(一)——ArrayList

    目录 ArrayList分析 ArrayList继承结构 ArrayList字段属性 ArrayList构造函数 重要方法 ArrayList Iterator迭代器 总结 ArrayList分析   ...

  4. PAGELATCH_EX Contention on 2:1:103

    This blog post is meant to help people troubleshoot page latch contention on 2:1:103. If that’s what ...

  5. iOS 9应用开发教程之iOS 9新特性

    iOS 9应用开发教程之iOS 9新特性 iOS 9开发概述 iOS 9是目前苹果公司用于苹果手机和苹果平板电脑的最新的操作系统.该操作系统于2015年6月8号(美国时间)被发布.本章将主要讲解iOS ...

  6. CSS3组件化之圆波扩散

    本篇文章主要介绍用CSS3实现的水波扩散涟漪,圆波扩散,光圈扩散,雷达波向外散发动画. 预期效果应该是这样:,其实应该比这个更优美,因为设计师提供的gif出现透明度丢失问题,所以建议用css3实现. ...

  7. python 对字典"排序"

    对字典进行排序?这其实是一个伪命题,搞清楚python字典的定义---字典本身默认以key的字符顺序输出显示---就像我们用的真实的字典一样,按照abcd字母的顺序排列,并且本质上各自没有先后关系,是 ...

  8. Python进阶篇:Socket多线程

    1. 初识Socket server和clinet之间的交互方式 2. 客户端和服务端的单次交互 ==================================== 服务端 import soc ...

  9. hdu 4859 最小割

    链接:点我 未懂

  10. hdu 5246 乱搞

    题意:题目太长直接看链接 链接:点我 乱搞题 显然,一个人要想成功,必须大于等于最强的人的战斗力,所以我们从后往前看 这里直接拿例1解释,首先递减排个序 15,13,10,9,8 作差得2,3,1,1 ...