ジェネリックスを使用したコレクションについて

Question

###発生している問題・エラーメッセージ

Javaの勉強をしています。
ワイルドカードを使用したジェネリックスの指定について、
以下のコードでコンパイルエラーになる理由について知りたいです。

Javaのどのような構文ルールから、コンパイルエラーになるのでしょう？

なお質問者は、ワイルドカードを使用したジェネリックス周りについて、
以下のような前提の認識でおります。

• List<? extends BBB4_4>

listにはBBB4_4と、BBB4_4のサブクラスのインスタンスが設定できる。

• List<? super BBB4_4>

listにはBBB4_4と、BBB4_4のスーパークラスのインスタンスが設定できる。

###該当のソースコード

package Chapter4;

import java.util.List;

class AAA4_4{}
class BBB4_4 extends AAA4_4{}

public class No4_4 {
	public void addData(List<? extends BBB4_4> list){
			list.add(new BBB4_4()); // コンパイルエラー
			// ちなみに「List<? super BBB4_4>」の場合は上の記述でもエラーにならない 
	}
}

Answer 1

ワイルドカードを使ったコレクションにaddなどは出来ない仕様です。
? extends BBB4_4のような形の場合、BBB4_4のサブクラスの型を扱っていることはわかるのですが、実際何の型を扱っているかの情報がわかりません。
仮にBBB4_4を継承したCクラスがあったとします。List<? extends BBB4_4>はBBB4_4のListかもしれませんし、CのListかもしれません。
もし実体がCのListだとしたら、BBB4_4のインスタンスは入れられません。そのため、この形は型安全が保たれないため、エラーとなるのです。
superの場合、BBB4_4のスーパークラス型にBBB4_4のインスタンスを入れるのは問題ないため、OKなのです。

Comments

[IM18]

丁寧な回答ありがとうございました！
理解できました。

Answer 2

まず、<? extends SomeClass>と<? super SomeClass>の解釈が逆です。

そして、型安全上、List<? extends SomeClass>にはnull以外のものをaddできません。

というのも、List<? extends SomeClass>には、List<SomeClass>だけでなく、List<SomeClassのサブクラス>も指定できるので、そこにSomeClassのインスタンスを代入してしまえば、型が一致しなくなってしまいます。

Comments

[IM18]

回答ありがとうございます！拝読いたしました。
少しわかってきたのですが、追加で一点質問させて下さい。

>まず、<? extends SomeClass>と<? super SomeClass>の解釈が逆です。
大変失礼しました！誤記でしたので、修正しました。

>というのも、List<? extends SomeClass>には、List<SomeClass>だけでなく、List<SomeClassのサブクラス>も指定できるので、そこにSomeClassのインスタンスを代入してしまえば、型が一致しなくなってしまいます。

それでは、<? super SomeClass>の以下のコードの場合は、なぜコンパイルエラーにならないのでしょうか。というのも、「すべての型が一致していない」という点では、<? extends SomeClass>と同じだと思うからです。

public void addData(List<? super BBB4_4> list){
list.add(new BBB4_4()); // コンパイルエラーにならない
}