@SafeVarargs只能用于static、final或private方法，根本原因是防止子类重写后引入类型不安全操作导致堆污染；因泛型擦除使varargs退化为Object[]，若数组被泄露或修改就会破坏类型安全。
@SafeVarargs 只能加在 static、final 或 private 方法上，根本原因是为了防止子类重写方法后引入类型不安全操作，从而避免堆污染（heap pollution）。
堆污染风险来自可变参数的泛型擦除
Java 的泛型在运行时被擦除，而 varargs 实际上是用数组实现的。当声明 <T> void method(T... args) 时，编译器会生成一个 Object[] 数组来承载参数。如果这个数组被意外暴露给外部（比如返回、存储到字段、传给其他方法），就可能混入非 T 类型的对象，破坏类型安全性——这就是堆污染。
为什么必须限制方法不可被重写
只有无法被子类覆盖的方法，才能确保其内部逻辑始终可控。否则：
- 若允许在普通实例方法（非 final、非 private）上使用 @SafeVarargs，子类可能重写该方法，并在重写版本中把 varargs 数组赋值给 public 字段、返回出去或做 unsafe cast；
- 编译器无法验证子类实现是否仍“安全”，因此不能信任父类上的 @SafeVarargs 承诺；
- static 方法天然不可重写；final 方法禁止子类覆盖；private 方法对外不可见，更不可能被重写——这三者都保证了方法体行为完全封闭、可审计。
Java 9 起支持 private 方法的原因
Java 9（JEP 213）将 @SafeVarargs 扩展到 private 方法，正是基于同一逻辑：private 方法既不能被继承，也不能被重写，其作用域严格限定在当前类内。只要开发者自己确保该私有方法不泄露 varargs 数组（比如不返回、不赋值给实例变量、不传给不可信方法），就能满足“安全承诺”的前提。
立即学习“Java免费学习笔记（深入）”；
它不是绕过检查，而是做出可信承诺
@SafeVarargs 不改变运行时行为，也不消除潜在风险。它只是让编译器相信：“这个方法的实现已规避所有可能导致堆污染的操作”。所以前提是方法本身确实没做危险事——比如：
- 不把
T... args转成T[]后返回； - 不将 args 数组存为类字段；
- 不执行类似
(T[]) new Object[args.length]这类未经检查的强制转换并对外暴露。
一旦违反，即使加了 @SafeVarargs，运行时仍可能出 ClassCastException 或逻辑错误。
