JLS 4.5.2:
Если какой-либо из аргументов типа в параметризации C является
подстановочными знаками, то:
• Типы полей, методов и конструкторов в C
это типы полей, методов и конструкторов в захвате
преобразование C (§5.1.10).
• Пусть D — (возможно, универсальное) объявление класса или интерфейса в C.
Тогда тип D в C равен D, где, если D является универсальным, все
аргументы типа являются неограниченными подстановочными знаками.
Я не совсем понимаю, что означает последнее предложение. Кажется, в этом предложении говорится, что аргумент типа внутреннего универсального класса должен быть неограниченным подстановочным знаком. Но кажется, что это не так.
Может кто-нибудь объяснить мне этот отрывок подробно и привести пример?
Спасибо за прочтение и ответ. .
Подробнее здесь: https://stackoverflow.com/questions/790 ... es-in-java
