-
@Documented@Retention(RUNTIME)@Target({构造器,METHOD})public @interface SafeVarargs
程序员断言,带注释的方法或构造函数的主体不会对其varargs参数执行可能不安全的操作。 将此批注应用于方法或构造函数会抑制有关不可重定义的变量arity(vararg)类型的未经检查的警告,并抑制有关在调用位置创建参数化数组的未经检查的警告。除了由其
@Target
元注释强加的使用限制外,编译器还需要对此注释类型实施其他使用限制; 如果方法或构造函数声明使用@SafeVarargs
批注进行批注,则为编译时错误,并且:- 声明是一个固定的arity方法或构造函数
- 声明是一个可变参数数量方法既不是
static
也不final
也不private
。
当此注释类型应用于方法或构造函数声明时,鼓励编译器发出警告,其中:
- 变量arity参数具有可重构的元素类型,其包括基元类型,
Object
和String
。 (对于可重新生成的元素类型,此注释类型已禁止的未经检查的警告不会发生。) - 方法或构造函数声明的主体执行可能不安全的操作,例如对变量arity参数的数组的赋值,该数组生成未经检查的警告。 某些不安全的操作不会触发未经检查的警告。 例如,别名
@SafeVarargs // Not actually safe! static void m(List<String>... stringLists) { Object[] array = stringLists; List<Integer> tmpList = Arrays.asList(42); array[0] = tmpList; // Semantically invalid, but compiles without warnings String s = stringLists[0].get(0); // Oh no, ClassCastException at runtime! }
ClassCastException
。该平台的未来版本可能会针对此类不安全操作强制执行编译器错误。
- 从以下版本开始:
- 1.7
- See The Java™ Language Specification:
- 4.7可恢复类型,8.4.1正式参数,9.6.4.7 @SafeVarargs