Java の複数のワイルドカードは、汎用メソッドの動作と型の互換性にどのような影響を与えますか?

Java の複数のワイルドカード: コンパイラーの混乱を解き明かす

質問内のコード スニペットは最初はわかりにくいように見えるかもしれませんが、基礎となる原則は非常に単純です

ワイルドカードの役割

ワイルドカード (*) は未知の型を表します。スニペットでは、複数のワイルドカードを使用すると、コンパイラに不確実性が生じます。

static void doNothing(List<?> list1, List<?> list2) { }

ワイルドカードは無関係であるため、異なるタイプのリスト (List など) を使用して doNothing を呼び出すことができます。およびリスト。ただし、リスト (list1.addAll(list2) など) を変更しようとすると、型の互換性がない可能性があるため、コンパイラはエラーを発生させます。

ネストされたワイルドカードとキャプチャ変換

混乱は主に、ネストされたワイルドカードの役割の誤解から生じます。

static void probablyIllegal(List<List<?>> lol, List<?> list) { }

この場合、ネストされたワイルドカード List List のような型はキャプチャされません。またはリスト。代わりに、要素が任意のタイプのリストであるリストを意味します。特定の型をキャプチャするには、境界付きワイルドカードを使用する必要があります:

static void nowDefinitelyIllegal(List<? extends List<?>> lol, List<?> list) { }

ここで、list (List