Сырые типов, неограниченная wilcard и ограниченные подстановочные

Question

У меня есть быстрый вопрос, как показано ниже: Вот простые примеры во всех этих вопросах: (! Очень хорошая книга)

List a = new ArrayList(); 
List <?> b; 
List <? extends Object> c; 

Согласно Java SCJP Халид Моголами :

a = b; // ok. Widening conversion. 
b = a; // ok too. No unchecked warning. 

b = c; // ok 
c = b; // ok 

c=a; // ok but now will issue a unchecked warning. // clause 1 

Я понимаю, что любые сырые типы (пример а) при присвоении любых ограниченных wilcard ссылок, бесконтрольно предупреждение проблемы (так как содержание в этой сырой типа а может быть что угодно).

Мои вопросы, так как c - это верхняя верхняя граница (? Extends objects), не должна ли быть назначена c без этого предупреждения?

Answer 1

Если я правильно понимаю ваш вопрос (и я действительно не думаю, что я делаю), то, как представляется, два случая, в которых взаимодействие с сырыми типами может привести к возникновению непроверенного предупреждения, согласно this page:

• Вызов метода или конструктора необработанного типа генерирует непроверенное предупреждение, если стирание изменяет любой из типов любого из аргументов метода или конструктора.
• Назначение полю необработанного типа генерирует непроверенное предупреждение (§5.1.9), если стирание изменяет тип поля.

Таким образом, ответ на ваш вопрос, в основном, кажется, «erasure может привести к непроверенным предупреждения при наличии сырья и видов». Насколько я могу судить, это скорее всего произойдет, когда используются вложенные типы - я не вижу нигде в определении стирания, которое, вероятно, вызовет изменение типа, но, возможно, кто-то еще может предположить, является ли это не является источником этого.