JVM 泛型语法糖

常用参数名称：

符号	作用
E	元素，主要由 Java 集合(Collections)框架使用
K	键，主要用于表示映射中的键的参数类型
V	值，主要用于表示映射中的值的参数类型
N	数字，主要用于表示数字
T S U V	通用型参数

JVM 实现原理

泛型擦除

Java 语言中的泛型，它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的原生类型（Raw Type，也称为裸类型）了，并且在相应的地方插入了强制转型代码，因此，对于运行期的 Java 语言来说，ArrayList＜int＞与 ArrayList＜String＞ 就是同一个类，所以泛型技术实际上是 Java 语言的一颗语法糖，Java 语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型。
将一段 Java 代码编译成 Class 文件，然后再用字节码反编译工具进行反编译后，将会发现泛型都不见了，程序又变回了 Java 泛型出现之前的写法，泛型类型都变回了原生类型。

擦除动作导致这两种方法的特征签名变得一模一样而报错

public static String method(List<String> stringList){ return null; }
public static Integer method(List<Integer> integerList){ return null; }

上面这段代码是不能被编译的，因为参数 List＜Integer＞和 List＜String＞编译之后都被擦除了，变成了一样的原生类型 List＜E＞，擦除动作导致这两种方法的特征签名变得一模一样（注意在 IDEA 中是不行的，但是 jdk 的编译器是可以，因为jdk 是根据方法返回值 + 方法名 + 参数）。

弱记忆

JVM 版本兼容性问题：JDK1.5 以前，为了确保泛型的兼容性，JVM 除了擦除，其实还是保留了泛型信息(Signature 是其中最重要的一项属性，它的作用就是存储一个方法在字节码层面的特征签名，这个属性中保存的参数类型并不是原生类型，而是包括了参数化类型的信息)----弱记忆
另外，从 Signature 属性的出现我们还可以得出结论，擦除法所谓的擦除，仅仅是对方法的 Code 属性中的字节码进行擦除，实际上元数据中还是保留了泛型信息，这也是我们能通过反射手段取得参数化类型的根本依据。

集合与泛型

• 出于向前兼容，非泛型集合可以赋值给泛型集合。

• List<Integer>和List<Object>不可相互赋值，数组却可以从Integer赋值到Object，因为数组时协变的，而集合不是。

• List<?>称为通配符集合，他可以接受任何类型的集合引用赋值，不能添加任何元素，但可以remove和clear，并非immutable集合，一般作为参数来接收外部集合，或者返回一个不知道具体元素类型的集合。

• List<? extends T>是put功能受限，除put(null)；可以返回自身及其父类对象，因为子类类型被擦除了。

• List<? super T>是get功能受限，能返回元素但是类型丢失，只能返回Object；只能添加自身及其父类对象。