java – 通过varargs参数可能的堆污染

我理解当使用具有泛型类型的varargs时,Java 7会发生这种情况;

但我的问题是……

当Eclipse说“它的使用可能会污染堆？”时,Eclipse到底意味着什么呢？

和

新的@SafeVarargs注释如何阻止这种情况？

解决方法:

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

List<A> listOfAs = new ArrayList<>();
List<B> listOfBs = (List<B>)(Object)listOfAs; // points to a list of As

这可能导致“无法解释的”ClassCastExceptions.

// if the heap never gets polluted, this should never throw a CCE
B b = listOfBs.get(0); 

@SafeVarargs根本不会阻止这种情况.但是,有些方法可以证明不会污染堆,编译器就是无法证明它.以前,这些API的调用者会得到令人讨厌的警告,这些警告完全没有意义,但必须在每个呼叫站点被抑制.现在API作者可以在声明站点禁止它一次.

但是,如果该方法实际上不安全,则不再会警告用户.

标签：java,eclipse,generics,variadic-functions
来源： https://codeday.me/bug/20190916/1807171.html