ワイルドカードジェネリックタイプ (`? extends Parent`) を使用して Java コレクションに要素を追加できないのはなぜですか?

タイプ セーフティとワイルドカード ジェネリック: 禁止された修飾子について理解する

Java でジェネリック コレクションを操作する場合、ワイルドカード ジェネリックの概念によって特定の現象が発生する可能性があります。最初は直観に反するように思えるかもしれない制限。代表的な例は、ワイルドカード ジェネリック型を使用して Java コレクションに値を追加できないことです。

次のコード スニペットを考えてみましょう。

List<? extends Parent> list = ...;
Parent p = factory.get(); // returns concrete implementation
list.set(0, p); // fails here: set(int, ? extends Parent) cannot be applied to (int, Parent)

なぜこのコードはコンパイルに失敗するのでしょうか?その答えは、ワイルドカード ジェネリックによって強制される固有の安全メカニズムにあります。

無制限の取得と制限された追加の原則

ワイルドカード ジェネリック型 (? で示されます)。 Parent を拡張し、Parent インターフェイスの子孫である要素のリストを表します。これらの要素の無制限の取得は許可されますが、型安全性により、コレクションへの値の追加が制限されます。

コードのコンパイルが許可されている場合、リスト内の要素への親インスタンスの割り当てが許可されます。ただし、このアクションはタイプ セーフティを破る可能性があります。

次のシナリオを考えてみましょう:

List<Child> childList = new ArrayList<>();
childList.add(new Child());

List<? extends Parent> parentList = childList;
parentList.set(0, new Parent());

Child child = childList.get(0); // No! It's not a child! Type safety is broken...

このシナリオでは、子オブジェクトのリストがリストにキャストされます。の ？親を拡張します。その後、親インスタンスをリストの最初の要素に割り当てると、結果のリストに有効な子インスタンスではない要素が含まれるため、タイプ セーフティに違反します。

不変のタイプ セーフティの確保

ワイルドカードのジェネリック コレクションへの値の追加を禁止することで、Java は不変のタイプ セーフを強制します。これにより、リストの要素が、宣言された型によって課せられる制約に常に従うことが保証されます。

この制限がない場合、型の安全性が損なわれ、潜在的なエラーや予期しない動作が発生する可能性があります。

以上がワイルドカードジェネリックタイプ (`? extends Parent`) を使用して Java コレクションに要素を追加できないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。