这是堆污染吗？

Question

我有如下所示的构造函数

public MyConstructor(MyObject<T> ... objects) {
     // ...
}

Eclipse用以下消息警告我：

类型安全性:通过varargs参数对象潜在的堆污染

我将构造函数更改如下：

public MyConstructor(MyObject<T>[] objects) {
     // ...
}

现在，警告消失了。然而，我认为潜在的危险并没有得到解决。

这个解决办法有效吗？

Answer 1

从某种程度上说，这是一种解决办法。创建不可再生组件类型的数组是不安全的。因此，编译器不允许这样的数组创建表达式：

// List<String> is erased to List => disallowed
Object example = new List<String>[] { null, null };

// List<?> is effectively reifiable => allowed
Object example = new List<?>[] { null, null };

但是，允许通过变量方法(如Arrays.asList )创建隐藏数组。

// RHS amounts to Arrays.asList(new List<String>[] { null, null })
List<List<String>> example = Arrays.asList(null, null);

由于您不允许此数组创建，您的堆将不再受到污染。但是:你将如何调用构造函数呢？

请注意，构造函数可能根本不会污染堆。唯一的办法就是如果

• 它将数组转换为较不特定的类型(即MyObject<?>[]或Object[])或
• 它允许数组以某种方式转义(即将其赋值给字段并从getter返回或将其传递给可能不安全的方法)。

如果您这样做，则不能将构造函数标记为有@SafeVarargs，并且警告将消失。