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

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

Утверждение программиста о том, что тело аннотированного метода или конструктора не выполняет потенциально небезопасных операций с параметром переменной арности. Применение этой аннотации к методу или конструктору подавляет предупреждения о непроверяемых операциях с нереифицируемым типом переменной арности (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 во время выполнения.

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