JAVAのジェネリクスについて

質問

添付画像の問題の答えがどうしてもわかりません。。

選択肢は以下です。
(1)public void addData(List<? super BBB> list) {
(2)public void addData(List<? extends BBB> list) {
(3)public void addData(List list) {
(4)public void addData(List<BBB> list) {

正解は「(1)、(4)」なのですが、
(2)も正解のように思っています。

わかる方、いらっしゃいましたらご教授頂けますと幸いです。。

回答No.1

anmochi · ベストアンサー

選択肢の(2)がなぜダメなのか。まず、<?>はBBBから派生するが、それは「誰に対して提供される情報」なのかという事を考えてみよう。それは「addData(List<? extends BBB>)を呼ぶ人に対して提供される情報」だ。
つまり、addData(List<? extends BBB> list)の内部では、仮引数listは「BBB型から派生するあらゆる型のリスト」なのだ。なので、仮にBBBから派生したDDDなるクラスがあったとして、addData(new ArrayList<DDD>())という風に呼び出されたら、addDataの中でこの仮引数listにaddされるのはDDDのインスタンスじゃないといけない。list<DDD>.add()はnew BBB()を引数として受け付けない。以下にそれを検証したコードを掲載するので確認して欲しい。

～～～～ここから～～～～
import java.util.*;

class AAA {}
class BBB extends AAA {}
class DDD extends BBB {}

public class GenericTest {
public void addData(List<? extends BBB> list) {
list.add(new BBB()); // ←（２）コンパイルエラー。下記の（１）よりここにたどり着いたlistが指すインスタンスはDDDに対応できなくてはいけないのでBBBではダメ。
}
public void okwaveTest() {
addData(new ArrayList<DDD>()); // ←（１）addDataの仮引数はBBBまたはその派生なので実引数として「BBBから派生したDDD型を受け取れるリスト」を用意。仮にnew ArrayList<BBB>()を引数にしても結果は変わらない。
}
}
～～～～ここまで～～～～