java - 通过 varargs 参数可能造成堆污染

Question

我知道在 Java 7 中使用泛型类型的可变参数时会出现这种情况；

但我的问题是..

Eclipse 说“它的使用可能会污染堆”到底是什么意思？

和

新的@SafeVarargs注释如何防止这种情况发生？

Answer 1

堆污染是一个技术术语。它引用的类型不是它们所指向的对象的父类(super class)型。

List<A> listOfAs = new ArrayList<>();
List<B> listOfBs = (List<B>)(Object)listOfAs; // points to a list of As

这可能会导致“无法解释的”ClassCastException。

// if the heap never gets polluted, this should never throw a CCE
B b = listOfBs.get(0); 

@SafeVarargs 根本无法阻止这种情况。然而，有些方法可能不会污染堆，编译器只是无法证明这一点。以前，此类 API 的调用者会收到恼人的警告，这些警告完全毫无意义，但必须在每个调用站点进行抑制。现在，API 作者可以在声明站点将其抑制一次。

但是，如果该方法实际上不安全，则将不再警告用户。