简单说一下泛型

Java泛型不变性

 

 

泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

协变

 

 

观察上述sum方法，如果形参为List<Number> list那么Double类型的List无法调用该方法，但是如果我们在list类型中添加了<? extends Number>就可以成功调用了，这就是泛型的协变，但是泛型协变的问题就是我们无法在list集合中添加元素，原因也很简单因为JVM无法保证传入参数为float类型。

泛型协变失去了传递泛型对象的能力

逆变

 

 

逆变放宽的是对父类型的约束，使得父类型的泛型对象可以进行赋值，但是失去了获取该泛型的能力

一句话来讲一下，泛型协变和逆变都放松了对于方法参数的约束，不同点在于，协变放宽的是对子类型的约束，逆变放宽的是对父类型的约束，同时协变失去的是传递泛型对象的能力而逆变失去的是获取该泛型对象的能力

泛型擦除

泛型信息只存在于代码编译阶段，但是在java的运行期(已经生成字节码文件后)与泛型相关的信息会被擦除掉

 

 

在jdk1.5之前是没有泛型的，为了兼容低版本所以采用泛型擦除的方式使得低版本编译的代码同样可以运行在高版本jvm上。 对于泛型，javac编译器会记录泛型信息。jvm可以通过反射来在运行时获取泛型信息。正因为jdk1.5之前也不存在反射，所以这也是自洽的

__EOF__

本文作者：双双
本文链接：https://www.cnblogs.com/ccywmbc/p/16592186.html
关于博主：评论和私信会在第一时间回复。或者直接私信我。
版权声明：本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！
声援博主：如果您觉得文章对您有帮助，可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力！