ジェネリクスを持つクラスを継承したクラスに再度ジェネリクスを持たせた際にワイルドカード"?"が想定通りに機能しない

Question

まずジェネリクス<T>を持つスーパークラスAを作成します。

public class A<T>{
}

次に、クラスAを継承して再度ジェネリクス<T>を持たせたサブクラスBを作成します。

public class B<T> extends A<T>{
}

このクラスBのClassオブジェクトB.classをワイルドカードClass<? extends A<?>>を引数にしたメソッドにB.classを渡すとなぜかコンパイルエラーが発生します。

public class main{

    public void test(Class<? extends A<?>> c) {

    }

    public void main() {
        //コンパイルエラー
        test(B.class);

    }
}

(追記)コンパイルエラーの内容は以下です。

The method test(Class<? extends A<?>>) in the type main is not applicable for the arguments (Class<B>)Java(67108979)

なぜこういう挙動になるのかがいまいち理解できません。
どなたか教えていただけないでしょうか？
Bクラスにジェネリクスがついていようがいまいが、BクラスはA<T>クラスのサブクラスだと思うのですが…。

Comments

[jimbe]

> B.classを渡すとなぜかコンパイルエラーが発生します
そのコンパイルエラーの内容もご提示頂いたほうが良いように思います.

[xebme]

Bの型 <T>はAからBに継承されると考えますか？Bの型 <T>がAの<T>に適用されると考えますか？

[water_coffee]

>jimbeさん
ご指摘ありがとうございます。エラー内容追記しました。
>xebmeさん
後者の認識です。

[xebme]

後者の認識が回答だと思います。test(Class<? super B<?>> c)。理由を明確に説明できれば回答します。

Answer 1

一応、以下のように理解しました。

Bクラスが継承しているAクラスはジェネリクスTを持つが、そのジェネリクスTが継承先でどのように指定されているかはクラスオブジェクトからは判断できない。

B<T> extends A<String>

かもしれないし

B<T> extends A

かもしれない。

なので、

Class<? extends A<?>>

を引数の型にするとコンパイルエラーとなり、ダウンキャストの必要がある。
引数となるBクラスでジェネリクスをどのように指定しているか不明なため。

一方で、

Class<? super B<?>>

では、クラスBがジェネリクスを持つのはクラスBのクラスオブジェクトから見て判定可能、ダウンキャストの必要はない。

Answer 2

これだと再帰的な型境界になっていませんか？

Class<? extends A<?>>

B extends A<B>
のような。

型が一致しないエラーが起きるのは、その為かと思います。

Comments

[KSwordOfHaste]

<T> void test(Class<T extends A<T>> c)
このように記述すればおっしゃる通り再帰的型境界(?)になりますが、
? extends A<?>
と記述した場合は二つの?が独立したものとして扱われ再帰的にはならないと思います。

[yamamotosoft]

間違った回答をしてしまい、申し訳ありませんでした。ご迷惑をおかけしました。

[KSwordOfHaste]

yamamotosoftさん回答に指摘したものの・・・自分も正確な回答をする自信がなく。
genericsの仕様の理解不足を感じているところです orz