java.lang

Тип аннотации SafeVarargs

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

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

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

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

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

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

   @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!
   }
   

  приводит к a ClassCastException во время выполнения.

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

См. Спецификацию языка Java™:

4.7 Типы Reifiable, 8.4.1 Формальных параметра