Ставят, когда метод только читает элементы generic-varargs и не сохраняет и не отдаёт созданный массив T[] наружу. Тогда heap pollution невозможен, и аннотация убирает предупреждение у вызывающих.
А ещё Аннотация — обещание программиста, компилятор его не проверяет
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
generic varargs (T...) под капотом создают массив T[], а массив дженериков небезопасен (heap pollution). Если метод только перебирает элементы и не публикует сам массив, он безопасен — это и помечает @SafeVarargs, убирая предупреждение у вызывающих. Ставить её на метод, который кладёт в массив или возвращает его, — ошибка.
Один верный вариант. Подумайте, потом откройте ответ.
Почему дженерики не дружат с массивами, heap pollution и @SafeVarargs, синтетические bridge-методы и reifiable-типы.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto