В рантайме параметра типа нет, поэтому нельзя: new T(), new T[n], instanceof List<String>, статическое поле типа T, перегрузка m(List<String>) и m(List<Integer>) (одинаковая стёртая сигнатура), catch (T e).
А ещё Тип сохраняется в сигнатурах классов и полей — его читают через рефлексию
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Стирание было платой за совместимость с кодом, написанным до появления дженериков: компилятор проверяет типы и вставляет приведения, а в байткоде остаётся обычный Object или верхняя граница. Отсюда весь список ограничений, включая невозможность создать массив параметризованного типа и запрет на обобщённые классы исключений — блок catch работает в рантайме и не смог бы различить типы. Статическое поле невозможно потому, что оно принадлежит классу, общему для всех параметризаций. Обходной приём, который стоит назвать: передавать Class<T> в конструктор и создавать объекты рефлексией, либо принимать фабрику Supplier<T>. Использование T в сигнатурах методов, разумеется, работает — на этом дженерики и построены.
Несколько верных вариантов. Подумайте, потом откройте ответ.
Типобезопасность на компиляции, механизм type erasure и его последствия, дженерик-методы, ограниченные параметры и опасность raw types.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto