私はこのget-putの原則を知るようになったという点で、O'Reillyの本を読みました。
- 構造体から値
extendsのみを取得する場合は、ワイルドカードを使用します。- 構造体に値
superのみを入力する場合は、ワイルドカードを使用してください。- また、構造体との間で取得および配置する場合は、ワイルドカードを使用しないでください。
例外は次のとおりです。
すべての参照型に属する
extends値を除いて、ワイルドカードで宣言された型に何も入れることはできませんnull。すべての参照型のスーパー型である
supertypeの値を除いて、ワイルドカードで宣言された型からは何も取得できませんObject。
誰かが私がこのルールを深く探求するのを手伝ってくれる？可能であれば、階層的に配置してください。
回答:
バナナの束を考えてみましょう。これは、Collection<? extends Fruit>特定の種類の果物のコレクションであるという点ですが、（その宣言から）それがどの種類の果物のコレクションであるかはわかりません。あなたはそれからアイテムを手に入れることができ、それが間違いなく果物になることを知っていますが、それに追加することはできません-あなたは間違いなく間違っているであろうバナナの束にリンゴを追加しようとしているかもしれません。どんな種類の果物にも有効な値になるので、それに追加することができます。null
さて、フルーツボウルについて考えてみましょう。これは、Collection<? super Banana>「より大きい」タイプのコレクションであるという点で、ですBanana（たとえば、Collection<Fruit>またはCollection<TropicalFruit>）。これにバナナを追加することは間違いありませんが、ボウルからアイテムをフェッチすると、何が得られるかわかりません。バナナではない可能性があります。あなたが確かに知っているのは、それが有効な（おそらくnull）Object参照になるということだけです。
（一般に、Javaジェネリックに関する質問の場合、Java Generics FAQは、ジェネリック関連のほとんどすべての質問に対する回答を含む優れたリソースです。）
Collection<? extends Fruit>、まさにその理由でnull以外のものをに追加することを防ぎます。そして、まさにそれらの理由で、アイテムをフェッチした結果を明示的にキャストする必要があります。
Collection<? extends Person>（またはおそらく単にIterable<? extends Person>、しかし...）が必要な場合があります。そのコレクションを作成するコードはそれがである必要があるかもしれませんCollection<Employee>が、消費するコードはそうではありません。