ジェネリクスとワイルドカード型

質問

class TestTest<T extends Number> {
ㅤList<? extends Number> list;
}

これは問題ないのに

class TestTest<? extends Number> {
ㅤList<T extends Number> list;
}

これはダメなのはなぜですか。
猿にも分かる解説がほしいです。

回答No.1

amanojaku1 · ベストアンサー

>class TestTest<T extends Number> {
>ㅤList<? extends Number> list;
>}

まず、「class TestTest<T extends Number>」と「List<? extends Number> list;」の意味が違います。
「class TestTest<T extends Number>」はクラスの定義で、「<T extends Number>」は「型変数の宣言」です。
「List<? extends Number> list;」はオブジェクト変数の生成で、「<? extends Number>」は「型変数へのバインド」です。
なので下記のようにオブジェクト変数「list」にインスタンスを代入する事が可能です。

import java.util.List;
import java.util.ArrayList;
～
class TestTest<T extends Number> {
List<? extends Number> list = new ArrayList<Number>();
}

>class TestTest<? extends Number> {
>ㅤList<T extends Number> list;
>}

ここからは推測です。

>class TestTest<? extends Number> {
↑クラスの定義では「<? extends ～>」、「<? super ～>」、「<?>」は使えないと思われる。

>ㅤList<T extends Number> list;
↑オブジェクト変数の生成では「<T extends Number>」、「<T super Number>」は使えないと思われる。
クラスで仮型パラメータ「T」が設定されてないなら「<T>」はエラーになる。
クラスで仮型パラメータ「T」が設定されているなら、コンパイル時に「T」は実型パラメータとなるので「<T>」はエラーにならない。

お礼

参考書の説明が超絶雑すぎて、総称型はextendsが使えて、ワイルドカード型はsuperも使えるくらいしか書いてなかったので参考になります。「型変数の宣言」と「型変数のバインド」って初めて聞きました。