Граница сужает допустимые типы и открывает методы границы: без неё T — просто Object, и compareTo вызвать нельзя. После стирания T заменяется верхней границей — Comparable.
А ещё Рекурсивная граница: Enum<E extends Enum<E>>
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Без границы компилятор считает T обычным Object, и вызвать compareTo нельзя. Указание extends решает обе задачи: проверка на этапе компиляции и доступ к API границы. Есть и техническая деталь: после стирания T заменяется именно на верхнюю границу, поэтому в байткоде параметр становится Comparable, а не Object. Полезно знать и более гибкую форму, которую применяют в стандартной библиотеке: <T extends Comparable<? super T>> — она допускает случай, когда сравнение реализовано в суперклассе, что часто встречается в иерархиях. Границ может быть несколько через амперсанд, причём класс, если он есть, указывается первым.
Один верный вариант. Подумайте, потом откройте ответ.
Типобезопасность на компиляции, механизм type erasure и его последствия, дженерик-методы, ограниченные параметры и опасность raw types.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto