java基础 ：泛型

泛型是什么：

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

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

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

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

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

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

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

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

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

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

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

 

泛型类：

 

泛型接口：

泛型接口实现类：

 

泛型方法：

 

所以泛型的好处就是：

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

 

 

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

泛型擦除

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

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