Интерфейс аннотаций SafeVarargs

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

Програмная утверждение, что тело аннотированного метода или конструктора не выполняет потенциально небезопасных операций над своим параметром varargs. Применение этой аннотации к методу или конструктору подавляет неявные предупреждения о нереализуемом переменном арности (vararg) типе и подавляет неявные предупреждения об ошибках создания массивов с параметрами в местах вызова.

В дополнение к ограничениям использования, накладываемым мета-аннотацией @Target, компиляторы обязаны реализовывать дополнительные ограничения использования для этого типа аннотации; ошибка компиляции возникает, если объявление метода или конструктора аннотировано аннотацией @SafeVarargs, и либо:

• объявление — метод или конструктор с фиксированной арностью
• объявление — метод с переменной арностью, который не является static ни final ни private.

Компиляторы рекомендуют выводить предупреждения, когда этот тип аннотации применяется к объявлению метода или конструктора, где:

• параметр с переменной арностью имеет реализуемый тип элемента, который включает примитивные типы, Object, и String. (Неявные предупреждения, которые подавляет этот тип аннотации, уже не возникают для реализуемого типа элемента.)
• тело метода или конструктора объявления выполняет потенциально небезопасные операции, такие как присвоение элементу массива параметра с переменной арностью, что приводит к неявным предупреждениям. Некоторые небезопасные операции не вызывают неявных предупреждений. Например, алиасинг в

   @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 во время выполнения.

  Будущие версии платформы могут потребовать ошибок компиляции для таких небезопасных операций.