Java警告：Varargs方法可能会导致来自不可修改的varargs参数的堆污染

在这个问题上，我所看到的答案都没有一个令人满意，因此，我认为自己会对此持怀疑态度。

这是我的看法：

1. @SafeVarargs

   • 是解决警告的方法：

     [unchecked] Possible heap pollution from parameterized vararg type Foo

     。
   • 是方法 约定的 一部分，因此注释为何具有运行时保留。
   • 向方法的调用者保证，该方法不会使用泛型varargs参数弄乱堆。

   • @SuppressWarnings("varargs")

   • 是解决警告的方法：

     [varargs] Varargs method could cause heap pollution from non-reifiable varargs parameter bar

     。

   • 解决方法代码 内 发生的问题，而不是方法合同上的问题，因此注释为何仅保留源代码。
   • 告诉编译器无需担心方法代码 调用的被调用方方法会 使用由不可修改的varargs参数产生的数组将堆弄乱。

因此，如果我对OP的原始代码进行以下简单修改：

class Foo {    static <T> void bar(final T... barArgs) {        baz(barArgs);    }    static <T> void baz(final T[] bazArgs) { }}

$ javac -Xlint:all Foo.java

Foo.java:2: warning: [unchecked] Possible heap pollution from parameterized vararg type T    static <T> void bar(final T... barArgs) {  ^  where T is a type-variable:    T extends Object declared in method <T>bar(T...)1 warning

我可以通过将标记

bar()

@SafeVarargs

bar

但是，这也使Java编译器更加仔细地查看了方法代码本身-
我想是为了验证一些简单的情况，在这些情况下

bar()

@SafeVarargs

bar()

baz()

barArgs

baz()

Object[]

baz()

bar()

因此，我还需要添加

@SuppressWarnings("varargs")

bar()

bar()