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

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

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

原因是可变参数提供了使用非参数化对象数组调用的选项。如果你的类型是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并没有阻止它的发生，但是它要求编译器在编译使用它的代码时更加严格。

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

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

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

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

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

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

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的行为。