509

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

但我的问题是..

当 Eclipse 说“它的使用可能会污染堆”时,它到底是什么意思?

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

4

6 回答 6

297

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

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 作者可以在声明站点将其禁止一次。

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

于 2012-09-17T15:16:02.623 回答
286

当你声明

public static <T> void foo(List<T>... bar)编译器将其转换为

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

public static void foo(List[] bar)

然后就会出现危险,您会错误地将不正确的值分配到列表中,并且编译器不会触发任何错误。例如,如果T是 aString那么下面的代码将编译没有错误,但会在运行时失败:

// 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").

如果您收到此错误消息:

Varargs 方法可能会导致不可具体化的 varargs 参数造成堆污染

并且您确定您的使用是安全的,那么您应该使用它@SuppressWarnings("varargs")。请参阅@SafeVarargs 是此方法的适当注释吗?https://stackoverflow.com/a/14252221/14731很好地解释了第二种错误。

参考:

于 2013-05-05T04:25:46.737 回答
10

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

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

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

于 2012-09-17T15:14:33.780 回答
6

当您使用可变参数时,它可能会导致创建一个Object[]来保存参数。

由于逃逸分析,JIT 可以优化掉这个数组创建。(我发现它的少数几次之一)它不能保证被优化掉,但我不会担心它,除非你在你的内存分析器中看到它的问题。

AFAIK@SafeVarargs禁止编译器发出警告,并且不会更改 JIT 的行为方式。

于 2012-09-17T15:21:56.513 回答
1

原因是可变参数提供了使用非参数化对象数组调用的选项。因此,如果您的类型是 List < A > ... ,也可以使用 List[] 非可变参数类型调用它。

这是一个例子:

public static void testCode(){
    List[] b = new List[1];
    test(b);
}

@SafeVarargs
public static void test(List<A>... a){
}

如您所见, List[] b 可以包含任何类型的消费者,但此代码可以编译。如果你使用可变参数,那么你很好,但是如果你在类型擦除之后使用方法定义 - void test(List[]) - 那么编译器将不会检查模板参数类型。@SafeVarargs 将禁止显示此警告。

于 2018-07-26T23:05:58.950 回答
0

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

如果将方法作为库暴露在外部,就很难捕捉到这样的错误。在这种情况下,最好避免使用此注释并使用集合类型(例如Collection<Type1<Type2>>)输入而不是 varargs ( Type1<Type2>...) 重写解决方案。

至于命名,在我看来,堆污染现象这个词颇具误导性。在文档中没有提到实际的 JVM堆。软件工程有一个问题,其中包含一些关于这种现象命名的有趣想法。

于 2021-01-07T12:03:40.833 回答