@SafeVarargs用于标记满足static/final且不对外泄露或修改泛型可变参数数组的方法，以安全忽略堆污染警告；Java 7仅支持static，Java 9起支持final实例方法。
在 Java 中，使用泛型 + 可变参数（T...）时，编译器会发出“堆污染”（heap pollution）警告，例如：
Warning: Possible heap pollution from parameterized vararg type
这是因为 JVM 在运行时擦除泛型类型，而可变参数底层是数组（如 T[]），但泛型数组无法安全创建（new T[n] 不合法），编译器只能用 Object[] 替代，导致潜在的类型不安全。@SafeVarargs 注解就是用来向编译器声明：这个方法**内部不会将可变参数数组对外泄露或做不安全的写操作**，因此警告可被安全忽略。
什么时候能加 @SafeVarargs？
必须同时满足两个条件：
- 方法是 static 或 final（防止子类覆写后破坏安全性）
- 方法体中 没有对 varargs 数组进行写操作（比如赋值、修改元素、返回该数组、存入外部集合等）
✅ 安全示例（只读遍历）：
@SafeVarargs
static <T> void printAll(T... items) {
for (T item : items) {
System.out.println(item);
}
}
❌ 危险示例（禁止加 @SafeVarargs）：
// 编译错误：@SafeVarargs 只允许用于 static/final 方法
<T> void bad(T... items) { items[0] = null; } // 还有写操作，更不安全
@SafeVarargs
static <T> T[] toArray(T... items) { return items; } // ❌ 返回了 varargs 数组 → 泄露！
常见误用与替代方案
如果确实需要构造泛型集合或数组，避免直接暴露 varargs 数组：
- 用
Arrays.asList(items)转为List<T>（安全，返回的是不可变视图） - 用
Stream.of(items).collect(Collectors.toList())构造新ArrayList - 若需数组，改用显式传入
Class<T>和长度，再用Array.newInstance(clazz, len)（较重，但类型安全）
Java 版本注意事项
Java 7 引入 @SafeVarargs，但仅支持 static 方法；Java 9 起扩展支持 final 实例方法。 若你在非 static/non-final 方法上添加，编译器会报错：
error: @SafeVarargs can only be used on static or final methods
另外，IDE（如 IntelliJ）可能仍显示警告——这是因为它未完全信任该注解。确保你已正确满足前提，并确认代码逻辑确实未造成堆污染。
