Java可变参数堆污染：此场景能否抑制警告？为何需双注解？

先把你的代码和运行结果贴出来方便参考：

代码实现 #

import java.util.*;
public class MapMaker<K, V>{
 private K [] m_keys;
 @SafeVarargs
 @SuppressWarnings("varargs")
 public final MapMaker<K, V> keys( final K... keys ){
 m_keys = keys;
 return this;
 }
 @SafeVarargs
 public final Map<K, V> values( final V... values ){
 if ( values.length != m_keys.length )
 throw new IllegalArgumentException( "Mismatch - keys: " + m_keys.length + ", values " + values.length );
 final Map<K, V> result = new HashMap<>();
 for ( int i = 0; i < m_keys.length; i++ )
 result.put( m_keys[ i ], values[ i ] );
 return result;
 }
 public static void main( String [] args ){
 final Map<Integer, String> mapIntStr = new MapMaker<Integer, String>()
 .keys ( 1, 2, 3 )
 .values( "One", "Two", "Three" );
 System.out.println( mapIntStr );
 final Map<String, String> mapStrStr = new MapMaker<String, String>()
 .keys ( "1" )
 .values( "One", "Two" );
 }
}

运行输出 #

{1=One, 2=Two, 3=Three}
Exception in thread "main" java.lang.IllegalArgumentException: Mismatch - keys: 1, values 2
 at MapMaker.values(MapMaker.java:16)
 at MapMaker.main(MapMaker.java:35)

接下来解答你的两个疑问：

1. 这个场景下抑制警告是否可行？ #

完全可行，而且是安全的。

堆污染警告本质是Java泛型类型擦除机制导致的：当你使用K... keys这种泛型可变参数时，编译器会偷偷把它转成Object[]来处理，但你把它赋值给了泛型数组变量K[] m_keys，这中间存在一个未检查的类型转换。不过在你的代码逻辑里，只要调用keys方法时传入的参数都是K类型的实例（就像你main方法里的用法），那么这个数组的实际元素类型完全符合K的要求，后续在values方法里把这些元素放进Map<K,V>也不会出现类型转换错误，不会产生实际的堆污染风险。所以你用注解抑制警告是完全没问题的，不会有潜在的类型安全隐患。

2. 为什么keys方法需要同时用@SafeVarargs和@SuppressWarnings("varargs")？ #

这两个注解管的是不同的警告场景，缺一不可：

• @SafeVarargs：这个注解是给编译器一个承诺——“这个可变参数方法不会导致堆污染”。它只能用在final、static或者private方法上（你的keys是final，符合要求）。它主要是声明方法内部不会对泛型可变参数做不安全操作，比如往数组里塞非K类型的元素，或者把数组强制转成其他不兼容的类型。
• @SuppressWarnings("varargs")：这个注解是专门用来抑制未检查的数组赋值警告。当你把K... keys（实际是Object[]）赋值给K[] m_keys时，因为泛型擦除，编译器没法确认这个转换是安全的，所以会触发“unchecked assignment”警告，而@SafeVarargs管不到这个赋值环节的警告，必须单独用这个注解来消除它。

所以你去掉其中任意一个注解，都会触发对应的警告：去掉@SafeVarargs会弹出堆污染的警告，去掉@SuppressWarnings("varargs")会弹出未检查赋值的警告，只有两个一起用才能把所有相关警告都消掉。

内容的提问来源于stack exchange，提问作者Jonathan