擦除1.

在JDK5之前还没有泛型。

在使用集合时需要构建一个元素类型为Object的集合集合能够存储任意的数据类型对象在使用该集合的过程中需要明确知道存储每个元素的数据类型否则很容易引发ClassCastException异常。

JDK5中引入Java泛型这个新特性泛型提供了编译时类型安全监测机制该机制允许我们在编译时检测到非法的类型数据结构。

泛型主要是方便了程序员的代码编写以及更好的安全性检测。

泛型是一种运用于编译时期的技术泛型的出现实现了把运行阶段的错误提前暴露到了编译阶段。

在泛型使用过程中操作的数据类型被指定为一个参数这种参数类型可以用在类、接口和方法中分别被称为泛型类、泛型接口、泛型方法。

参数化类型

泛型的本质就是参数化类型。

在不创建新的类型的情况下通过泛型指定的不同类型来控制形参具体限制的类型。

参数化类型顾名思义就是将类型由原来的具体的类型参数化类似于方法中的变量参数此时类型也定义成参数形式可以称之为类型形参然后在使用/调用时传入具体的类型类型实参。

简单理解泛型就是把类型当作是参数一样进行传递数据类型只能是引用类型。

编译时类型安全监测消除强制类型转换

泛型的使用需要先声明声明通过符号的方式符号可以任意编译器通过识别尖括号和尖括号内的字母来解析泛型。

泛型的类型只能为引用类型不能为基本类型尖括号的位置也是固定的只能在类名之后或方法返回值之前

泛型类型符号

(表示集合元素在集合中使用)TType表示Java类KKey表示键比如Map中的keyVValue表示值比如Map中的keyNNumber表示数值类型?泛型通配符表示不确定的Java类型

泛型声明方式

Java的泛型是伪泛型这是因为Java在编译期间所有的泛型信息都会被擦掉正确理解泛型概念的首要前提是理解类型擦除。

官方描述

泛型被引入Java语言以在编译时提供更严格的类型检查并支持泛型编程。

如果类型参数是无界的则将泛型类型中的所有类型参数替换为其边界或Object。

因此生成的字节码只包含普通类、接口和方法。

如果需要请插入类型强制转换以保持类型安全。

生成桥接方法以保留扩展泛型类型中的多态性。

类型擦除确保了不会为参数化类型创建新类所以泛型是没有运行时开销的。

泛型的使用使得编译器在编译时进行了更严格类型检查避免运行时引发ClassCastException异常泛型应用于编译阶段用泛型定义的类型参数会在编译时会去掉这称之为“类型擦除”。

编译后生成的字节码class文件不包含泛型类型信息运行时虚拟机并不知道泛型。

编译时泛型的类型参数会被替换为其边界或Object编译时使用泛型的地方会插入强制类型转换在泛型父类、泛型接口的场景中会生成桥接方法以保留泛型类型中的多态性。

编译时如果子类复写的父类中的方法使用了泛型类型子类会自动生成一个该方法的桥接方法编译时如果实现类实现接的接口方法使用了泛型类型实现类会自动生成一个该方法的桥接方法

public

ArrayList();System.out.println(list1.getClass()

list2.getClass());}

}打印结果为true因为list1和list2的Class对象是同一个Class。

特别注意对于编译后生成的字节码class文件不包含泛型类型信息这句话网上普遍都说这个说法但都没去仔细解释理解的时候可能会有不解因为你发现现实中的class文件中时是包含了泛型类型信息的。

下文会解释这个问题。

桥接方法

桥接方法是JDK1.5引入泛型后为使java泛型方法生成的字节码与JDK1.5版本之前的字节码兼容由编译器自动生成的。

子类继承父类实现接口实现泛型方法的情况父类经过编译后方法的泛型类型入参和返回值类型都为Object或上边界类型而子类的实现方法的入参和返回值类型为具体的泛型类型如String此时子类并没有重写父类的方法了返回值和形参与父类完全相同才是重写方法所以需要编译器生成一个桥接方法达到重写父类方法的目的。

因此当子类继承父类实现接口实现泛型方法的时候编译器会为子类自动生成桥接方法。

举例说明

Test3.class.getDeclaredMethods();for

