Java泛型不变性
泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。
协变
观察上述sum方法，如果形参为List<Number> list那么Double类型的List无法调用该方法，但是如果我们在list类型中添加了<? extends Number>就可以成功调用了，这就是泛型的协变，但是泛型协变的问题就是我们无法在list集合中添加元素，原因也很简单因为JVM无法保证传入参数为float类型。
泛型协变失去了传递泛型对象的能力
逆变
逆变放宽的是对父类型的约束，使得父类型的泛型对象可以进行赋值，但是失去了获取该泛型的能力
一句话来讲一下，泛型协变和逆变都放松了对于方法参数的约束，不同点在于，协变放宽的是对子类型的约束，逆变放宽的是对父类型的约束，同时协变失去的是传递泛型对象的能力而逆变失去的是获取该泛型对象的能力
泛型擦除
泛型信息只存在于代码编译阶段，但是在java的运行期(已经生成字节码文件后)与泛型相关的信息会被擦除掉
在jdk1.5之前是没有泛型的，为了兼容低版本所以采用泛型擦除的方式使得低版本编译的代码同样可以运行在高版本jvm上。 对于泛型，javac编译器会记录泛型信息。jvm可以通过反射来在运行时获取泛型信息。正因为jdk1.5之前也不存在反射，所以这也是自洽的
标签：编译,逆变,一下,简单,list,类型,协变,泛型 From： https://www.cnblogs.com/ccywmbc/p/16592186.html