堆污染

短命女 2023-10-08 10:03 18阅读 0赞

堆污染是由于泛型的使用造成的一种潜在危险。

总结起来，堆污染就是因为使用泛型参数化类内部成员变量，同一类的不同实例对象内部里面成员变量的类型可能不同，

编译阶段无法发现，运行期间才能被发现的类型转换错误问题。

以下面一图说明泛型可能带来的堆污染问题：

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0pva2VyX1pKTg_size_16_color_FFFFFF_t_70][]

虚拟机栈将方法(method)压栈，局部变量表中的list1会在堆空间中通过new关键字开辟内存空间，

并将该片内存空间的地址引用返回给list1。

但是List是个类类型，其中具体存放元素的Object数组只是这个类的成员变量。但是JAVA的引用传递的检查机制是在类层面的。

也就是说用相同形状的映射相同形状的，形状里面的内容无关紧要。

所以编译阶段是不会出错的，因为Object类型的数组可以存放任何元素，但是在通过引用指向取出元素的时候就会报类型转换错误——integer无法转换成String。

因为ArrayList的底层源码里面在指定泛型的时候已经将返回值类型替换掉。list1、list2的相同方法返回值类型一个为integer一个为String。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0pva2VyX1pKTg_size_16_color_FFFFFF_t_70 1][]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0pva2VyX1pKTg_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20191126120248345.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0pva2VyX1pKTg==,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0pva2VyX1pKTg_size_16_color_FFFFFF_t_70 1]: https://img-blog.csdnimg.cn/20191126142234928.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0pva2VyX1pKTg==,size_16,color_FFFFFF,t_70