Пояснення принципу get-put

Я прочитав книгу О'Рейлі, коли я пізнав цей принцип отримання .

• Використовуйте extendsпідстановочні , коли ви тільки отримуєте значення зі структури.
• Використовуйте superпідстановочний знак, коли ви вкладаєте значення лише в структуру.
• І не використовуйте підстановочний знак, коли ви обидва хочете отримати та перенести з / у структуру.

Винятки становлять:

• Ви не можете помістити нічого у тип, оголошений із extendsпідстановкою, за винятком значення null, яке належить кожному типу посилання.

• Ви не можете отримати нічого з типу, оголошеного superпідстановкою, за винятком значення типу Object, яке є супер типом кожного посилального типу.

Хтось може допомогти мені глибше дослідити це правило? Якщо можливо, вкажіть їх ієрархічно.

Розглянемо купу бананів. Це полягає Collection<? extends Fruit>в тому, що це колекція певного виду фруктів - але ви не знаєте (з цієї декларації), з яких фруктів це колекція. Ви можете отримати від нього предмет і знати, що це точно буде фруктом, але не можете додати до нього - можливо, ви намагаєтесь додати яблуко до пучка бананів, що, безумовно, було б неправильно. Ви можете додати nullдо нього, оскільки це буде дійсним значенням для будь-якого виду фруктів.

А тепер розглянемо фруктову миску. Це a Collection<? super Banana>, оскільки це колекція якогось типу "більше" Banana(наприклад, Collection<Fruit>або Collection<TropicalFruit>). Ви можете однозначно додати до цього банан, але якщо ви дістаєте предмет з миски, ви не знаєте, що отримаєте - це цілком може бути не банан. Все, що ви точно знаєте, це те, що це буде дійсне (можливо null) Objectпосилання.

(Загалом, для загальних питань про Java, поширені запитання щодо Java Generics - це чудовий ресурс, який містить відповідь майже на все, що стосується дженериків, на які ви, мабуть, кинетесь.)