@safevarargs用于标记static或final且不泄露、不修改泛型可变参数数组的方法，以安全忽略堆污染警告；java 7仅支持static，java 9起支持final实例方法。
因为泛型在运行时被擦除，而可变参数底层必须用数组实现，这两者结合会导致编译器无法保证类型安全。
泛型擦除 + 数组协变 = 类型检查失效
Java 的泛型是“伪泛型”，编译后所有类型参数都被擦除（如 List<string></string> 变成 List）。但可变参数 T... args 在字节码中实际被编译为 T[] args。问题在于：JVM 不允许直接创建泛型数组（new T[2] 非法），所以编译器只能退而求其次，用 Object[] 来承载参数 —— 这个数组在运行时只认 Object，不保留 T 的具体类型信息。
更麻烦的是，数组是协变的（String[] 是 Object[] 的子类型），这使得把 Object[] 强转或赋值给其他引用变得合法，却埋下隐患：
- 方法内部若将异构对象写入该数组（比如把
Integer塞进本该存String的T[]），编译器拦不住； - 外部拿到这个数组后，再以原泛型类型读取（如
String s = args[0]），就会在运行时触发ClassCastException。
堆污染的本质是“引用类型与实际对象类型不匹配”
堆污染（heap pollution）不是内存泄漏，而是指某个引用变量声明的类型，和它实际指向的对象真实类型不兼容。例如：
-
List<string>[] arr = ...</string>声明为List<string>[]</string>； - 但通过
Object[] o = arr写入了Arrays.asList(123)（即List<integer></integer>）； - 后续调用
arr[0].get(0)会试图把Integer转成String，崩溃。
这种错配发生在堆上（对象实际存储的位置），且编译期无法捕获，所以叫“堆污染”。
为什么只警告、不报错？
这是 Java 设计上的权衡：
- 完全禁止泛型可变参数，会破坏大量标准库 API（如
Collections.addAll、Arrays.asList、EnumSet.of）； - 很多场景下，只要方法不对外泄露或修改数组，其实是安全的；
- 编译器选择发警告而非报错，既提醒开发者风险，又保留灵活性。
@SafeVarargs 不是魔法，而是责任声明
加 @SafeVarargs 不会让代码变安全，它只是告诉编译器：“我已确认这个方法满足两个条件——它是 static 或 final，且从不把 T... 数组暴露出去、也不往里写非 T 类型的对象。”
一旦违反承诺（比如返回该数组、存入集合、或给某个元素重新赋值），堆污染就可能发生，而注解不会阻止它。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
