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

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

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); 

@SafeVarargs完全不能阻止这一点。但是，有些方法证明不会污染堆，编译器无法证明这一点。以前，此类API的调用者会收到烦人的警告，这些警告是毫无意义的，但必须在每个调用站点中都加以抑制。现在，API作者可以在声明站点中将其取消一次。

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