java泛型type体系整理.docVIP

Java泛型type体系整理 一直对jdk的ref使用比较模糊，早上花了点时间简单的整理了下，也帮助自己理解一下泛型的一些处理。 java中class,method,field的继承体系 java中所有对象的类型定义类Type 说明： Type : 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类型，所以第一次使用会对这个比较陌生，相对内部的一些概念。 根据Type类型分类，整理了一个type - class的转换过程，同理也包括处理Generic Type。支持多级泛型处理。 Java代码 ? 测试代码： Java代码 ? 针对class的泛型接口使用： Java代码 ? ? 针对method的泛型接口使用： Java代码 ? ? ? 针对field的泛型接口使用： Java代码 ? ? 输出结果： Java代码 ? ? 结果说明： 因为泛型的擦拭，对应的GeneircInteface和BaseGeneircInteface，在源码信息已被擦除对应的类型，进行了upper转型，所以取到的是Object。可以使用extends GenericClass在类定义时，声明了继承父接口的泛型为List，所以再通过接口和父类获取泛型信息时，是能正确的获取。通过javap -v可以获取对应的class信息 Java代码 ? ? 而在GenericClass中定义的方法method3，在class信息是一个被向上转型后擦拭的信息。所以获取method3的相关泛型信息是没有的。 Java代码 ? ? 思考问题： List list = new ArrayList(); 是否有获取对应的String泛型信息? 不能，临时变量不能保存泛型信息到具体class对象中，List和List对应的class实体是同一个。 Java代码 ? ? 通过匿名类的方式，是否可以获取Integer的泛型信息? 能，匿名类也会在进行class compiler保存泛型信息。 假如本文例子中的method3，是放在父类中BaseGeneircInteface中进行申明，GenericClass中指定R为List，是否可以获取到对应的泛型信息? 不能，理由和问题1类似。 备注 具体泛型擦拭和信息保存，引用了撒迦的一段回复，解释的挺详尽了。 RednaxelaFX 写道 Java泛型有这么一种规律： 位于声明一侧的，源码里写了什么到运行时就能看到什么; 位于使用一侧的，源码里写什么到运行时都没了。 什么意思呢?“声明一侧”包括泛型类型(泛型类与泛型接口)声明、带有泛型参数的方法和域的声明。注意局部变量的声明不算在内，那个属于“使用”一侧。 Java代码 ? 上面代码里，带有注释的行里的泛型信息在运行时都还能获取到，原则是源码里写了什么运行时就能得到什么。针对1的GenericClass，运行时通过Class.getTypeParameters()方法得到的数组可以获取那个“T”;同理，2的T、3的java.lang.String与T、4的T与U都可以获得。 这是因为从Java 5开始class文件的格式有了调整，规定这些泛型信息要写到class文件中。以上面的map为例，通过javap来看它的元数据可以看到记录了这样的信息： Javap代码 ? 乍一看，private java.util.Map map;不正好显示了它的泛型类型被擦除了么? 但仔细看会发现有两个Signature，下面的一个有两字节的数据，0x0A。到常量池找到0x0A对应的项，是： Javap代码 ? 也就是内容为“Ljava/util/Map;”的一个字符串。 根据Java 5开始的新class文件格式规范，方法与域的描述符增添了对泛型信息的记录，用一对尖括号包围泛型参数，其中普通的引用类型用“La/b/c/D;”的格式记录，未绑定值的泛型变量用“Txxx;”的格式记录，其中xxx就是源码中声明的泛型变量名。类型声明的泛型信息也以类似下面的方式记了下来： Javap代码 ? 详细信息请参考官方文档：/docs/books/jvms/second_edition/ClassFileFormat-Java5.pdf 相比之下，“使用一侧”的泛型信息则完全没有被保留下来，在Java源码编译到class文件后就确实丢失了。也就是说，在方法体内的泛型局部变量、泛型方法调用之类