(Method

{System.out.println((method.isBridge()

桥接方法

com.joker.test.generic.Test3.get()

java.lang.Integer

com.joker.test.generic.Test3.get()

桥接方法public

com.joker.test.generic.Test3.set(java.lang.Object)

void

com.joker.test.generic.Test3.set(java.lang.Integer)以set方法作分析

编译时经过类型擦除后TestInterface接的set方法变成了void

set(Object

s)明显已经不再是实现方法了为了解决这个问题Java编译器通过桥接的生成了一个**void

set(Object

为什么Java不像C#一样实现真正的泛型呢而要用类型擦除的方式实现了个伪泛型。

其实JDK1.5引入的泛型采用类型擦除式实现的根本原因是兼容性上的取舍而不是因为实现不了真正意义上的泛型。

为了确保JDK1.5之前的和JDK1.5能使用同一个类加载器所以Java通过类型擦除的方式实现的泛型支持。

经过编译阶段的泛型类型擦除后与JDK1.5之前是基本没有变动。

类型信息并未完全擦除

使用泛型的地方进行了强制类型转换但泛型的类型参数并未替换为Object

原因在编译过程中泛型信息是被擦除了但是声明侧的泛型信息会被class文件以Signature的形式保留在Class文件的Constant

使用javap命令反编译Demo.class文件和Test.class文件

javap

/D:/work/my/springboot/target/classes/com/joker/test/generic/Demo.classLast

modified

4851ec541c05f1d29bee93edb79085f0Compiled

from

com/joker/test/generic/Demo.id:Ljava/lang/Object;#3

Class

Lcom/joker/test/generic/Demo;#16

Utf8

Lcom/joker/test/generic/DemoTT;;#18

Utf8

T:Ljava/lang/Object;Ljava/lang/Object;#22

Utf8

com.joker.test.generic.Demo();descriptor:

()Vflags:

Lcom/joker/test/generic/Demo;LocalVariableTypeTable:Start

Length

Lcom/joker/test/generic/DemoTT;;public

getId();descriptor:

Lcom/joker/test/generic/Demo;LocalVariableTypeTable:Start

Length

Lcom/joker/test/generic/DemoTT;;Signature:

#20

T:Ljava/lang/Object;Ljava/lang/Object;

SourceFile:

/D:/work/my/springboot/target/classes/com/joker/test/generic/Test.classLast

modified

a82bd374c2bff99147acd130f3819415Compiled

from

com.joker.test.generic.Testminor

version:

com/joker/test/generic/Demo.init:()V#4

Methodref

com/joker/test/generic/Demo.getId:()Ljava/lang/Object;#5

Class

Lcom/joker/test/generic/Test;#15

Utf8

Lcom/joker/test/generic/Demo;#21

Utf8

Lcom/joker/test/generic/DemoLjava/lang/Integer;;#25

Utf8

com.joker.test.generic.Test();descriptor:

()Vflags:

Lcom/joker/test/generic/Test;public

static

main(java.lang.String[]);descriptor:

ACC_PUBLIC,

com/joker/test/generic/Demo.init:()V7:

astore_18:

com/joker/test/generic/Demo.getId:()Ljava/lang/Object;12:

checkcast

Lcom/joker/test/generic/Demo;16

Ljava/lang/Integer;LocalVariableTypeTable:Start

Length

Lcom/joker/test/generic/DemoLjava/lang/Integer;;MethodParameters:Name

Flagsargs

对于Java中泛型类型的获取可参考Java中如何获取泛型类型信息

四、泛型使用

泛型类型用于类的定义中被称为泛型类。

用户在使用该类的时候才把类型明确下来。

在类上定义的泛型在实例方法中可以直接使用不需要定义但不能在静态方法中使用。

原因Java中泛型只是一个占位符必须在传递类型后才能使用。

类实例化时才能正真的的传递类型参数由于静态方法的加载先于类的实例化也就是说类中的泛型还没有传递真正的类型参数静态的方法就已经加载完成了。

public

泛型接口和泛型类的声明方式一致。

泛型接口的具体类型需要在实现类中进行声明。

public

当需要多重约束的时候可以使用操作符操作符只能放在泛型的声明上泛型类、泛型接口、方法方法的声明上操作符后面只能是接口不能是具体的类型即使是Object也不行操作符不能用于super上

因为java有规定

https://blog.csdn.net/tianzhonghaoqing/article/details/119705014