Java 通过varargs参数可能导致堆污染

我理解Java 7在使用泛型类型的varargs时会出现这种情况

但我的问题是

Eclipse说“它的使用可能会污染堆”的确切含义是什么

及

---

新的

@SafeVarargs

注释如何防止这种情况发生？

@SafeVarargs

并不能防止这种情况发生，但它要求编译器在编译使用它的代码时更加严格

更详细地解释了这一点

---

堆污染是指当您在通用接口上执行操作时得到一个

ClassCastException

，并且它包含声明之外的另一种类型。

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

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

---

@SafeVarargs

根本无法阻止这一点。然而，有些方法可以证明不会污染堆，编译器无法证明。以前，此类API的调用者会收到恼人的警告，这些警告完全没有意义，但必须在每个调用站点进行抑制。现在API作者可以在声明站点对其进行一次抑制

---

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

使用varargs时，可能会创建一个

对象[]

来保存参数

由于escape分析，JIT可以优化此阵列创建。（我发现这是为数不多的一次）它不一定会被优化，但我不会担心它，除非你在内存分析器中看到它的问题

AFAIK

@SafeVarargs

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

当您声明

publicstaticvoidfoo（List…bar）

编译器将其转换为

publicstaticvoidfoo（列表[]条）

publicstaticvoidfoo（列表[]条）

这样一来，您可能会错误地将不正确的值分配到列表中，并且编译器不会触发任何错误。例如，如果

T

是

字符串

，则以下代码将编译无误，但在运行时将失败：

// 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（“未选中”）

如果您收到此错误消息：

Varargs方法可能会由于不可恢复的Varargs参数而导致堆污染

如果您确信您的使用是安全的，那么您应该使用

@SuppressWarnings（“varargs”）

。有关第二种错误的详细解释，请参见和

参考资料：

---

原因是varargs提供了使用非参数化对象数组调用的选项。所以如果您的类型是List，也可以使用List[]非varargs类型调用它
以下是一个例子：

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

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

publicstaticvoidtestcode（）{
列表[]b=新列表[1]；
测试（b）；
}
@安全变量
公共静态无效测试（列表…a）{
}

---

正如您所看到的，列表[]b可以包含任何类型的使用者，但这段代码可以编译。如果使用varargs，则可以，但是如果在类型擦除-void test（List[]）之后使用方法定义，则编译器不会检查模板参数类型@SafeVarargs将抑制此警告。
如果可以控制调用方法（例如，类的私有方法），则向方法添加

@SafeVarargs

注释是相当安全的。必须确保只将声明的泛型类型的实例传递给该方法
如果该方法以库的形式对外公开，则很难发现此类错误。在这种情况下，最好避免使用此注释，并使用集合类型（例如，

collection

）输入而不是varargs（

Type1…

）重写解决方案

---

至于命名，堆污染现象这个词在我看来是相当误导的。在本文中，没有提到实际的JVM堆事件。有一个at软件工程，其中包含了一些关于这种现象命名的有趣想法。
这里的详细信息：我在我的编辑器中看到的可能重复：

可能是参数化vararg类型造成的堆污染

如果您（像我一样）对安全使用注释感到困惑，这是一个有用的解释，用于检查您的方法是否可以安全地使用

@SafeVarargs

进行注释。对其使用的附加编译器限制似乎并不特别相关。有趣的是，它并没有真正回答他关于

@SafeVarargs

的问题。不。那不是堆污染。“当参数化类型的变量引用的对象不是该参数化类型的对象时，会发生堆污染。”Ref：那么，我们是说堆受到污染是因为它包含的引用的类型不是我们所期望的类型？（在您的示例中，列表与列表）我发现这个答案很好地解释了什么是堆污染，但它并没有真正解释为什么varargs特别可能导致堆污染，以至于需要一个特定的警告。我也是，我缺少如何确保我的代码不包含此问题的信息（例如，我怎么知道它足够硬，可以添加@SafeVarargs）我想我理解得更好。当你向

对象[]

施放varargs时，危险就来了。只要你不向

对象[]

施放varargs，听起来你应该很好。举个愚蠢的例子：

静态空白条（t…args）{（（Object[]）args）[0]=“a”；}

。然后调用

条（Arrays.asList（1,2））；

@djeikyb，如果只有当我对

对象[]进行强制转换时才会出现危险

为什么编译器会触发警告呢？毕竟，在编译时应该很容易检查这一点（以防我没有通过）

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

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