通过varargs参数可能造成堆污染

我知道在使用带有泛型类型的可变参数时,Java 7会发生这种情况;

但我的问题是..

当Eclipse说“它的使用可能会污染堆?”时,Eclipse究竟意味着什么?

新的@SafeVarargs注释如何防止这种情况发生?


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

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

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

然后会出现这样的危险,您会错误地将不正确的值分配到列表中,并且编译器不会触发任何错误。 例如,如果T是一个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")

如果您收到此错误消息:

可变参数法可能会导致不可保证的可变参数的堆污染

你确定你的使用是安全的,那么你应该使用@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

  • @SafeVarargs不会阻止它发生,但是它要求在编译使用它的代码时编译器更严格。

    http://docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html更详细地解释了这一点。

    堆污染是当您在通用接口上执行操作时发生ClassCastException ,并且它包含的其他类型不是声明的。

    链接地址: http://www.djcxy.com/p/55005.html

    上一篇: Potential heap pollution via varargs parameter

    下一篇: What is Java Servlet?