泛型是什么:


泛型,即“参数化类型”,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。


引入一个类型变量 T (其他大写字母都可以,不过常用的就是 T , E , K , V 等等),并且用 <> 括起来,并放在类名的后面。泛型类 是允许有多个类型变量的。


按照约定,类型参数名称命名为单个大写字母,以便可以在使用普通类或接口名称时能够容易地区分类型参数。以下是常用的类 型参数名称列表:


E - 元素,主要由 Java 集合 (Collections) 框架使用。


K - 键,主要用于表示映射中的键的参数类型。


V - 值,主要用于表示映射中的值的参数类型。


N - 数字,主要用于表示数字。


T - 类型,主要用于表示第一类通用型参数。


S - 类型,主要用于表示第二类通用类型参数。


U - 类型,主要用于表示第三类通用类型参数。


V - 类型,主要用于表示第四个通用类型参数

泛型类:

java 泛型 参数传递子类 java泛型参数的类型_java

泛型接口:

java 泛型 参数传递子类 java泛型参数的类型_Java_02


泛型接口实现类:


java 泛型 参数传递子类 java泛型参数的类型_类型参数_03


java 泛型 参数传递子类 java泛型参数的类型_Java_04

 

泛型方法:


java 泛型 参数传递子类 java泛型参数的类型_java_05

所以泛型的好处就是:


  • 适用于多种数据类型执行相同的代码
  • 泛型中的类型在使用时指定,不需要强制类型转换


虚拟机是如何实现泛型的?


泛型擦除


Java 语言中的泛型,它只在程序源码中存在,在编译后的字节码文件中,就已经替换为原来的原生类型( Raw Type ,也称为裸类 型)了,并且在相应的地方插入了强制转型代码,因此,对于运行期的 Java 语言来说, ArrayList < int >与 ArrayList < String >就是同一 个类,所以泛型技术实际上是 Java 语言的一颗语法糖, Java 语言中的泛型实现方法称为类型擦除,基于这种方法实现的泛型称为伪泛


将一段 Java 代码编译成 Class 文件,然后再用字节码反编译工具进行反编译后,将会发现泛型都不见了,程序又变回了 Java 泛型 出现之前的写法,泛型类型都变回了原生类型。


java 泛型 参数传递子类 java泛型参数的类型_Java_06


java 泛型 参数传递子类 java泛型参数的类型_Java_07