@SafeVarargs并没有阻止它的发生，但是它要求编译器在编译使用它的代码时更加严格。

http://docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html对此有更详细的解释。

堆污染是当您在泛型接口上执行操作时获得ClassCastException，并且它包含未声明的另一种类型。

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

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作者可以在声明站点删除它一次。

但是，如果该方法确实不安全，用户将不再收到警告。

当你使用可变参数时，它会导致创建一个Object[]来保存参数。

由于转义分析，JIT可以优化这个数组创建。(为数不多的几次我发现它这样做)它不保证被优化，但我不会担心它，除非你在你的内存分析器看到它的一个问题。

AFAIK @SafeVarargs抑制编译器的警告，并且不会改变JIT的行为。

当你申报时

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

public static <T> void foo(List<T>[] bar) then to

foo(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")。

如果你得到这个错误信息:

变参数方法会因为不可具体化的变参数而造成堆污染

如果你确定你的使用是安全的，那么你应该使用@SuppressWarnings("varargs")来代替。参见@SafeVarargs是此方法的适当注释吗?https://stackoverflow.com/a/14252221/14731上有关于第二种错误的解释。

引用:

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

原因是可变参数提供了使用非参数化对象数组调用的选项。如果你的类型是List < A >…，也可以使用List[]非变量类型调用。

这里有一个例子:

public static void testCode(){
    List[] b = new List[1];
    test(b);
}

@SafeVarargs
public static void test(List<A>... a){
}

如您所见，List[] b可以包含任何类型的消费者，但这段代码仍然可以编译。如果你使用了可变参数，那就没问题，但是如果你使用了类型消除-无效测试(List[])之后的方法定义，那么编译器将不会检查模板形参类型。@SafeVarargs将屏蔽此警告。

当你可以控制方法的调用方式(例如，类的私有方法)时，给方法添加@SafeVarargs注释是相当安全的。必须确保只将声明的泛型类型的实例传递给方法。

如果方法在外部以库的形式公开，就很难捕捉到这样的错误。在这种情况下，最好避免该注释，并使用集合类型(例如collection <Type1<Type2>>)输入重写解决方案，而不是使用变量参数(Type1<Type2>…)

至于命名，在我看来，堆污染现象这个术语是很有误导性的。在文档中并没有提到实际的JVM堆。在软件工程中有一个问题包含了一些关于这种现象命名的有趣想法。