通过varargs参数可能存在堆污染

Question

我知道Java 7在使用泛型类型的varargs时会出现这种情况；

但我的问题是..

当Eclipse说“它的使用可能会潜在地污染堆”时，它到底是什么意思？

而且

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

Answer 1

当你申报时

public static void foo（列表 ...bar) 编译器将其转换为

public static void foo（列表 []bar) 然后到

公共静态无效文件(list[]bar)

这样就会出现这样的危险：您会错误地将不正确的值分配到列表中，而编译器将不会触发任何错误。例如，如果T是字符串，则以下代码将在编译时没有错误，但将在运行时失败：

// First, strip away the array type (arrays allow this kind of upcasting)
Object[] objectArray = bar;

// Next, insert an element with an incorrect type into the array
objectArray[0] = Arrays.asList(new Integer(42));

// Finally, try accessing the original array. A runtime error will occur
// (ClassCastException due to a casting from Integer to String)
T firstElement = bar[0].get(0);

如果您审阅了该方法以确保它不包含此类漏洞，那么您可以使用@safevarargs对其进行注释以抑制警告。对于接口，请使用@suppresswarnings（“unchecked”）。

如果收到以下错误消息：

Varargs方法可能会导致堆污染，因为Varargs参数不可重构

并且您确信您的使用是安全的,那么您应该改用@suppresswarnings（“varargs”）。请参见@safeVarargs是此方法的适当注释吗？和https://stackoverflow.com/a/14252221/14731来解释第二种错误。

参考资料：

• http://docs.oracle.com/javase/7/docs/technotes/guides/language/non-reiable-varargs.html
• http://docs.oracle.com/javase/tutorial/java/generics/nonreifiablevarargstype.html#heap_pollution

Answer 2

堆污染是一个专业术语。它引用具有不是它们所指向对象的超类型的类型的引用。

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作者可以在声明站点将其抑制一次。

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