鸿蒙OS SafeVarargs

SafeVarargs

@Documented
@Retention(RUNTIME)
@Target({CONSTRUCTOR,METHOD})
public @interface SafeVarargs

程序员断言带注释的方法或构造函数的主体不会对其 varargs 参数执行潜在的不安全操作。 将此注释应用于方法或构造函数会抑制有关不可具体化的变量 arity (vararg) 类型的未经检查的警告,并抑制有关在调用站点创建参数化数组的未经检查的警告。

除了 Target 元注解施加的使用限制外,编译器还需要对该注解类型实施额外的使用限制; 如果使用 @SafeVarargs 注释对方法或构造函数声明进行注释,则这是编译时错误,并且:

  • 声明是固定数量的方法或构造函数
  • 声明是一个既不是静态也不是最终的变量arity 方法。

鼓励编译器在将此注释类型应用于方法或构造函数声明时发出警告,其中:

  • 可变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。

该平台的未来版本可能会要求此类不安全操作出现编译器错误。

版权声明:本文采用知识共享 署名4.0国际许可协议 [BY-NC-SA] 进行授权
文章名称:《鸿蒙OS SafeVarargs》
文章链接:https://zhuji.vsping.com/313539.html
本站资源仅供个人学习交流,请于下载后24小时内删除,不允许用于商业用途,否则法律问题自行承担。