java中堆污染（heap pollution）以及@SafeVarargs注解使用

什么是堆污染 heap pollution

堆污染发生在使用可变参数（varargs）或泛型时，将不兼容的类型插入到一个泛型对象中。这会导致在运行时尝试访问这些对象时发生 ClassCastException。例如：

public static void heapPollutionExample(List<String>... stringLists) {
    Object[] array = stringLists;
    array[0] = Arrays.asList(42); // 这里会引起堆污染
    String s = stringLists[0].get(0); // ClassCastException
}

在这个例子中，heapPollutionExample 方法接收一个 List<String> 的可变参数，但在运行时，可以将 List<Integer> 插入其中，从而引发堆污染。

在上面的示例中，IDEA会发出下面的警告，并提示加上@SafeVarargs注解：

Possible heap pollution from parameterized vararg type (参数化变量类型可能造成堆污染)

我们在方法上加上@SafeVarargs注解，警告就消失了。

@SafeVarargs注解

@SafeVarargs 注解本身并不能完全避免堆污染风险。它的作用是告诉编译器和开发者，这个方法不会对其可变参数（varargs）进行不安全的操作，
从而避免了不必要的警告，很像@SuppressWarnings注解。也就是说，它是一种承诺和保证，表明方法的实现是安全的，并不会引发堆污染。

使用范围：

在Java 7中，@SafeVarargs 只能用于静态方法和 final 实例方法。这是因为只有这些方法可以保证不会被子类重写，从而避免堆污染风险。
在Java 9中，@SafeVarargs 注解的使用范围扩展到了 private 实例方法JEP213。