Верхняя граница родового класса и шаблона

Question

class Gen <T super Number>   // 1 // IS NOT ALLOWED 

void Demo(Gen <? super Number> ob) // 2 // IS ALLOWED // Gen is a generic class 

Почему первые результаты заявление в компиляции ошибки времени и второе утверждение работает отлично

Answer 1

Первый пример представляет собой обобщенный тип. Второй пример - параметризованный тип. Это разные вещи.

• Общий тип - это определение типа, параметризованного по типам. Он может быть вызван путем предоставления аргументов типа этим параметрам типа.
• Параметрированный тип - это вызов типичного типа с аргументами типа, независимо от того, являются ли эти аргументы типа или подстановочными.

Нижняя граница параметра типа универсального типа не может быть никакой пользы ^†. Поэтому это не «вещь» на Java.

Однако второй пример означает: «любая параметризация типа Gen<T>, где аргумент типа является супертипом числа». Он полезен, поскольку он допускает полиморфность типичных типов.

^† Они могут быть фактически ограничены в использовании, предоставляя "restricted instantiation", но не были сочтены полезными для разрешения.