16

我们使用了一些可变参数函数,当我们迁移到 java 1.7 时,我们会收到一个奇怪的未经检查的警告。

接口ICache中的函数添加

public interface ICache<O> {
    void add(Object source, O... objects);
}

在一个界面报告错误。

ICache.java:18: warning: [unchecked] Possible heap pollution from parameterized vararg type O
    void add(Object source, O... objects);
  where O is a type-variable:
    O extends Object declared in interface ICache
1 warning

O 扩展了 Object,作为它的通用缓存类。

我阅读了 xlint 警告,我们在未选中的情况下进行编译,但http://docs.oracle.com/javase/7/docs/technotes/tools/windows/javac.html#xlintwarnings似乎暗示这个错误应该是[varargs] 类型不是未经检查的类型。

我错过了什么吗?

4

1 回答 1

2

堆污染是一个术语,指的是指向一个对象的类型,当使用泛型类型的可变参数时,它不是超类型。当参数化类型的变量引用不属于该参数化类型的对象时,就会发生这种情况。这篇关于堆栈溢出的帖子准确地向您解释了这意味着什么以及您应该如何处理它,并提供了有关@SafeVarargs注释的详细信息。因此,在 interface 中ICache,vararg 类型O指向Object您的接口中,但O不是 的超类型Object,这会产生堆污染警告。注意它是如何说可能的堆污染的。如果您的代码没有引起任何问题,例如导致ClassCastException,它可能是安全的,不会污染堆,但是编译器没有办法证明这一点,也无法验证操作的正确性,所以它仍然会产生警告。这实际上是未检查警告的定义:当涉及参数化类型的操作的正确性无法验证时。有关更多信息,请参阅有关不可具体化类型的 Oracle 页面如果你不想得到这个警告,你可以用 来阻止它SafeVarargs,或者简单地通过添加@SuppressWarnings ({"unchecked", "varargs"})到方法声明中来抑制它,但是如果方法确实不安全,你将不会得到警告。

于 2014-07-30T15:28:56.097 回答