通过varargs参数可能导致堆污染

Question

我知道在Java 7中使用带有泛型类型的varargs时会发生这种情况；

但是我的问题是..

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

和

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

Answer 1

堆污染是一个技术术语。它引用的引用类型不是其指向的对象的超类型。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 CCEB b = listOfBs.get(0);&nbsp;@SafeVarargs完全不能阻止这一点。但是，有些方法证明不会污染堆，编译器无法证明这一点。以前，此类API的调用者会收到令人讨厌的警告，这些警告是完全没有意义的，但必须在每个调用站点中都加以抑制。现在，API作者可以在声明站点中将其取消一次。但是，如果方法其实并不安全，用户将不再被警告。

Answer 2

使用varargs时，可能会导致创建一个Object[]用于保存参数的。由于进行了转义分析，JIT可以优化此数组创建。（我发现它的少数几次）不能保证对其进行优化，但是除非您在内存分析器中看到它的问题，否则我不会担心。AFAIK&nbsp;@SafeVarargs禁止编译器发出警告，并且不会更改JIT的行为。