堆污染是一个技术术语。它引用的引用类型不是其指向的对象的超类型。

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

但是，如果方法其实并不安全，用户将不再被警告。

当你声明

public static <T> void foo(List<T>... bar) 编译器将其转换为

public static <T> void foo(List<T>[] bar) 然后

public static void foo(List[] bar)

这样就有危险，你将错误地将错误的值分配给列表，并且编译器将不会触发任何错误。例如，如果T为a，String则以下代码将正确编译，但在运行时将失败：

// 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参数而导致堆污染